aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle
Commit message (Expand)AuthorAgeFilesLines
* rustc: Parse type-parametric functionsPatrick Walton2010-11-244-15/+26
* rustc: Add patterns to foldPatrick Walton2010-11-241-0/+83
* rustc: Parse tag items. Currently segfaults in copy glue.Patrick Walton2010-11-241-0/+23
* rustc: Typecheck whiles and do-whiles. Add a workaround to complex.rs pending...Patrick Walton2010-11-231-0/+21
* rustc: As an experiment, swap the expected/actual types when checking functio...Patrick Walton2010-11-231-2/+2
* Remove warning about non-void expr stmts.Graydon Hoare2010-11-221-6/+0
* Support mach types in rustc, enable 5 more tests.Graydon Hoare2010-11-222-0/+24
* rustc: "Expected" and "actual" were swapped. Also un-XFAIL compile-fail/arg-c...Patrick Walton2010-11-221-16/+16
* Remove the global bindings table in the typecheckerPatrick Walton2010-11-221-99/+304
* Check and translate 'as' cast-operator, lower target-specific types, reindent...Graydon Hoare2010-11-222-2/+105
* Fix type disagreements in lowering typeck.ty to llvm TypeRefs, enable complex...Graydon Hoare2010-11-221-10/+10
* Check for structural equality rather than structural-and-cname equality.Graydon Hoare2010-11-221-1/+1
* Resolve the easy case of type paths.Graydon Hoare2010-11-221-0/+35
* More typeck hacking, check if and call exprs, enable fact and deep tests.Graydon Hoare2010-11-212-146/+238
* Typecheck assignment exprs, redo decl checking, propagate ty_vars. Enable ano...Graydon Hoare2010-11-211-53/+96
* Typecheck binary, unary and name expressions. Re-enable 3 more tests.Graydon Hoare2010-11-201-5/+52
* Fix bug in llvm type signature of function items; enable three more tests.Graydon Hoare2010-11-201-1/+1
* Remove dead code.Graydon Hoare2010-11-201-13/+0
* Add helper function to double-check non-null types.Graydon Hoare2010-11-201-0/+6
* Clean up typechecker file, disable all tests that fail under typechecker.Graydon Hoare2010-11-191-7/+14
* Translate typeck.ty_fn to a TypeRef. Can compile int.rs test now.Graydon Hoare2010-11-191-0/+13
* rustc: First stab at a typecheckerPatrick Walton2010-11-192-48/+905
* Switch upcall glues to fastcall as well.Graydon Hoare2010-11-141-7/+4
* Remove outptr from module-internal calls; use standard ABI returns.Graydon Hoare2010-11-141-37/+24
* Switch module-internal calls (i.e. all user code) to fastcall. Still returnin...Graydon Hoare2010-11-141-4/+16
* Support emitting trap instructions for debugging.Graydon Hoare2010-11-141-0/+7
* Correct infinite-loop, block-context mismatches in early cleanups.Graydon Hoare2010-11-141-7/+8
* Move phi-node generation into a helper that measures the liveness of each inc...Graydon Hoare2010-11-121-43/+64
* Load outptr alloca as retval; function call/return now works in rustc.Graydon Hoare2010-11-121-1/+5
* Stop translating a block when a sub-statement terminates the llvm bb.Graydon Hoare2010-11-121-0/+5
* rustc: Add an annotation to function and type items so that the typechecker c...Patrick Walton2010-11-103-18/+18
* Redo the scheme for block context chaining and termination, to simplify and s...Graydon Hoare2010-11-101-69/+87
* Teach rustc about const tag value, begin work on trans_copy_ty, make uint's t...Graydon Hoare2010-11-091-6/+72
* Translate ast.box unary expressions and support extraction of TypeRefs from A...Graydon Hoare2010-11-051-3/+25
* Emit WinMain@16 entrypoint on windows.Graydon Hoare2010-11-051-1/+8
* Fix two incorrect block-context uses in rustc.Graydon Hoare2010-11-051-2/+2
* Teach rustc to generate type descriptors.Graydon Hoare2010-11-051-0/+13
* rustc: Implement function typesPatrick Walton2010-11-051-1/+16
* Move the option type to its own modulePatrick Walton2010-11-053-25/+25
* Revert "Move the option type to its own module"Patrick Walton2010-11-053-6/+6
* Move the option type to its own modulePatrick Walton2010-11-053-6/+6
* Fix buggy while and do-while translation in rustc. Add test.Graydon Hoare2010-11-041-11/+18
* rustc: Use an extensible annotation field instead of putting option[@ty] ever...Patrick Walton2010-11-032-50/+49
* Support while and do-while loops in rustc.Graydon Hoare2010-11-032-0/+71
* Split out stratum-checking pass, implement more-strict (overly aggressive) im...Graydon Hoare2010-11-021-16/+16
* Long line police.Graydon Hoare2010-10-221-3/+5
* Pass outptr as in rustboot. Probably need to revisit this ABI. Also disgustin...Graydon Hoare2010-10-221-5/+18
* Collect all fns first so decl order doesn't matter to translation.Graydon Hoare2010-10-221-13/+41
* Extremely broken hacked-up incorrect attempt at 'ret'.Graydon Hoare2010-10-221-0/+20
* Implement check-exprs, un-xfail 5 rustc tests.Graydon Hoare2010-10-223-2/+40