about summary refs log tree commit diff
path: root/src/test
AgeCommit message (Collapse)AuthorLines
2010-07-19Added a message passing system based on lock free queues for inter-thread ↵Michael Bebenita-8/+183
communication. Channels now buffer on the sending side, and no longer require blocking when sending. Lots of other refactoring and bug fixes.
2010-07-19Add a test for an obvious-seeming (but not actually legal) kind of cast ↵Graydon Hoare-0/+13
attempted in issue #115, downgrade bug to an err in type.ml so you get a better message.
2010-07-19Fix over-optimistic resolution of self-methods within obj scopes. There is ↵Graydon Hoare-0/+11
no such feature in the language at present. Add test to prevent regression. Closes #114.
2010-07-19Missing semicolon in type.ml, plus test to catch regression. Closes #113.Graydon Hoare-0/+7
2010-07-18Work around auto-dereference crash in rustboot.Jeffrey Yasskin-1/+1
2010-07-16Ensure that functions that should return a value do; issue 41Patrick Walton-0/+11
2010-07-16Feed the correct return type to the typechecker when typechecking objects, ↵Patrick Walton-0/+16
and add a testcase.
2010-07-15Merge branch 'contrib'Graydon Hoare-0/+61
2010-07-16Support nested for-each loops. Closes #79.Jason Orendorff-0/+61
2010-07-15XFAIL the new destructor tests; collided with new typechecker; add test for ↵Graydon Hoare-0/+12
issue #109.
2010-07-15Implement the "simple typechecker", which avoids HM inferencePatrick Walton-3/+3
2010-07-15Remove log-type-error; everything is loggable.Patrick Walton-6/+0
2010-07-16More destruction ordering tests.Jeffrey Yasskin-2/+52
2010-07-16Initial test that the compiler runs destructors in the right order.Jeffrey Yasskin-0/+29
2010-07-16Add a _vec.slice function that'll hold us over until .(a,b) syntax isJeffrey Yasskin-1/+12
implemented. This could actually replace .(a,b) syntax if the language grows optional function parameters.
2010-07-16Add a test for std._vec.init_elt, and an XFAILed test for std._vec.init_fn.Jeffrey Yasskin-0/+30
2010-07-15Merge branch 'contrib'Graydon Hoare-0/+18
2010-07-16permit use before import. closes #48Adam Bozanich-0/+18
2010-07-15Make mutability no longer a type constructorPatrick Walton-2/+2
2010-07-14Fix ret/put mis-identification in typechecker. Closes #87.Graydon Hoare-0/+8
2010-07-13Fix the next typo in mlist-cycle.rs; still doesn't work.Graydon Hoare-1/+1
2010-07-11Fix post-stmt drop calculations. Closes #106.Graydon Hoare-0/+9
2010-07-09Catch cyclic imports harder. Add 2 tests to confirm.Graydon Hoare-0/+20
2010-07-08Issue 66: Multi-line commentsMatt Brubeck-0/+17
2010-07-08Some more typestate tests.Graydon Hoare-4/+41
2010-07-06Numerous bug fixes to typestate algorithm.Graydon Hoare-0/+14
2010-07-05Un-XFAIL mutable-alias-vec.rs. Was only failing due to a typo, but a more ↵Graydon Hoare-2/+12
thorough test revealed more bugs.
2010-07-05Uint-ify various bits of _str and _vec, enrich _vec a bit.Graydon Hoare-2/+2
2010-07-04Log completion on the many.rs test.Graydon Hoare-0/+2
2010-07-04Fix compile-fail/log-type-error.rs.Graydon Hoare-1/+1
2010-07-02Merge branch 'master' of git@github.com:graydon/rust into ↵Graydon Hoare-1/+11
exterior_and_mutable_types
2010-07-02New test of explicit deref operator.Graydon Hoare-0/+4
2010-07-02Box the args entering the vec-drop test.Graydon Hoare-1/+1
2010-07-01Box arguments that are supposed to be boxed.Graydon Hoare-3/+3
2010-07-01Correct existing reliance on auto-box / unbox behavior in tests.Graydon Hoare-5/+5
2010-07-01Box the integer passed to the handle in obj-drop.rs. No more implicit ↵Graydon Hoare-1/+1
arg-boxing.
2010-06-30Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ↵Graydon Hoare-3/+3
keep MEM_interior for describing interior-parts-of-allocations)
2010-06-30No more "transplant" behavior in "let @x = y", gotta box explicitly.Graydon Hoare-1/+1
2010-06-30rewrite 'mutable &' as '& mutable', corresponding to grammar shift.Graydon Hoare-2/+2
2010-06-29Add (XFAILed) testcase for typechecker issue where fns-in-mods appear to ↵Roy Frostig-0/+10
lose their type parameters over the course of the typechecking pass.
2010-06-29Work-around and un-XFAIL generic-obj.rs test. The problem uncovered in the ↵Roy Frostig-1/+1
original XFAIL is more generally that of issue #92.
2010-06-28Add to generic-obj.rs testcase a method that takes an argument of the object ↵Roy Frostig-0/+2
type-param type. XFAIL the test since it no longer passes.
2010-06-28Testcase (XFAILed) for fn item given as lval.Roy Frostig-0/+8
2010-06-28Testcase (XFAILed) for mutable alias vec weirdness.Roy Frostig-0/+7
2010-06-27Only translate or dwarf-emit items or stubs locally defined or used. Avoids ↵Graydon Hoare-1/+1
instantiating O(sizeof(standard-library)) worth of imports stubs on each 'use std'. Closes issue 13.
2010-06-25Add callable gc method exposed to user code, use it in mlist-cycle.rs test ↵Graydon Hoare-0/+4
(still not quite working; some memory corruption in the recursive tag constructors, not the GC)
2010-06-25Add test of recursive object types (ha, work by default) and fix ↵Graydon Hoare-0/+25
effect-walker bug revealed by it.
2010-06-25Add testcases for item name conflict at the same path level.Roy Frostig-0/+19
2010-06-25Resolve and typecheck patterns in pattern alt redux. This time featuring ↵Roy Frostig-1/+1
way more correctness.
2010-06-24Fix bad output-slot logic in tag constructors.Graydon Hoare-5/+5