aboutsummaryrefslogtreecommitdiff
path: root/src/test
Commit message (Collapse)AuthorAgeFilesLines
...
* Adjust testcase to cover issue #91, which was actually fixed back in commit ↵Roy Frostig2010-07-261-0/+2
| | | | f02f9cbf29c2fdc28baeaa5a25671d9be29d6eab. Closes #91.
* Move the test suite to the "as" form for casts. XFAIL a few tests for LLVM.Patrick Walton2010-07-2618-75/+75
|
* Expose an RNG (the one used by our runtime) to Rust via std.Roy Frostig2010-07-251-0/+27
|
* Improve mutability checking. Closes #118.Graydon Hoare2010-07-237-3/+27
|
* Add test for writing-through-uninit bug (reported on IRC by jrmuizel), plus ↵Graydon Hoare2010-07-231-0/+10
| | | | fix in typestate system.
* Modify testcase to match new syntax and un-XFAIL mutable-vec-drop.rs.Graydon Hoare2010-07-231-1/+4
|
* Two more testcases for overwriting already-live box-like fields in ↵Graydon Hoare2010-07-232-0/+8
| | | | structures, without leaking.
* Notify copy glue of dst-initialization and fix _vec.alloc issues in lib and ↵Roy Frostig2010-07-221-0/+2
| | | | runtime. Closes #109.
* A certain incomplete quantity of wrestling with "INIT" statements that don't ↵Graydon Hoare2010-07-221-3/+3
| | | | actually initialize. Should probably rename them to MAKE. Anyway, WIP, but two steps forward (and one back). More later.
* Beat up on the preempt test a bit more, as it keeps hanging under valgrind.Graydon Hoare2010-07-221-1/+1
|
* Re-introduce bits of vec-lib test that blocked on now-fixed issue #108.Roy Frostig2010-07-221-6/+2
|
* Add XFAIL'ed test for return-in-iter, call unimpl when we find it. Closes #100.Graydon Hoare2010-07-221-0/+13
|
* Fix mem op= mem bug in trans.ml (via not terribly good fix). Closes #111.Graydon Hoare2010-07-221-0/+18
|
* Remove explicit deref workaround in dtor-order test. No longer necessary.Roy Frostig2010-07-201-1/+1
|
* ctxt_auto_deref_lval decides whether to autoderef the entire lval, not its base.Roy Frostig2010-07-191-0/+18
|
* Autoderef objects when passing them as implicit (indirect) arg upon ↵Roy Frostig2010-07-191-0/+16
| | | | vtbl-dispatch. Add testcase and XFAIL it on LLVM. Closes #112.
* Fixed circular buffer resizing bug.Michael Bebenita2010-07-192-2/+49
|
* Added a message passing system based on lock free queues for inter-thread ↵Michael Bebenita2010-07-196-8/+183
| | | | communication. Channels now buffer on the sending side, and no longer require blocking when sending. Lots of other refactoring and bug fixes.
* Add a test for an obvious-seeming (but not actually legal) kind of cast ↵Graydon Hoare2010-07-191-0/+13
| | | | attempted in issue #115, downgrade bug to an err in type.ml so you get a better message.
* Fix over-optimistic resolution of self-methods within obj scopes. There is ↵Graydon Hoare2010-07-191-0/+11
| | | | no such feature in the language at present. Add test to prevent regression. Closes #114.
* Missing semicolon in type.ml, plus test to catch regression. Closes #113.Graydon Hoare2010-07-191-0/+7
|
* Work around auto-dereference crash in rustboot.Jeffrey Yasskin2010-07-181-1/+1
|
* Ensure that functions that should return a value do; issue 41Patrick Walton2010-07-163-0/+11
|
* Feed the correct return type to the typechecker when typechecking objects, ↵Patrick Walton2010-07-161-0/+16
| | | | and add a testcase.
* Merge branch 'contrib'Graydon Hoare2010-07-152-0/+61
|\
| * Support nested for-each loops. Closes #79.Jason Orendorff2010-07-162-0/+61
| |
* | XFAIL the new destructor tests; collided with new typechecker; add test for ↵Graydon Hoare2010-07-151-0/+12
| | | | | | | | issue #109.
* | Implement the "simple typechecker", which avoids HM inferencePatrick Walton2010-07-152-3/+3
| |
* | Remove log-type-error; everything is loggable.Patrick Walton2010-07-151-6/+0
|/
* More destruction ordering tests.Jeffrey Yasskin2010-07-161-2/+52
|
* Initial test that the compiler runs destructors in the right order.Jeffrey Yasskin2010-07-161-0/+29
|
* Add a _vec.slice function that'll hold us over until .(a,b) syntax isJeffrey Yasskin2010-07-161-1/+12
| | | | | implemented. This could actually replace .(a,b) syntax if the language grows optional function parameters.
* Add a test for std._vec.init_elt, and an XFAILed test for std._vec.init_fn.Jeffrey Yasskin2010-07-161-0/+30
|
* Merge branch 'contrib'Graydon Hoare2010-07-151-0/+18
|\
| * permit use before import. closes #48Adam Bozanich2010-07-161-0/+18
| |
* | Make mutability no longer a type constructorPatrick Walton2010-07-152-2/+2
| |
* | Fix ret/put mis-identification in typechecker. Closes #87.Graydon Hoare2010-07-141-0/+8
| |
* | Fix the next typo in mlist-cycle.rs; still doesn't work.Graydon Hoare2010-07-131-1/+1
| |
* | Fix post-stmt drop calculations. Closes #106.Graydon Hoare2010-07-111-0/+9
|/
* Catch cyclic imports harder. Add 2 tests to confirm.Graydon Hoare2010-07-092-0/+20
|
* Issue 66: Multi-line commentsMatt Brubeck2010-07-082-0/+17
|
* Some more typestate tests.Graydon Hoare2010-07-084-4/+41
|
* Numerous bug fixes to typestate algorithm.Graydon Hoare2010-07-061-0/+14
|
* Un-XFAIL mutable-alias-vec.rs. Was only failing due to a typo, but a more ↵Graydon Hoare2010-07-051-2/+12
| | | | thorough test revealed more bugs.
* Uint-ify various bits of _str and _vec, enrich _vec a bit.Graydon Hoare2010-07-051-2/+2
|
* Log completion on the many.rs test.Graydon Hoare2010-07-041-0/+2
|
* Fix compile-fail/log-type-error.rs.Graydon Hoare2010-07-041-1/+1
|
* Merge branch 'master' of [email protected]:graydon/rust into ↵Graydon Hoare2010-07-022-1/+11
|\ | | | | | | exterior_and_mutable_types
| * Add (XFAILed) testcase for typechecker issue where fns-in-mods appear to ↵Roy Frostig2010-06-291-0/+10
| | | | | | | | lose their type parameters over the course of the typechecking pass.
| * Work-around and un-XFAIL generic-obj.rs test. The problem uncovered in the ↵Roy Frostig2010-06-291-1/+1
| | | | | | | | original XFAIL is more generally that of issue #92.