summary refs log tree commit diff
path: root/src/test
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-3/+3
Close #1428.
2012-01-19rustc: Make the pretty printer output commas after enum variants. Update all ↵Patrick Walton-134/+134
tests accordingly.
2012-01-19Compute typestates for FRU exprs correctly, plus a bit of cleanupTim Chevalier-0/+5
The code in Issue 948 was causing typestate to diverge because it was using the prestate for the whole expression -- not the post- state for the fields list -- as the prestate for the record base expression. Fixed. Closes #948
2012-01-19Merge pull request #1571 from kevina/fixup-1Patrick Walton-2/+0
Remove incorrect comments from a few test cases.
2012-01-19Remove incorrect comments from a few test cases.Kevin Atkinson-2/+0
2012-01-19test: "tag" -> "enum" in run-pass and run-failPatrick Walton-84/+84
2012-01-19test: "tag" -> "enum" in benchPatrick Walton-7/+7
2012-01-19test: "tag" -> "enum" in compile-failPatrick Walton-22/+22
2012-01-19test: Fix error patterns in name-clash-nullaryPatrick Walton-2/+2
2012-01-19Handle log expressions with a _|_-typed levelTim Chevalier-0/+4
If we have log(foo, quux) where foo:_|_, just translate foo and ignore the rest of the expression. Closes #1459
2012-01-19In trans, allow _|_-typed things to be the argument to failTim Chevalier-0/+4
Rationale: _|_-typed things diverge, so it's safe to use them in any context. Closes #1465
2012-01-19Rename fn*() to fn() as originally planned.Niko Matsakis-13/+20
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-19rustc: Add a usage pass to collect one-off analysesHaitao Li-1/+2
This patch starts from move the analysis which checkes of probably incorrectly usage of `int|uint` in native fn. Issue #1543
2012-01-19Remove support for the '.' after a nullary tag in a patternTim Chevalier-29/+29
(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-24/+24
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-18test: Don't test that tags with zero variants are supportedPatrick Walton-1/+1
2012-01-19rustc: Warn when int or uint is used in a native type declHaitao Li-0/+9
Issue #1403
2012-01-17libstd: Move std tests into libstdBrian Anderson-3027/+0
2012-01-17libcore: Move core tests into libcoreBrian Anderson-2068/+0
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-16Store type names in crate metadataMarijn Haverbeke-1/+1
Improves type error messages referring to external types. Issue #1507
2012-01-16When pretty-printing fn types, leave off arg modes when they are the defaultMarijn Haverbeke-3/+3
This reduces ++/&& spam in the output to a bare minimum. Issue #1507
2012-01-16Don't evaluate discriminator value constants when parsing.Kevin Atkinson-0/+8
Remove disr_val from ast::variant_ and always use ty::variant_info when the value is needed. Move what was done during parsing into other passes, primary typeck.rs. This move also correctly type checks the disr. value expression; thus, fixing rustc --pretty=typed when disr. values are used.
2012-01-16Update pretty printer to print out disr. values.Kevin Atkinson-0/+16
Partly fixes issue #1510. "rustc --pretty=typed" fails.
2012-01-15Added string functions: split_func, split_char, lines, lines_any, words,Kevin Cantu-0/+92
and more tests
2012-01-15rustc: Parse fn inner attributes. Closes #1506Brian Anderson-0/+25
2012-01-14bench: Lower the default inputs on many shootout benchmarksBrian Anderson-5/+5
Make them run a bit faster during normal testing
2012-01-14bench: Update shootout-nbody for styleBrian Anderson-22/+20
2012-01-14bench: Update fannkuchredux for styleBrian Anderson-5/+11
2012-01-14bench: Update shootout-binarytrees for styleBrian Anderson-8/+15
2012-01-14bench: Update shootout-ackermann for performanceBrian Anderson-15/+14
2012-01-14bench: Update shootout-fibo for performanceBrian Anderson-14/+15
2012-01-14bench: Update shootout-binarytrees to use unique boxesBrian Anderson-5/+5
Shared boxes have a huge performance overhead due to #1493
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-13test: Simplify rope::bal1. Closes #1424Brian Anderson-2/+2
2012-01-13libcore: Add task::tryBrian Anderson-0/+21
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-20/+20
2012-01-13make "native fn" the type for bare functions, remove fn exprsNiko Matsakis-15/+15
2012-01-13deprecate fn exprs and the fn() type, preferring fn@ and native fnNiko Matsakis-57/+51
2012-01-13Remove tests for objs, adjust tests that use objsMarijn Haverbeke-970/+16
2012-01-12libcore: Add sys::set_exit_statusBrian Anderson-0/+33
Sets the process exit code
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 12:05:28 +0000