| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Correct existing reliance on auto-box / unbox behavior in tests. | Graydon Hoare | 2010-07-01 | 2 | -5/+5 |
| * | Box the integer passed to the handle in obj-drop.rs. No more implicit arg-box... | Graydon Hoare | 2010-07-01 | 1 | -1/+1 |
| * | Establish the box constraint on the dst in STMT_init_box before propagating i... | Graydon Hoare | 2010-07-01 | 1 | -1/+1 |
| * | Remove TYSPEC_loggable. Everything's loggable (or will be, eventually; the ba... | Graydon Hoare | 2010-07-01 | 1 | -53/+5 |
| * | Check the simplified type used in check-expr in trans. | Graydon Hoare | 2010-07-01 | 1 | -1/+1 |
| * | Extract pattern-slot variables in lval typecheck context (mutable ok). | Graydon Hoare | 2010-07-01 | 1 | -1/+1 |
| * | Relax alias-analysis pass to permit literal-aliasing. | Graydon Hoare | 2010-07-01 | 1 | -1/+1 |
| * | Remove the catch-all in type.ml, add cases for every stmt (a couple more hand... | Graydon Hoare | 2010-07-01 | 1 | -8/+55 |
| * | Convey auto-deref judgments made in typechecker to trans layer; control the d... | Graydon Hoare | 2010-07-01 | 3 | -3/+35 |
| * | Correct overzealous bulk-edit to LLVM code. | Graydon Hoare | 2010-07-01 | 1 | -1/+1 |
| * | Some work on teaching trans to differentiate between auto-deref and explicit-... | Graydon Hoare | 2010-07-01 | 3 | -37/+88 |
| * | Add more logging to copy/init paths. | Graydon Hoare | 2010-07-01 | 1 | -12/+27 |
| * | Remove redundant indirection-function. | Graydon Hoare | 2010-07-01 | 1 | -4/+2 |
| * | Implement STMT_init_box in trans, clean up some of the semant table-accessors. | Graydon Hoare | 2010-07-01 | 6 | -51/+39 |
| * | Add STMT_init_box to typestate pass. | Graydon Hoare | 2010-07-01 | 1 | -1/+8 |
| * | Simplify types before analyzing call structure; 2 more tests compile. | Graydon Hoare | 2010-07-01 | 2 | -4/+6 |
| * | Strip out over-aggressive pagination in manual. | Graydon Hoare | 2010-07-01 | 1 | -83/+0 |
| * | I lied; ObjC 2.0 did not actually pick up CLU/Sather iterators. They've been ... | Graydon Hoare | 2010-07-01 | 1 | -8/+8 |
| * | Union is a more familiar term than sum. | Graydon Hoare | 2010-07-01 | 1 | -3/+3 |
| * | Add machine-dependent 'float' type. | Graydon Hoare | 2010-07-01 | 3 | -4/+21 |
| * | Fix lexer's definition of numeric literals. | Graydon Hoare | 2010-07-01 | 1 | -4/+5 |
| * | Describe numeric and textual literals better; clean up lexeme descriptions a ... | Graydon Hoare | 2010-07-01 | 1 | -19/+88 |
| * | Modify manual to reflect new box/local terminology and new slot/type roles fo... | Graydon Hoare | 2010-07-01 | 1 | -232/+262 |
| * | Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ke... | Graydon Hoare | 2010-06-30 | 17 | -200/+198 |
| * | No more "transplant" behavior in "let @x = y", gotta box explicitly. | Graydon Hoare | 2010-06-30 | 1 | -1/+1 |
| * | Auto-deref on lval-ext terms (x.y == x->y, if you like) | Graydon Hoare | 2010-06-30 | 1 | -1/+1 |
| * | De-duplicate code in get_resolved_ty, make recursive, add a case for tup. | Graydon Hoare | 2010-06-30 | 1 | -28/+9 |
| * | Add two move variants of "acceptable mismatches to recover from" when the mut... | Graydon Hoare | 2010-06-30 | 1 | -0/+16 |
| * | Add relaxed init-context in which we're willing to auto-deref. | Graydon Hoare | 2010-06-30 | 1 | -5/+10 |
| * | Add TYSPEC_mutable, merge control-flag for it and auto_deref into unify_ctx s... | Graydon Hoare | 2010-06-30 | 1 | -172/+263 |
| * | Make type-cast decisions based on simplified types. | Graydon Hoare | 2010-06-30 | 1 | -0/+1 |
| * | Fix another type bug I introduced yesterday; found through wondrous logging t... | Graydon Hoare | 2010-06-30 | 1 | -1/+1 |
| * | Improve logging in type. | Graydon Hoare | 2010-06-30 | 1 | -1/+1 |
| * | Pick out error in type due to delightfully clear logging. | Graydon Hoare | 2010-06-30 | 1 | -1/+1 |
| * | Improve logging in type.ml, give it indentation and per-statement context. | Graydon Hoare | 2010-06-30 | 2 | -10/+25 |
| * | Fix recently-broken lval formatter. | Graydon Hoare | 2010-06-30 | 1 | -0/+2 |
| * | Add support for parsing COMP_deref lval components (*foo). | Graydon Hoare | 2010-06-30 | 1 | -0/+13 |
| * | Fix formatting string. | Graydon Hoare | 2010-06-30 | 1 | -1/+1 |
| * | Add a COMP_deref to lvals for explicit-derefs, modify typechecker to implicit... | Graydon Hoare | 2010-06-30 | 4 | -155/+224 |
| * | rewrite 'mutable &' as '& mutable', corresponding to grammar shift. | Graydon Hoare | 2010-06-30 | 2 | -2/+2 |
| * | Tidy up (I think) a couple typos from patrick's last commit. | Graydon Hoare | 2010-06-30 | 1 | -5/+5 |
| * | Improve error message. | Graydon Hoare | 2010-06-30 | 1 | -2/+1 |
| * | Remove redundant (and misnamed) function "without_exterior" in trans. | Graydon Hoare | 2010-06-30 | 1 | -11/+3 |
| * | Reimplement backup scheme for handling lvals not yet resolved by typechecker. | Graydon Hoare | 2010-06-30 | 1 | -15/+38 |
| * | Init the exterior ty, not the inner ty. | Graydon Hoare | 2010-06-30 | 1 | -2/+2 |
| * | Fix error-message typo. | Graydon Hoare | 2010-06-30 | 1 | -1/+1 |
| * | Use simplified_ty in effect. | Graydon Hoare | 2010-06-30 | 1 | -1/+1 |
| * | Move simplified_ty from trans to semant and use it a few places. | Graydon Hoare | 2010-06-30 | 2 | -12/+12 |
| * | Add logging to type and effect. | Graydon Hoare | 2010-06-30 | 2 | -0/+12 |
| * | Fix exterior formatter. | Graydon Hoare | 2010-06-30 | 1 | -1/+1 |