| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Teach fold about ty_rec. | Graydon Hoare | 2010-11-29 | 1 | -0/+18 |
| * | Add ty_rec and parse it. | Graydon Hoare | 2010-11-29 | 2 | -0/+18 |
| * | Change mutability into a type constructor. | Graydon Hoare | 2010-11-29 | 6 | -75/+51 |
| * | Change from bool to tag ast.mutability. | Graydon Hoare | 2010-11-29 | 5 | -49/+65 |
| * | Add ast.ty_mutable. | Graydon Hoare | 2010-11-29 | 4 | -2/+39 |
| * | Add mut field to typeck.ty. | Graydon Hoare | 2010-11-29 | 1 | -4/+4 |
| * | Copy args to allocas, change llargs lookups to 'in mem'. Un-XFAIL tup.rs. | Graydon Hoare | 2010-11-26 | 2 | -4/+36 |
| * | Load structural values through pointer before passing structs as args. | Graydon Hoare | 2010-11-26 | 1 | -18/+22 |
| * | Pass exprs by @, always treat structural types by pointer, move path and name... | Graydon Hoare | 2010-11-26 | 1 | -88/+98 |
| * | Avoid segfault due to fallthrough in base case of incr_all_refcounts. We coul... | Graydon Hoare | 2010-11-26 | 1 | -0/+1 |
| * | Declare the memcpy intrinsics properly. | Graydon Hoare | 2010-11-26 | 1 | -13/+19 |
| * | Return memcpy src rather than falling through and failing. | Graydon Hoare | 2010-11-25 | 1 | -0/+1 |
| * | Cast memcpy args to correct types. | Graydon Hoare | 2010-11-25 | 1 | -3/+7 |
| * | Add lookup checks and intrinsics table to trans. | Graydon Hoare | 2010-11-25 | 2 | -5/+24 |
| * | Add missed case to typeck.ast_ty_to_ty, plus faux exhaustiveness check. | Graydon Hoare | 2010-11-25 | 1 | -0/+11 |
| * | Fix typo in numeric-label-parsing loop. | Graydon Hoare | 2010-11-25 | 1 | -4/+11 |
| * | Translate field expressions. | Graydon Hoare | 2010-11-25 | 1 | -0/+21 |
| * | Typecheck field expressions. | Graydon Hoare | 2010-11-25 | 1 | -1/+48 |
| * | Typecheck tup expressions. | Graydon Hoare | 2010-11-25 | 1 | -0/+15 |
| * | Translate tuple-expressions. | Graydon Hoare | 2010-11-24 | 1 | -0/+23 |
| * | rustc: Assign definition IDs to type params | Patrick Walton | 2010-11-24 | 2 | -2/+8 |
| * | rustc: Parse type-parametric typedefs | Patrick Walton | 2010-11-24 | 5 | -14/+18 |
| * | rustc: Parse type-parametric tags | Patrick Walton | 2010-11-24 | 3 | -13/+21 |
| * | Sketch out type-directed structural drop and copy, including vector types. | Graydon Hoare | 2010-11-24 | 3 | -28/+237 |
| * | move expr_call translation into helper function. | Graydon Hoare | 2010-11-24 | 1 | -8/+12 |
| * | Move expr_cast translation into helper function. | Graydon Hoare | 2010-11-24 | 1 | -28/+32 |
| * | rustc: Parse type-parametric functions | Patrick Walton | 2010-11-24 | 6 | -18/+38 |
| * | rustc: Don't require a semicolon after an "alt" statement | Patrick Walton | 2010-11-24 | 1 | -0/+6 |
| * | rustc: Add patterns to fold | Patrick Walton | 2010-11-24 | 3 | -9/+98 |
| * | rustc: Parse simple patterns | Patrick Walton | 2010-11-24 | 2 | -0/+87 |
| * | rustc: Parse tag items. Currently segfaults in copy glue. | Patrick Walton | 2010-11-24 | 3 | -0/+75 |
| * | rustc: Typecheck whiles and do-whiles. Add a workaround to complex.rs pending... | Patrick Walton | 2010-11-23 | 3 | -1/+24 |
| * | rustc: As an experiment, swap the expected/actual types when checking functio... | Patrick Walton | 2010-11-23 | 1 | -2/+2 |
| * | Remove warning about non-void expr stmts. | Graydon Hoare | 2010-11-22 | 1 | -6/+0 |
| * | rustc: Un-XFAIL compile-fail/arg-type-mismatch.rs. | Patrick Walton | 2010-11-22 | 1 | -0/+1 |
| * | Support mach types in rustc, enable 5 more tests. | Graydon Hoare | 2010-11-22 | 6 | -34/+130 |
| * | rustc: "Expected" and "actual" were swapped. Also un-XFAIL compile-fail/arg-c... | Patrick Walton | 2010-11-22 | 2 | -16/+26 |
| * | Remove the global bindings table in the typechecker | Patrick Walton | 2010-11-22 | 1 | -99/+304 |
| * | Check and translate 'as' cast-operator, lower target-specific types, reindent... | Graydon Hoare | 2010-11-22 | 5 | -81/+229 |
| * | Fix type disagreements in lowering typeck.ty to llvm TypeRefs, enable complex... | Graydon Hoare | 2010-11-22 | 2 | -10/+11 |
| * | Check for structural equality rather than structural-and-cname equality. | Graydon Hoare | 2010-11-22 | 1 | -1/+1 |
| * | Resolve the easy case of type paths. | Graydon Hoare | 2010-11-22 | 1 | -0/+35 |
| * | Accumulate type paths as we parse, rather than throwing them away. | Graydon Hoare | 2010-11-22 | 1 | -0/+1 |
| * | rustc: "expectied" -> "expected" in parser.rs; also say what was found | Patrick Walton | 2010-11-22 | 1 | -1/+3 |
| * | Fix lexer bug, enable 5 more tests on rustc. | Graydon Hoare | 2010-11-22 | 2 | -1/+6 |
| * | More typeck hacking, check if and call exprs, enable fact and deep tests. | Graydon Hoare | 2010-11-21 | 3 | -146/+240 |
| * | Typecheck assignment exprs, redo decl checking, propagate ty_vars. Enable ano... | Graydon Hoare | 2010-11-21 | 2 | -53/+97 |
| * | Typecheck binary, unary and name expressions. Re-enable 3 more tests. | Graydon Hoare | 2010-11-20 | 2 | -5/+55 |
| * | Fix bug in llvm type signature of function items; enable three more tests. | Graydon Hoare | 2010-11-20 | 2 | -1/+4 |
| * | Remove dead code. | Graydon Hoare | 2010-11-20 | 1 | -13/+0 |