summary refs log tree commit diff
path: root/src/test/run-pass/nested-alts.rs
AgeCommit message (Collapse)AuthorLines
2012-03-22make --enforce-mut-vars always on, add mut annotations to remaining filesNiko Matsakis-1/+1
2012-01-19Remove support for the '.' after a nullary tag in a patternTim Chevalier-2/+2
(Commit also includes lots of changes to remove '.'s that a git merge messed up, or else it was monkeys.)
2011-12-22Register new snapshots, purge log_err and log_full in favour of log(...).Graydon Hoare-1/+1
2011-12-22Register snapshots and switch logging over to use of log_full or #error / ↵Graydon Hoare-2/+2
#debug.
2011-12-20Add companion-module core.rs that exports log levels and option/some/none ↵Graydon Hoare-3/+0
everywhere.
2011-12-13Copy first batch of material from libstd to libcore.Graydon Hoare-1/+1
2011-08-16Port the tests to the expr foo::<T> syntax.Erick Tryzelaar-5/+5
2011-07-27Reformat for new syntaxMarijn Haverbeke-10/+7
2011-06-15Reformat source tree (minus a couple tests that are still grumpy).Graydon Hoare-23/+14
2011-05-27In pre/postcondition computation, failing calls should set the postconditionTim Chevalier-0/+30
A non-returning call should have a postcondition in which all predicates are true -- not just a poststate. Otherwise, alt expressions where one or more branches terminate in a non-returning call and others initialize a variable get rejected. Includes a test case.