about summary refs log tree commit diff
path: root/src
AgeCommit message (Collapse)AuthorLines
2011-08-10rustc: Don't free shared memory when --gc is onPatrick Walton-5/+28
2011-08-10rustc: Add a --gc switch for debugging and experimentationPatrick Walton-3/+7
2011-08-10Rework check_expr substantially.Michael Sullivan-130/+66
The bulk of check_expr is now check_expr_with_unifier, which takes an expected type and a unification function and will perform the unification on the type it produces. check_expr calls check_expr_with_unifier with a dummy unifier and a new function, check_expr_with, takes an expected type and uses the simple unifier. I think this generally makes thing cleaner, but the purpose for doing this is to enable type inferred lambda-blocks to be useful by allowing the argument types to be unified before the body of the lambda is checked.
2011-08-10Introduce a ty_infer ast node and use it instead of option::t[ty].Michael Sullivan-49/+55
This actually basically makes things worse, since we get less nice type system guarentees but it will make doing type inferred blocks a fair deal less painful. I'm not /really/ happy about this...
2011-08-10rustc: Mark functions as "rust" GCPatrick Walton-1/+3
2011-08-10Eliminate the last vestiges of init_recv.Michael Sullivan-10/+1
2011-08-10Some cleanup in check_expr.Michael Sullivan-14/+12
2011-08-10rustc: Remove unused "trace" upcallsPatrick Walton-31/+0
2011-08-10rustc: Declare GC-related intrinsicsPatrick Walton-0/+8
2011-08-10rustc: Add unique pointers to the set of types we supportPatrick Walton-24/+49
2011-08-10Use actual type, not declared type, when zeroing move argumentsTim Chevalier-3/+30
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-10Remove dead keywords from parser.Graydon Hoare-2/+0
2011-08-10Factor out creation of object body types.Lindsey Kuper-55/+48
2011-08-10Rename unify::simple to unify::unify.Michael Sullivan-4/+3
2011-08-10Some trivial cleanup.Michael Sullivan-33/+4
2011-08-10rt: Add the last few cases to polymorphic logPatrick Walton-0/+11
2011-08-10rt: Step over type params properly in gluePatrick Walton-0/+1
2011-08-10rt: Allow records and boxes to be loggedPatrick Walton-11/+48
2011-08-10Comments, cleanup, whitespace, refactoring.Lindsey Kuper-77/+74
2011-08-10Test case for issue #812.Lindsey Kuper-0/+19
2011-08-10rt: Allow tags to be loggedPatrick Walton-3/+31
2011-08-10rt: Implement logging of vectorsPatrick Walton-1/+20
2011-08-10rt: Implement polymorphic log on stringsPatrick Walton-2/+33
2011-08-10rustc: Use polymorphic loggingPatrick Walton-130/+117
2011-08-10Begin valgrinding run-fail testsBrian Anderson-19/+40
Introduce a temporary no-valgrind directive for the few that aren't clean
2011-08-10rt: Shutdown gracefully on failureBrian Anderson-2/+28
When the kernel fails, kill all tasks and wait for the schedulers to stop instead of just exiting. I'm sure there are tons of lurking issues here but this is enough to fail without leaking (at least in the absence of cleanups).
2011-08-10rt: Use _LP64 instead of SIZE_MAX and UINT64_MAX to try to put out the ↵Patrick Walton-1/+1
burning tinderbox
2011-08-10rt: Attempt to quiet MinGW by including limits.hPatrick Walton-0/+1
2011-08-09rt: Stub code for polymorphic logPatrick Walton-2/+45
2011-08-09rustc: Make iter_structural_ty_full and friends take one value, not two. ↵Patrick Walton-70/+36
Shaves a second off codegen.
2011-08-09rustc: Remove the code to generate cmp gluePatrick Walton-172/+5
2011-08-09Actually perform handoff from caller to callee on move-mode args.Graydon Hoare-9/+53
2011-08-09Do some cleanup in stdlib.Michael Sullivan-69/+69
2011-08-09test: XFAIL binops.rs for now due to mysterious tinderbox failure on LinuxPatrick Walton-0/+5
2011-08-09rustc: Use shapes instead of codegen'd cmp gluePatrick Walton-7/+1
2011-08-09test: Update binops.rs with the new equality semanticsPatrick Walton-11/+7
2011-08-09rt: Implement comparison of functions, objects, ports, channels, and tasksPatrick Walton-1/+21
2011-08-09rt: Don't walk vars twice. We self-host with compare glue now.Patrick Walton-1/+0
2011-08-09rt: Initialize "result" in all constructors for cmpPatrick Walton-1/+2
2011-08-09Move object-system-related trans stuff to its own file.Lindsey Kuper-1008/+1005
2011-08-09Convert remaning ivec decls to new syntaxBrian Anderson-3/+3
These snuck in during rebasing
2011-08-09Remove support for the ivec T[] syntax.Erick Tryzelaar-35/+16
2011-08-09Port the fuzzer and tests to ivec type [T] syntax.Erick Tryzelaar-44/+36
2011-08-09Port the compiler to the ivec type [T] syntax.Erick Tryzelaar-831/+832
2011-08-09Port the stdlib to the ivec type [T] syntax.Erick Tryzelaar-167/+167
2011-08-09Move along; nothing to see here...Lindsey Kuper-0/+54
2011-08-09Register new snapshotsBrian Anderson-0/+5
2011-08-09rt: Compare exterior vectorsPatrick Walton-8/+36
2011-08-09Un-XFAIL a test. Issue #435.Lindsey Kuper-4/+0
2011-08-09Update comments on sio-ctx testBrian Anderson-1/+1