aboutsummaryrefslogtreecommitdiff
path: root/src/comp
Commit message (Expand)AuthorAgeFilesLines
* Typecheck tup expressions.Graydon Hoare2010-11-251-0/+15
* Translate tuple-expressions.Graydon Hoare2010-11-241-0/+23
* rustc: Assign definition IDs to type paramsPatrick Walton2010-11-242-2/+8
* rustc: Parse type-parametric typedefsPatrick Walton2010-11-245-14/+18
* rustc: Parse type-parametric tagsPatrick Walton2010-11-243-13/+21
* Sketch out type-directed structural drop and copy, including vector types.Graydon Hoare2010-11-243-28/+237
* move expr_call translation into helper function.Graydon Hoare2010-11-241-8/+12
* Move expr_cast translation into helper function.Graydon Hoare2010-11-241-28/+32
* rustc: Parse type-parametric functionsPatrick Walton2010-11-246-18/+38
* rustc: Don't require a semicolon after an "alt" statementPatrick Walton2010-11-241-0/+6
* rustc: Add patterns to foldPatrick Walton2010-11-243-9/+98
* rustc: Parse simple patternsPatrick Walton2010-11-242-0/+87
* rustc: Parse tag items. Currently segfaults in copy glue.Patrick Walton2010-11-243-0/+75
* 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-225-34/+125
* 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-224-81/+228
* 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
* Accumulate type paths as we parse, rather than throwing them away.Graydon Hoare2010-11-221-0/+1
* rustc: "expectied" -> "expected" in parser.rs; also say what was foundPatrick Walton2010-11-221-1/+3
* Fix lexer bug, enable 5 more tests on rustc.Graydon Hoare2010-11-221-1/+1
* 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-195-49/+912
* Parse type items, nil types, named types. Fix some parser bugs. Enable arith-...Graydon Hoare2010-11-191-6/+77
* Isolate while-header bug to minimal testcase, fix in rustboot, remove workaro...Graydon Hoare2010-11-191-13/+2
* Work around Yet Another Typestate Lifecycle Bug in rustboot.Graydon Hoare2010-11-191-2/+13
* Fix typo in x86 backend glue that was, by luck, only crashing on OSX.Graydon Hoare2010-11-151-1/+1
* Switch upcall glues to fastcall as well.Graydon Hoare2010-11-143-17/+24
* Remove outptr from module-internal calls; use standard ABI returns.Graydon Hoare2010-11-142-46/+33
* 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-142-0/+20
* Correct infinite-loop, block-context mismatches in early cleanups.Graydon Hoare2010-11-141-7/+8
* rustc: Add a type annotation for localsPatrick Walton2010-11-122-3/+6
* 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-105-23/+23
* Redo the scheme for block context chaining and termination, to simplify and s...Graydon Hoare2010-11-102-69/+89