about summary refs log tree commit diff
path: root/src/test
AgeCommit message (Collapse)AuthorLines
2011-08-03Remove all xfail-stage0 directivesBrian Anderson-334/+0
While it is still technically possible to test stage 0, it is not part of any of the main testing rules and maintaining xfail-stage0 is a chore. Nobody should worry about how tests fare in stage0.
2011-08-03Un-xfail more pretty-printing testsBrian Anderson-9/+0
2011-08-03Pretty-print kinds of type paramsBrian Anderson-2/+0
2011-08-03Disambiguate unop statements in pretty-printer. Closes #674Brian Anderson-1/+35
2011-08-03Revert "Handle conditionals on _|_ - typed values correctly"Brian Anderson-3/+0
This reverts commit 13f8b3f2a67a4e3a7a26b0e238e1b6ce9e1f3573. run-pass/if-ret.rs does not translate correctly when unoptimized. Issue #797
2011-08-02Handle _|_ - typed discriminants in alts correctlyTim Chevalier-0/+4
Stop me, won't you, if you've heard this one before? Closes #794
2011-08-02Handle conditionals on _|_ - typed values correctlyTim Chevalier-0/+3
Closes #776
2011-08-02Make _|_ type binopableTim Chevalier-0/+4
But don't actually generate code that does the operation. That means hoisting the check I added in my last commit from trans_compare up into trans_eager_binop (don't generate any code if one operand has type _|_ ). Closes #777
2011-08-02Remove task-comm-chan-chan testBrian Anderson-53/+0
This issue has a smaller test case in chan-leak.rs
2011-08-02Enable more tests that pretty-print correctly nowBrian Anderson-3/+0
2011-08-02Pretty-print fn constraints more correctishBrian Anderson-3/+0
2011-08-02Un-xfail run-pass/claim-nontermBrian Anderson-2/+0
Seems to work
2011-08-02Un-xfail run-fail/fn-constraint-claimBrian Anderson-2/+0
Seems to work
2011-08-02Don't pp extra lines after block open when preserving whitespace. Closes #759Brian Anderson-7/+8
2011-08-02 In trans, don't assume both sides of a binop have the same typeTim Chevalier-0/+10
This was at least partially responsible for Issue 777. The only solution I can think of is for trans to just not generate code for a comparison if one or both sides has type _|_. Since that means evaluating that subexpression diverges, it should be ok to never do the comparison. Actually generating code for the comparison would trip an LLVM assertion failure.
2011-08-02Allow patterns of the form `[a, b, c ...] to be matched and transcribed.Paul Stansifer-9/+19
2011-08-02Include benchmarks in pretty-print testsBrian Anderson-2/+6
2011-08-02Use ioivec::read_whole_file_str in a few placesBrian Anderson-4/+3
2011-08-02Typecheck pretty-printing test results as libraries. Issue #789Brian Anderson-1/+1
After running source files through the pretty printer, we sanity check them by running the results through the compiler with the --no-trans flag. Now also use the --lib flag so that pretty-printer tests don't have to include a main function.
2011-08-02Add dedicated pretty-printer tests with new pp-exact directiveBrian Anderson-6/+67
Add a new src/test/pretty directory to hold just source files for testing the pretty-printer. Add a new pp-exact directive. When this directive is followed by a file name it specifies a file containing the output that the pretty-printer should generate. When pp-exact is not followed by a filename it says that the file should pretty-print as written.
2011-08-02Pretty-print test the rfail tests. Issue #789Brian Anderson-0/+2
2011-08-02Add xfail-pretty directives to tests that don't pretty-print correctlyBrian Anderson-2/+19
Issue #789
2011-08-02Remove test/run-pass/simple-qsortBrian Anderson-23/+0
This is part of stdtest now
2011-08-02Add xfail-pretty test directive. Issue #789Brian Anderson-3/+9
Indicates that this test should not be used to test the pretty-printer
2011-08-02Run pretty-printed sources through the compiler again for sanityBrian Anderson-4/+10
Just go as far as typechecking for speed sake. Issue #789
2011-08-02Implement test that pretty-printed code converges. Issue #789Brian Anderson-10/+101
2011-08-02Remove unused procsrv::clone function from compiletestBrian Anderson-7/+0
2011-08-02Fix comment typo in compiletestBrian Anderson-1/+1
2011-08-02Pretty-print tests only run on .rs files. Issue #789Brian Anderson-5/+22
The pretty-printer can't handle .rc files currently
2011-08-02Introduce pretty-print testing mode to compiletest. Issue #789Brian Anderson-2/+19
2011-08-02Replace an open-coded conversion with ivec::from_vecBrian Anderson-6/+1
2011-08-02Move compiletest modules into separate filesBrian Anderson-587/+617
2011-08-02Copy locals created by destructuring on the content of a boxMarijn Haverbeke-0/+10
This is required so that assigning to these locals doesn't clobber the content of the box. (A possible optimization would be to only do this copying for locals that actually are assigned to.)
2011-08-02Move ppaux::ty_to_str to new record syntaxMarijn Haverbeke-3/+3
2011-08-01Handle bang functions correctly in typestateTim Chevalier-0/+4
The logic for how the "returns" constraint was handled was always dodgy, for reasons explained in the comments I added to auxiliary::fn_info in this commit. Fixed it by adding distinct "returns" and "diverges" constraints for each function, which are both handled positively (that is: for a ! function, the "diverges" constraint must be true on every exit path; for any other function, the "returns" constraint must be true on every exit path). Closes #779
2011-08-01Add std::str::is_whitespaceBrian Anderson-0/+9
2011-08-01Add std::str::trim/trim_left/trim_rightBrian Anderson-0/+30
2011-08-01Add std::char_sliceBrian Anderson-0/+7
2011-08-01Ignore whitespace in argument lists in compiletestBrian Anderson-1/+20
Makes testing work with DEBUG=1
2011-08-01Added send and receive to comm library.Eric Holk-0/+12
2011-08-01Objectified library chans and ports.Eric Holk-1/+1
2011-08-01Started working on a library-based comm system. Creating and deleting ports ↵Eric Holk-0/+62
work.
2011-08-01Add tests for destructuring localsMarijn Haverbeke-0/+37
2011-07-29Add a task spawning benchmarkBrian Anderson-0/+29
This is the kind of workload that the test runner generates - lots of tiny little tasks - and currently it leaves the CPU underutilized.
2011-07-29Enable kind checking on typarams, fix kind constraints in library and comp.Graydon Hoare-3/+3
2011-07-29Reduced test case for current backwarding bug.Lindsey Kuper-0/+35
Still working on getting backwarding to play nicely with self and overriding. Currently can't fix issue #702 without breaking how self and overriding interact.
2011-07-29Test case for previous commitTim Chevalier-0/+5
2011-07-29Fix long linesBrian Anderson-3/+3
2011-07-29Add issue numbers to FIXMEs in compiletestBrian Anderson-2/+2
2011-07-29Close pipes under failure scenario in compiletestBrian Anderson-1/+5