summary refs log tree commit diff
path: root/src/test/run-pass
AgeCommit message (Collapse)AuthorLines
2012-01-19Handle predicates that recurse in a check() expressionTim Chevalier-0/+2
typestate was using the enclosing function ID for the "this function returns" constraint, which meant confusion and panic in the case where a predicate p includes "check p()". Fixed it to use a fresh ID. Closes #933
2012-01-19Additional ; to , changes, disable "tag" and ";" in parser. Close #1430. ↵Graydon Hoare-2/+2
Close #1428.
2012-01-19rustc: Make the pretty printer output commas after enum variants. Update all ↵Patrick Walton-95/+95
tests accordingly.
2012-01-19test: "tag" -> "enum" in run-pass and run-failPatrick Walton-83/+83
2012-01-19Rename fn*() to fn() as originally planned.Niko Matsakis-1/+1
2012-01-19treat fn*() as fn&()Niko Matsakis-0/+8
This is not my ideal way of going about things. I'd prefer not to have expressions typed as fn*(), for example, but I couldn't get that to work together with inferring the modes of arguments and other corner cases.
2012-01-19Remove support for the '.' after a nullary tag in a patternTim Chevalier-22/+22
(Commit also includes lots of changes to remove '.'s that a git merge messed up, or else it was monkeys.)
2012-01-18Remove '.' after nullary tags in patternsTim Chevalier-6/+6
Does what it says on the tin. The next commit will remove support for this syntax.
2012-01-18remove align_mode and rewrite GEP_tup_like to align correctlyNiko Matsakis-0/+18
Although the old version of GEP_tup_like was incorrect in some cases, I do not believe we ever used it in an incorrect fashion. In particular, it could go wrong with extended index sequences like [0, 1, 3], but as near as I can tell we only ever use it with short sequences like [0, i].
2012-01-18correct use of GEP_tup_like in closure constrNiko Matsakis-0/+30
also, streamline type_is_tup_like() to the cases which actually work
2012-01-17Merge pull request #1544 from kevina/issue-1393Graydon Hoare-1/+1
Minor cleanups to custom discriminator code.
2012-01-17encode variant names and have log print them out.Niko Matsakis-0/+29
2012-01-17Allow omission of the '.' after nullary tag patternsTim Chevalier-1/+11
This commit allows patterns like: alt x { some(_) { ... } none { } } without the '.' after none. The parser suspends judgment about whether a bare ident is a tag or a new bound variable; instead, the resolver disambiguates. This means that any code after resolution that pattern-matches on patterns needs to call pat_util::normalize_pat, which consults an environment to do this disambiguation. In addition, local variables are no longer allowed to shadow tag names, so this required changing some code (e.g. renaming variables named "mut", and renaming ast::sub to subtract). The parser currently accepts patterns with and without the '.'. Once the compiler and libraries are changed, it will no longer accept the '.'.
2012-01-16Minor cleanups to custom discriminator code.Kevin Atkinson-1/+1
Mostly updates to the comments and docs from Pull Request #1537.
2012-01-16Update pretty printer to print out disr. values.Kevin Atkinson-0/+16
Partly fixes issue #1510. "rustc --pretty=typed" fails.
2012-01-15rustc: Parse fn inner attributes. Closes #1506Brian Anderson-0/+4
2012-01-13xfail the tests for now, pending #1511 being fixedNiko Matsakis-0/+11
2012-01-13test: xfail-pretty run-pass/tag-disr-val-shapeBrian Anderson-0/+1
2012-01-13Fixes #1499: a test that shape code can walk explicit disr valuesNiko Matsakis-0/+14
2012-01-13distinguish "any closure" and "stack closure" (block)Niko Matsakis-5/+5
2012-01-13make "native fn" the type for bare functions, remove fn exprsNiko Matsakis-3/+3
2012-01-13deprecate fn exprs and the fn() type, preferring fn@ and native fnNiko Matsakis-56/+50
2012-01-13Remove tests for objs, adjust tests that use objsMarijn Haverbeke-842/+3
2012-01-12make parser disambiguate fn~ at top level correctlyNiko Matsakis-5/+5
2012-01-12add tydescs into shape, rewrite walk_fn_contents()Niko Matsakis-25/+50
2012-01-12free uniq data we encounter on the sweep, walk thru them otherwiseNiko Matsakis-0/+2
2012-01-12Implement passing cast-to-vtable values as bounded paramsMarijn Haverbeke-1/+5
Closes #1492
2012-01-11test: xfail-win32 run-pass/too-much-recursionBrian Anderson-0/+1
2012-01-11rt: Add RUST_MAX_STACK env var with 8MB defaultBrian Anderson-42/+54
Closes #1489
2012-01-11add a log_str() function and allow '%?' in fmt strings to use itNiko Matsakis-0/+4
2012-01-11add section on spawn_connected to tutorial and pull test into fileNiko Matsakis-0/+18
2012-01-10update shape code to handle iface instancesNiko Matsakis-0/+45
2012-01-10Add support for casting enum-like tags to scalar values.Kevin Atkinson-1/+3
2012-01-10Support explicit discriminant numbers on tag variants.Kevin Atkinson-0/+47
Addresses issue #1393. For now disallow disr. values unless all variants use nullary contractors (i.e. "enum-like"). Disr. values are now encoded in the crate metadata, but only when it will differ from the inferred value based on the order.
2012-01-10rename sendfn to fn~, lambda to fn@Niko Matsakis-2/+25
2012-01-09add rust_task_is_unwinding predicate and do not kill if already unwindingNiko Matsakis-3/+13
2012-01-09Change all uses of 'when' in alt-patterns to 'if'Austin Seipp-5/+5
Issue #1396
2012-01-09Remove proto_sugar and 'lambda' as keyword, commit to fn@.Graydon Hoare-14/+14
2012-01-09Remove leftover comm.rs in stdMarijn Haverbeke-9/+6
(The actual comm module lives in core.)
2012-01-08modify last use to take into account cap clause, add new testNiko Matsakis-1/+24
2012-01-06plug leak: free shared type descrs recursively, as we ought toNiko Matsakis-1/+1
2012-01-06make size_of and align_of take an optional valueNiko Matsakis-0/+32
2012-01-06port over the tests to use the new APINiko Matsakis-164/+181
2012-01-06remove trailing whitespaceNiko Matsakis-1/+1
2012-01-06test exposing memory management failure for #1078Niko Matsakis-0/+59
2012-01-06Fix pretty-printing of ty params in iface methodsMarijn Haverbeke-2/+0
2012-01-06Fix bug in method type parameter passingMarijn Haverbeke-0/+4
It would occasionally pass the wrong type parameter, when calling a generic method from a generic impl on a bounded param type.
2012-01-05require a non-semi expr acting as a stmt to have unit return typeNiko Matsakis-33/+24
2012-01-05make parser handle parenthesized block-sugar exprs properlyNiko Matsakis-18/+16
2012-01-05Merge branch 'master' into kmathStefan Plantikow-67/+67
Conflicts: src/libcore/float.rs