about summary refs log tree commit diff
path: root/src
AgeCommit message (Collapse)AuthorLines
2011-08-03Code cleanup in check_expr.Michael Sullivan-163/+149
2011-08-03Fix typechecking when spawning something type inferred.Michael Sullivan-8/+10
Of course, we still don't *translate* it. Closes #757.
2011-08-03Remove the last remaining xfail-boot directiveBrian Anderson-4/+0
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-03parse_crate_from_source_str takes a parse_sess, not codemapBrian Anderson-10/+9
This was causing problems when reading from stdin for subsequent passes that needed to generate node ids.
2011-08-03Fix pretty-printer to read from files againBrian Anderson-1/+5
I accidentally made the pretty-printer always read from stdin
2011-08-03Pretty-print kinds of type paramsBrian Anderson-2/+9
2011-08-03Disambiguate unop statements in pretty-printer. Closes #674Brian Anderson-2/+79
2011-08-03Revert "Handle conditionals on _|_ - typed values correctly"Brian Anderson-15/+0
This reverts commit 13f8b3f2a67a4e3a7a26b0e238e1b6ce9e1f3573. run-pass/if-ret.rs does not translate correctly when unoptimized. Issue #797
2011-08-03Make ast::pat_bindings an iteratorMarijn Haverbeke-74/+48
And use it to get rid of some repetetive code
2011-08-02Handle _|_ - typed discriminants in alts correctlyTim Chevalier-1/+16
Stop me, won't you, if you've heard this one before? Closes #794
2011-08-02Handle conditionals on _|_ - typed values correctlyTim Chevalier-0/+15
Closes #776
2011-08-02Make _|_ type binopableTim Chevalier-18/+24
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-8/+27
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-8/+23
2011-08-02 In trans, don't assume both sides of a binop have the same typeTim Chevalier-18/+49
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-02Refactor: a backwarding vtable can only have one kind of method.Lindsey Kuper-18/+7
2011-08-02Comment tweaks and re-flows.Lindsey Kuper-30/+24
2011-08-02Consolidate environment building/loading between closure types.Michael Sullivan-153/+102
2011-08-02Track the node_id of the function in trans_common::fn_ctxt.Michael Sullivan-31/+25
2011-08-02Use GEPi a bunch.Michael Sullivan-28/+14
2011-08-02Fix majority of valgrind-purity bugs observed in a rustc run (LLVM still ↵Graydon Hoare-2/+2
appears to leak some of its own memory).
2011-08-02Allow patterns of the form `[a, b, c ...] to be matched and transcribed.Paul Stansifer-71/+99
2011-08-02Include benchmarks in pretty-print testsBrian Anderson-2/+6
2011-08-02Register new snapshotsBrian Anderson-0/+5
2011-08-02Use or-patterns in trans::trans_compare, eliminating a FIXMETim Chevalier-14/+7
2011-08-02Use ioivec::read_whole_file_str in a few placesBrian Anderson-16/+8
2011-08-02Add ioivec::read_whole_file/read_whole_file_strBrian Anderson-0/+12
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-02Display the name of the test being waited for before the result is inBrian Anderson-1/+5
So the test runner displays the name of the test, then waits for it to finish, then displays the result. It worked this way before things were parallelized and it's just much friendlier this way.
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-02Use color to report the final test result, even when running in parallelBrian Anderson-2/+3
After the tests are run there is no more parallelism, so it should be less likely that the control characters will introduce wierd artifacts.
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-02Add a --no-trans command line optionBrian Anderson-5/+16
Runs all passes before translation. This will be used for pretty-printing tests to verify that the results are still probably valid Rust code.