about summary refs log tree commit diff
path: root/src/comp/middle
AgeCommit message (Expand)AuthorLines
2011-08-10Comments, cleanup, whitespace, refactoring.Lindsey Kuper-77/+74
2011-08-10rustc: Use polymorphic loggingPatrick Walton-94/+20
2011-08-09rustc: Make iter_structural_ty_full and friends take one value, not two. Shav...Patrick Walton-70/+36
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/+41
2011-08-09rustc: Use shapes instead of codegen'd cmp gluePatrick Walton-7/+1
2011-08-09Move object-system-related trans stuff to its own file.Lindsey Kuper-1008/+1004
2011-08-09Convert remaning ivec decls to new syntaxBrian Anderson-2/+2
2011-08-09Remove support for the ivec T[] syntax.Erick Tryzelaar-1/+1
2011-08-09Port the compiler to the ivec type [T] syntax.Erick Tryzelaar-450/+450
2011-08-09A little backwarding cleanup/refactoring.Lindsey Kuper-14/+10
2011-08-09Thread "self" through the stack. Backwarding! Closes #702.Lindsey Kuper-20/+82
2011-08-08Implement typestate checking for move-mode args. Un-XFAIL compile-fail/move-a...Graydon Hoare-28/+110
2011-08-08rustc: Emit the shape of "float" as f64, not f32Patrick Walton-1/+1
2011-08-08Don't bother zeroing out slots in cleanups.Michael Sullivan-5/+1
2011-08-08Add new arg-passing mode 'move' denoted with '-T'. Translate as pass-by-value...Graydon Hoare-5/+7
2011-08-05Revert "rustc: bzero in zero_alloca. Shaves off a second or three."Paul Stansifer-1/+1
2011-08-05Atomic ref counting for chans.Eric Holk-1/+13
2011-08-05Initialize all constraints to FalseTim Chevalier-9/+24
2011-08-05Revert "rustc: Introduce the concept of inline to the AST"Patrick Walton-64/+55
2011-08-05rustc: Introduce the concept of inline to the ASTPatrick Walton-55/+64
2011-08-05(Almost) Always unify a function tail expr with the function result typeTim Chevalier-6/+31
2011-08-04Prohibit assignment to upvars in lambdas. Closes #805.Michael Sullivan-5/+27
2011-08-04Revert "rustc: Don't emit memset for non-structural types" due to crashesPatrick Walton-13/+2
2011-08-04rustc: Don't emit memset for non-structural typesPatrick Walton-2/+13
2011-08-04Add a cleanup for copying closures. Closes #804.Michael Sullivan-0/+3
2011-08-04Don't force resolution of type variables until there is no enclosing function...Michael Sullivan-8/+7
2011-08-04rustc: bzero in drop_slotPatrick Walton-1/+1
2011-08-04Enable creation of backwarding vtables (issue #702), but don't startLindsey Kuper-160/+232
2011-08-04rustc: bzero in zero_alloca. Shaves off a second or three.Patrick Walton-1/+1
2011-08-04Use lambdas in gather_locals in typeck.Michael Sullivan-57/+36
2011-08-04Use lambdas in the freevars pass.Michael Sullivan-64/+50
2011-08-04rustc: Use memmove in copy_ty. 45% LLVM codegen speed improvement.Patrick Walton-2/+7
2011-08-04Handle alt on a _|_ - typed valueTim Chevalier-1/+1
2011-08-04Add a fast path in ty::occurs_check_failsTim Chevalier-1/+5
2011-08-04Implement the occurs checkTim Chevalier-14/+78
2011-08-04trans_args no longer needs llobj argument.Lindsey Kuper-3/+2
2011-08-04rustc: Actually emit shapesPatrick Walton-38/+55
2011-08-04rustc: Generate shapesPatrick Walton-19/+620
2011-08-03Killing an obsolete comment.Lindsey Kuper-1/+0
2011-08-03Pointer-ifying llenv. Step 1 of 2 steps to object system sanity.Lindsey Kuper-38/+8
2011-08-03Put comments on trans contexts back where they belong. :(Lindsey Kuper-108/+114
2011-08-03Fix trans_put to properly return (). Closes #773.Michael Sullivan-1/+2
2011-08-03Clean up how we deal with dynamic size function arguments/returns.Michael Sullivan-57/+24
2011-08-03Have trans_bind_thunk handle polymorphic but statically sized return values.Michael Sullivan-1/+3
2011-08-03Revert "Revert "Handle conditionals on _|_ - typed values correctly""Tim Chevalier-0/+12
2011-08-03Reject programs that do a put outside of iterators.Michael Sullivan-4/+7
2011-08-03Do a bunch more typechecking for iters and for each loops.Michael Sullivan-30/+60
2011-08-03Code cleanup in check_expr.Michael Sullivan-163/+149
2011-08-03Fix typechecking when spawning something type inferred.Michael Sullivan-8/+10