| Age | Commit message (Expand) | Author | Lines |
|---|
| 2010-07-01 | Remove the catch-all in type.ml, add cases for every stmt (a couple more hand... | Graydon Hoare | -8/+55 |
| 2010-07-01 | Convey auto-deref judgments made in typechecker to trans layer; control the d... | Graydon Hoare | -3/+35 |
| 2010-07-01 | Correct overzealous bulk-edit to LLVM code. | Graydon Hoare | -1/+1 |
| 2010-07-01 | Some work on teaching trans to differentiate between auto-deref and explicit-... | Graydon Hoare | -37/+88 |
| 2010-07-01 | Add more logging to copy/init paths. | Graydon Hoare | -12/+27 |
| 2010-07-01 | Remove redundant indirection-function. | Graydon Hoare | -4/+2 |
| 2010-07-01 | Implement STMT_init_box in trans, clean up some of the semant table-accessors. | Graydon Hoare | -51/+39 |
| 2010-07-01 | Add STMT_init_box to typestate pass. | Graydon Hoare | -1/+8 |
| 2010-07-01 | Simplify types before analyzing call structure; 2 more tests compile. | Graydon Hoare | -4/+6 |
| 2010-07-01 | Add machine-dependent 'float' type. | Graydon Hoare | -0/+3 |
| 2010-07-01 | Fix lexer's definition of numeric literals. | Graydon Hoare | -4/+5 |
| 2010-07-01 | Fix two bugs in tag patterns: 1. Look up the tag constructor function item us... | Roy Frostig | -10/+10 |
| 2010-06-30 | Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ke... | Graydon Hoare | -197/+195 |
| 2010-06-30 | Auto-deref on lval-ext terms (x.y == x->y, if you like) | Graydon Hoare | -1/+1 |
| 2010-06-30 | De-duplicate code in get_resolved_ty, make recursive, add a case for tup. | Graydon Hoare | -28/+9 |
| 2010-06-30 | Add two move variants of "acceptable mismatches to recover from" when the mut... | Graydon Hoare | -0/+16 |
| 2010-06-30 | Add relaxed init-context in which we're willing to auto-deref. | Graydon Hoare | -5/+10 |
| 2010-06-30 | Add TYSPEC_mutable, merge control-flag for it and auto_deref into unify_ctx s... | Graydon Hoare | -172/+263 |
| 2010-06-30 | Make type-cast decisions based on simplified types. | Graydon Hoare | -0/+1 |
| 2010-06-30 | Fix another type bug I introduced yesterday; found through wondrous logging t... | Graydon Hoare | -1/+1 |
| 2010-06-30 | Improve logging in type. | Graydon Hoare | -1/+1 |
| 2010-06-30 | Pick out error in type due to delightfully clear logging. | Graydon Hoare | -1/+1 |
| 2010-06-30 | Improve logging in type.ml, give it indentation and per-statement context. | Graydon Hoare | -10/+25 |
| 2010-06-30 | Fix recently-broken lval formatter. | Graydon Hoare | -0/+2 |
| 2010-06-30 | Add support for parsing COMP_deref lval components (*foo). | Graydon Hoare | -0/+13 |
| 2010-06-30 | Fix formatting string. | Graydon Hoare | -1/+1 |
| 2010-06-30 | Add a COMP_deref to lvals for explicit-derefs, modify typechecker to implicit... | Graydon Hoare | -155/+224 |
| 2010-06-30 | Tidy up (I think) a couple typos from patrick's last commit. | Graydon Hoare | -5/+5 |
| 2010-06-30 | Improve error message. | Graydon Hoare | -2/+1 |
| 2010-06-30 | Remove redundant (and misnamed) function "without_exterior" in trans. | Graydon Hoare | -11/+3 |
| 2010-06-30 | Reimplement backup scheme for handling lvals not yet resolved by typechecker. | Graydon Hoare | -15/+38 |
| 2010-06-30 | Init the exterior ty, not the inner ty. | Graydon Hoare | -2/+2 |
| 2010-06-30 | Fix error-message typo. | Graydon Hoare | -1/+1 |
| 2010-06-30 | Use simplified_ty in effect. | Graydon Hoare | -1/+1 |
| 2010-06-30 | Move simplified_ty from trans to semant and use it a few places. | Graydon Hoare | -12/+12 |
| 2010-06-30 | Add logging to type and effect. | Graydon Hoare | -0/+12 |
| 2010-06-30 | Fix exterior formatter. | Graydon Hoare | -1/+1 |
| 2010-06-30 | Get compiler to the point of building std.rc and rustc.rc. | Graydon Hoare | -3/+11 |
| 2010-06-30 | Handle constrained types in type.ml while we're at it. | Graydon Hoare | -0/+3 |
| 2010-06-30 | Wrap long lines. | Graydon Hoare | -4/+9 |
| 2010-06-29 | Teach the typechecker about the auto-dereference and auto-promote-to-mutable ... | Patrick Walton | -224/+213 |
| 2010-06-29 | Different, not quite correct yet, but I think slightly closer to correct, app... | Graydon Hoare | -33/+45 |
| 2010-06-29 | Thread a 'simplification' flag through unifier, attempt to strip off layers o... | Graydon Hoare | -134/+149 |
| 2010-06-29 | Update LLVM translation to match changes to slot and ty. | Graydon Hoare | -16/+23 |
| 2010-06-29 | Initial stab at lowering mutable and exterior into the type system. | Graydon Hoare | -904/+937 |
| 2010-06-29 | Fix underlying failure to signal errors when dep'ing. | Graydon Hoare | -6/+8 |
| 2010-06-28 | Canonicalize hashtables after running them through htab_map. Closes #77. | Graydon Hoare | -13/+19 |
| 2010-06-28 | Whitespace. | Graydon Hoare | -1/+1 |
| 2010-06-28 | Move more of the GC logic into the runtime. | Graydon Hoare | -184/+82 |
| 2010-06-28 | Teach the typechecker that uints are integral types. Closes #88. | Roy Frostig | -1/+1 |
