about summary refs log tree commit diff
path: root/src/test/compile-fail/pattern-tyvar-2.rs
AgeCommit message (Collapse)AuthorLines
2013-03-20Make typechecker compositionalTim Chevalier-3/+2
The typechecker previously passed around a boolean return flag to indicate whether it saw something with type _|_ (that is, something it knows at compile-time will definitely diverge) and also had some manual checks for the `ty_err` pseudo-type that represents a previous type error. This was because the typing rules implemented by the typechecker didn't properly propagate _|_ and ty_err. I fixed it. This also required changing expected error messages in a few tests, as now we're printing out fewer derived errors -- in fact, at this point we should print out no derived errors, so report any that you see (ones that include "[type error]") as bugs.
2013-03-02librustc: Forbid chained imports and fix the logic for one-level renaming ↵Patrick Walton-1/+0
imports
2013-02-13Remove die!, raplace invocations with fail! Issue #4524 pt 3Nick Desaulniers-1/+1
2013-01-31Replace most invocations of fail keyword with die! macroNick Desaulniers-1/+1
2012-12-10Reliciense makefiles and testsuite. Yup.Graydon Hoare-0/+10
2012-09-11Convert 'use' to 'extern mod'. Remove old 'use' syntaxBrian Anderson-1/+1
2012-09-05test: "import" -> "use"Patrick Walton-2/+1
2012-08-26Camel case the option typeBrian Anderson-3/+3
2012-08-06Convert alt to match. Stop parsing altBrian Anderson-1/+1
2012-08-05Switch alts to use arrowsBrian Anderson-1/+1
2012-08-01Convert ret to returnBrian Anderson-1/+1
2012-06-29Switch the compiler over to using ~[] notation instead of []/~. Closes #2759.Michael Sullivan-1/+1
2012-06-25Make vectors uglier ([]/~). Sorry. Should be temporary. Closes #2725.Michael Sullivan-1/+1
2012-01-31Change option::t to optionTim Chevalier-1/+1
Now that core exports "option" as a synonym for option::t, search-and- replace option::t with option. The only place that still refers to option::t are the modules in libcore that use option, because fixing this requires a new snapshot (forthcoming).
2012-01-19rustc: Make the pretty printer output commas after enum variants. Update all ↵Patrick Walton-1/+1
tests accordingly.
2012-01-19test: "tag" -> "enum" in compile-failPatrick Walton-1/+1
2011-12-13Copy first batch of material from libstd to libcore.Graydon Hoare-2/+2
2011-08-16Port the tests to the typaram foo<T> syntax.Erick Tryzelaar-2/+2
2011-08-12Convert most working tests to ivecsBrian Anderson-1/+1
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-07-27Reformat for new syntaxMarijn Haverbeke-16/+3
2011-05-20Un-XFAIL some tests that now pass.Tim Chevalier-1/+0
2011-05-16Two tests that the typechecker correctly unifies type arguments in patterns ↵Tim Chevalier-0/+27
with their expected tag types