aboutsummaryrefslogtreecommitdiff
path: root/src/test
Commit message (Collapse)AuthorAgeFilesLines
* Un-xfailed working tests.Michael Bebenita2010-08-161-0/+5
|
* Uncomment recently-no-longer-failing std.deque tests. Add a few ↵Roy Frostig2010-08-131-30/+74
| | | | arbitrary-access checks.
* A little tidy-up that should have gone in with ↵Roy Frostig2010-08-121-3/+0
| | | | 4e376852e709844d67f94430d9dc954d5be722b4.
* Fix max_sz bug that ended up causing us to index incorrectly into a vec of ↵Roy Frostig2010-08-121-0/+18
| | | | tag types. Add a testcase.
* Added support for task sleeping in the scheduler.Michael Bebenita2010-08-111-0/+6
|
* Ignore upcall_flush for channels that are disassociated from ports. This ↵Michael Bebenita2010-08-111-2/+1
| | | | makes task-comm-10 break a little less hard, but it still leaks because messages pending in the channel are never freed.
* Added test cases.Michael Bebenita2010-08-113-0/+33
|
* Add native vec[u8] to str converter. Put in workaround for leak in str to ↵Roy Frostig2010-08-111-0/+41
| | | | vec[u8] converter. Add testcase exercising both. Drive-by fix a potential array-out-of-bounds write on rust_str buffers.
* Always bounce mul/div/mod ops. Closes #131 harder.Graydon Hoare2010-08-101-7/+0
|
* Updated/added test cases.Michael Bebenita2010-08-0910-24/+112
|
* Implement _str.len() to return the number of bytes, rename it to byte_len(),Jeffrey Yasskin2010-08-061-0/+16
| | | | and add a test.
* Add an int->str conversion function.Jeffrey Yasskin2010-08-061-0/+15
| | | | The test currently fails because string equality isn't implemented.
* Change the destructor-ordering test to use channels instead of a shared ↵Jeffrey Yasskin2010-08-061-39/+78
| | | | | | | mutable object. This test used to take advantage of a hole in the type system that allows objects with destructors to refer to stateful objects.
* Move 'as' precedence up to just above relational; support indexing str and ↵Graydon Hoare2010-08-051-0/+22
| | | | vec by all integral types. Closes #94.
* Add to std._io some formatter/type-specific-writer mechanism. Make a few ↵Roy Frostig2010-08-041-1/+5
| | | | type-specific buffered writers as wrappers of buf_writer.
* Fix pexp parser to do left-associativity, not right. Closes #130.Graydon Hoare2010-08-041-0/+4
|
* Kill the preallocator, install a sane replacement. Closes #131. And probably ↵Graydon Hoare2010-08-041-0/+7
| | | | a lot of others.
* More stdlib hashmap work. Add a simple test and XFAIL it due to a ↵Roy Frostig2010-08-031-0/+16
| | | | valgrind-spotted UMR.
* Address _vec.map allocation FIXME. Add test.Roy Frostig2010-08-031-0/+12
|
* Fix some naughtiness of handling newlines in bracequotes and multi-line ↵Graydon Hoare2010-08-031-0/+10
| | | | comments. Closes #142.
* Add tests and fix pexp bug. Closes #141.Graydon Hoare2010-08-032-0/+22
|
* Add a bunch of comm tests.Michael Bebenita2010-07-285-6/+162
|
* Another deque test commented out.Roy Frostig2010-07-281-1/+19
|
* Test the deque some more.Roy Frostig2010-07-281-0/+152
|
* Test the deque more and fix uncovered off-by-one bug.Roy Frostig2010-07-281-10/+37
|
* Get slots in trans_tag using Semant tables. Closes #133.Roy Frostig2010-07-281-0/+23
|
* Test the deque a bit. Give it a get-by-index method. Fix two uncovered ↵Roy Frostig2010-07-281-0/+17
| | | | state-calculation bugs --- one decently, the other with an ugly hack. Bug on the latter coming right up.
* Switch machine-type lexemes to use suffixes. Remove support for foo(bar) as ↵Graydon Hoare2010-07-275-20/+20
| | | | a cast notation. Closes #129.
* Distill semantics of use-def maps to fewer and more-obvious words.Graydon Hoare2010-07-271-0/+9
| | | | | | | - Remove redundant uses of 'resolve' and 'referent' in semant. - Use defn, defn_id, lval, lval_base more consistently. - Make associated query functions more consistent. - Closes #127.
* 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
|