about summary refs log tree commit diff
AgeCommit message (Collapse)AuthorLines
2011-08-11Switch a check for main type from an error to an ICEBrian Anderson-1/+1
This code path doesn't look possible, so I think it indicates a bug. Also, make the message lowercase.
2011-08-11Lowercase the "wrong type in main fn" errorBrian Anderson-4/+4
2011-08-11Fix the error-pattern in compile-fail/bad-main.rs. Un-XFAILBrian Anderson-4/+1
This is also tested by compile-fail/main-wrong-type.rs but the type signatures are slightly different, so I guess it's worth holding on to.
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-10Stub out docs for anon objs; update existing object system docs.Lindsey Kuper-37/+21
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-10Update docs to describe kinds rather than layers, remove old terms.Graydon Hoare-45/+28
2011-08-10More decl fixes.Graydon Hoare-1/+1
2011-08-10Remove dead keywords from parser.Graydon Hoare-2/+0
2011-08-10Fix some more declarations in example code in docs.Graydon Hoare-5/+5
2011-08-10Update docs regarding path syntax.Graydon Hoare-68/+42
2011-08-10Update frontmatter.Graydon Hoare-2/+2
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-10Update docs to new let syntax.Graydon Hoare-67/+65
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-10Update docs on vector value syntax.Graydon Hoare-20/+15
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-10Update docs on record type and value syntax.Graydon Hoare-17/+16
2011-08-10Some edits to introductory material in docs.Graydon Hoare-40/+28
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-20/+41
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-24 13:57:45 +0000