about summary refs log tree commit diff
path: root/src/test/run-fail
AgeCommit message (Collapse)AuthorLines
2011-09-12Reformat for new mode syntax, step 1Marijn Haverbeke-1/+1
Long lines were fixed in a very crude way, as I'll be following up with another reformat in a bit.
2011-09-11Add some more unwind testsBrian Anderson-0/+44
They worked without modifications, but I wrote them so we're keeping them. Issue #236
2011-09-11Zero locals when the initializer might call a functionBrian Anderson-0/+7
The function might fail, leaving the local uninitialized Issue #236
2011-09-11Invoke put functionsBrian Anderson-0/+12
Issue #236
2011-09-11Add an XFAILed test for failing destructorsBrian Anderson-0/+12
Issue #236
2011-09-11Remove the no-valgrind test directive now that unwinding is more workyBrian Anderson-1/+0
Issue #236
2011-09-11XFAIL run-fail/linked-failureBrian Anderson-0/+1
This test is hitting a bug in the runtime that makes it fail incorrectly and not valgrind-clean
2011-09-11Begin valgrinding some run-fail tests that unwind correctlyBrian Anderson-5/+0
Issue #236
2011-09-11Add a number of unwinding testsBrian Anderson-0/+80
Issue #236
2011-09-11Invoke upcall_failBrian Anderson-0/+6
This allows landing pads to be generated around fail statements Issue #236
2011-09-11Run cleanups during unwindingBrian Anderson-0/+10
Issue #236
2011-09-07Child tasks take a ref to their parentsBrian Anderson-0/+14
This is so that when a child dies after the parent, it still holds a valid pointer and can call supervisor->kill() safely.
2011-09-02Reformat. Issue #855Brian Anderson-8/+8
2011-09-01Convert all uses of #ifmt to #fmt. Issue #855Brian Anderson-1/+1
2011-09-01Rename std::istr to std::str. Issue #855Brian Anderson-1/+1
2011-09-01Remove std::str. Issue #855Brian Anderson-2/+0
2011-08-31Start paring down std::str. Issue #855Brian Anderson-2/+2
2011-08-31Convert uses of #fmt to #ifmt. Issue #855Brian Anderson-1/+1
2011-08-31Replace xfail-stageN with simply xfail-testMarijn Haverbeke-9/+3
Closes #799
2011-08-31Revert "Replace xfail-stageN with simply xfail-test"Marijn Haverbeke-3/+9
This reverts commit 574194f6bcfb90b9f8486002b83babc4c21208c0.
2011-08-31Replace xfail-stageN with simply xfail-testMarijn Haverbeke-9/+3
Closes #799
2011-08-30Support istrs as fail argument. Issue #855Brian Anderson-1/+1
2011-08-30Library test cases for vec::zipTim Chevalier-0/+20
2011-08-25Change "pred" to "pure fn" in all libraries and test casesTim Chevalier-2/+2
2011-08-25Cleaning up task and comm exports, updating all the test cases.Eric Holk-10/+12
2011-08-20ReformatBrian Anderson-49/+35
This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[]
2011-08-19Add some tests for expression corner cases, mostly involving ret and failBrian Anderson-0/+15
Some of these don't actually work.
2011-08-17Better type inference for chans and ports.Eric Holk-1/+1
2011-08-17Using move-mode for spawn thunks to avoid race conditions.Eric Holk-1/+2
2011-08-16Port the tests to the expr foo::<T> syntax.Erick Tryzelaar-4/+7
2011-08-16Port the tests to the decl foo<T> syntax.Erick Tryzelaar-3/+3
2011-08-16Port the tests to the typaram foo<T> syntax.Erick Tryzelaar-10/+10
2011-08-16Removed trans_comm.rs from the compiler. Updating aio/sio to work with the ↵Eric Holk-9/+14
new chan and port system, started on a networking module for the standard library.
2011-08-15The wonky for...in... whitespace was bothering me. Sorry!Lindsey Kuper-1/+1
2011-08-15Removed spawn and task from the parser. Updated all the tests except for the ↵Eric Holk-1/+8
benchmarks.
2011-08-12Un-XFAIL do-while-body-failsTim Chevalier-3/+0
Made it work both with optimization enabled, and with optimization disabled. Huzzah!
2011-08-12Convert most working tests to ivecsBrian Anderson-2/+2
I tried to pay attention to what was actually being tested so, e.g. when I test was just using a vec as a boxed thing, I converted to boxed ints, etc. Haven't converted the macro tests yet. Not sure what to do there.
2011-08-11XFAIL do-while-body-failsBrian Anderson-0/+3
Doesn't work w/out optimizations
2011-08-11Handle _|_ - typed things in the bodies of do-while loopsTim Chevalier-0/+4
The resulting code is strange, but perhaps someone else can fix it. The obvious things, like returning body_res, all resulted in completely incomprehensible LLVM errors. Closes #814
2011-08-10Use actual type, not declared type, when zeroing move argumentsTim Chevalier-0/+16
trans was failing with a bounds check error because the caller was using the declared type (an out-of-scope ty param) and not the actual type in a list of argument types to zero. Closes #811
2011-08-10Begin valgrinding run-fail testsBrian Anderson-8/+5
Introduce a temporary no-valgrind directive for the few that aren't clean
2011-08-03Revert "Revert "Handle conditionals on _|_ - typed values correctly""Tim Chevalier-0/+3
This reverts commit ea81c03960264bf590cd99ed2b662243e3db7a7c. Changed the case in trans_if where the conditional is _|_ - typed but the block is terminated to return the result of the cond, instead of nil. This passes "make check" with optimization disabled as well as enabled.
2011-08-03Remove all xfail-stage0 directivesBrian Anderson-20/+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-1/+0
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-02Pretty-print fn constraints more correctishBrian Anderson-1/+0
2011-08-02Un-xfail run-fail/fn-constraint-claimBrian Anderson-2/+0
Seems to work
2011-08-02 In trans, don't assume both sides of a binop have the same typeTim Chevalier-0/+6
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.