about summary refs log tree commit diff
path: root/src/test/run-pass
AgeCommit message (Collapse)AuthorLines
2011-07-19Beginnings of support for constrained typesTim Chevalier-6/+1
Programs with constrained types now parse and typecheck, but typestate doesn't check them specially, so the one relevant test case so far is XFAILed. Also rewrote all of the constraint-related data structures in the process (again), for some reason. I got rid of a superfluous data structure in the context that was mapping front-end constraints to resolved constraints, instead handling constraints in the same way in which everything else gets resolved.
2011-07-19Fix calculation of sizeof boxed ivec of str in rt. Closes #712Brian Anderson-1/+9
2011-07-19Disable run-pass/lib-run on win32. Issue #714Brian Anderson-0/+7
Trying to get the tinderbox green again. Will pursue later.
2011-07-19Some progress on issue #540.Lindsey Kuper-2/+0
2011-07-19Reduced test case for issue #540.Lindsey Kuper-0/+22
2011-07-19xfail simple-qsort.rs test at stage0.Erick Tryzelaar-0/+2
2011-07-19Fix an invalid memory access in run_program and friendsBrian Anderson-0/+15
2011-07-18Add str::replaceBrian Anderson-1/+25
2011-07-18Add str::is_empty, is_not_empty predsBrian Anderson-0/+12
2011-07-18Fix qsort to not skip the right side when the pivot element gets put at index 0.Michael Sullivan-0/+23
Closes #705.
2011-07-18Reformulate x86stdcall test so it works with check-fastBrian Anderson-11/+10
Hopefully this puts out the burning win32 tinderbox
2011-07-18Add setenv to standard libraryBrian Anderson-0/+49
2011-07-18Support x86 stdcall conventionBrian Anderson-0/+21
This allows rust to call the Win32 API
2011-07-17Revert "Add setenv to standard library"Brian Anderson-49/+0
This reverts commit 6fb168b3dbd733f6fccebd01c2e5416f800a5566.
2011-07-17Add setenv to standard libraryBrian Anderson-0/+49
2011-07-16Add ivec::zip/unzipBrian Anderson-0/+18
2011-07-15Revised plan of attack for backwarding functions.Lindsey Kuper-9/+10
2011-07-15More tests for anonymous objects. Issues #702, #703.Lindsey Kuper-0/+89
2011-07-15Modify task::join to indicate how the task terminatedBrian Anderson-1/+20
This involves sticking yet another field into the task structure
2011-07-14Add tests for unsuperviseBrian Anderson-5/+17
2011-07-14Add head and tail functions to std::ivecBrian Anderson-0/+18
They even have typestate preconditions
2011-07-14Add is_empty, is_not_empty preds to std::ivecBrian Anderson-0/+23
2011-07-14Revert "Allow main to return int"Brian Anderson-3/+0
This reverts commit 8c94d8fd54ba864e6a603ba6d90d41ccfaa62f53. There's no mechanism to actually return the value from main, so all this does is allow main -> int to compile. Per #688, the program returns non-zero on failure, so it's not obvious that this change is appropriate at this time.
2011-07-14XFAIL some tests in stage 0Brian Anderson-0/+12
2011-07-13Allow main to return intBrian Anderson-0/+3
2011-07-13Prohibit trailing whitespace under 'tidy' script. Clean up all caught cases.Graydon Hoare-92/+92
2011-07-13Parse nullary ret correctlyTim Chevalier-0/+6
ret is similar to fail: if not followed by an expression, it should be parsed as a ret without an argument. The old version would fail if ret was followed by a close paren (for example). Fixed it. Closes #676.
2011-07-13Add box patternsMarijn Haverbeke-0/+12
An @ can now be prepended to a pattern to unbox something during pattern matching. Closes #661
2011-07-12Fix fast-check target by disabling code snippet printing on warnings (broken ↵Graydon Hoare-0/+1
on .rc files) and adding an xfail-fast flag for global-scope.rs.
2011-07-12Fix type inference of fn tail expressions. Closes #680Brian Anderson-0/+9
2011-07-12Updating and unXFAILing somet communication tests.Eric Holk-105/+80
2011-07-12test: Switch lib-either over to interior vectors. Puts out burning tinderbox.Patrick Walton-26/+26
2011-07-11Change "etc" syntax for record patterns from `{a:b ...}` to `{a:b, _}`.Paul Stansifer-1/+1
2011-07-11Move macro expansion to a separate phase, change macro syntax, and add ↵Paul Stansifer-3/+3
parse_sess to session.
2011-07-11rustc: Implement explicit global scope resolution via leading "::"; add a ↵Patrick Walton-0/+14
test case
2011-07-11Unify the rhs and lhs types in a sendTim Chevalier-0/+10
Closes #662. One-line fixes are always the best :-D
2011-07-11rustc: Implement pointer dereference; add a test casePatrick Walton-0/+23
2011-07-11Fix comparisons of the nil type to do something sensible.Michael Sullivan-5/+3
Closes #576.
2011-07-11Fix autoderef of function calls when the function is not an lval.Michael Sullivan-0/+12
As it turns out, the correct way to handle this is much simpler than what I did originally. Also add more tests.
2011-07-11Add a test that exercises these cases in bind.Michael Sullivan-0/+20
2011-07-11Implement record patternsMarijn Haverbeke-0/+15
Closes #469.
2011-07-11Implement or-patterns in case clausesMarijn Haverbeke-0/+18
You can now say expr_move(?dst, ?src) | expr_assign(?dst, ?src) { ... } to match both expr_move and expr_assign. The names, types, and number of bound names have to match in all the patterns. Closes #449.
2011-07-10rt: Remove the _2 prefix from intrinsics; all rust-intrinsics now use ↵Patrick Walton-11/+11
explicit return pointers
2011-07-09rustc: Make rust-intrinsics take an explicit return pointerPatrick Walton-11/+11
2011-07-09Begin running the test for int::powBrian Anderson-2/+5
Somehow this has been disabled forever
2011-07-08Tests for constraint propagationTim Chevalier-0/+49
2011-07-08Add test case for issue #333. Closes #333Brian Anderson-0/+12
This has been fixed by a mystery hacker.
2011-07-08rustc: Do dynamic size calculations properly when concatenating interior ↵Patrick Walton-0/+16
vectors. Closes #640.
2011-07-08Ignore current scope when resolving self-shadowing importsMarijn Haverbeke-0/+16
That is, for example, import x::y::x, which defines a local x, and thus wouldn't be able to find x::y anymore. Closes issue #624
2011-07-08Auto-bind generic functions when their value is taken in non-call contextMarijn Haverbeke-0/+13
trans::trans_lval will now autobind if the given expression was the name of a generic functions. Those callees (trans_call and trans_bind) that are interested in the generics information call trans_lval_gen now.