about summary refs log tree commit diff
path: root/src/test/compile-fail/nested-ty-params.rs
AgeCommit message (Collapse)AuthorLines
2011-09-12Reformat for new mode syntax, step 1Marijn Haverbeke-2/+2
Long lines were fixed in a very crude way, as I'll be following up with another reformat in a bit.
2011-08-20ReformatBrian Anderson-1/+1
This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[]
2011-08-16Port the tests to the decl foo<T> syntax.Erick Tryzelaar-1/+1
2011-08-16Port the tests to the typaram foo<T> syntax.Erick Tryzelaar-1/+2
2011-08-12Convert most working tests to ivecsBrian Anderson-2/+2
I tried to pay attention to what was actually being tested so, e.g. when I test was just using a vec as a boxed thing, I converted to boxed ints, etc. Haven't converted the macro tests yet. Not sure what to do there.
2011-08-03Remove all xfail-stage0 directivesBrian Anderson-1/+0
While it is still technically possible to test stage 0, it is not part of any of the main testing rules and maintaining xfail-stage0 is a chore. Nobody should worry about how tests fare in stage0.
2011-07-27Reformat for new syntaxMarijn Haverbeke-6/+4
2011-07-12Make resolve check for type-variable name-shadowingTim Chevalier-5/+2
Capturing a type argument in the enclosing scope should be an error -- this commit implements that check in resolve, avoiding a potential assertion failure in trans. Closes #648.
2011-06-21Emit a better error message for unbound type parameters in nested functionsTim Chevalier-0/+11
This code was causing a bounds check failure: fn hd[U](&vec[U] v) -> U { fn hd1(&vec[U] w) -> U { ret w.(0); } ret hd1(v); } because in hd1, U was being treated as if it referred to a type parameter of hd1, rather than referring to the lexically enclosing binding for U that's part of hd. I'm actually not sure whether this is a legit program or not. But I wanted to get rid of the bounds check error, so I assumed that program shouldn't compile and made it a proper error message.