aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* | | Reinstate disgusting, filthy workarounds for deriving missing type ↵Graydon Hoare2010-07-011-14/+19
| | | | | | | | | | | | information. It existed before, we will survive if it exists now.
* | | Remove similar over-application of auto-deref from type.Graydon Hoare2010-07-011-7/+7
| | |
* | | Remove too-optimistic (and not harmless) over application of auto-deref in ↵Graydon Hoare2010-07-011-8/+4
| | | | | | | | | | | | trans.
* | | Split out and improve trans_init_box.Graydon Hoare2010-07-011-8/+18
| | |
* | | Add logging to trans_init_slot_from_atom.Graydon Hoare2010-07-011-3/+15
| | |
* | | Catch ast pretty-printer up with init-tup syntax.Graydon Hoare2010-07-011-1/+1
| | |
* | | Fox the clauses that actually satisfy box and mutable constraints; in all ↵Graydon Hoare2010-07-011-14/+10
| | | | | | | | | | | | the confusion I had got those wrong.
* | | Of course, the LHS constraint on an init-box statement is mutable @.Graydon Hoare2010-07-011-2/+2
| | |
* | | Clarify in type logging when we have a constraint vs. a resolved type.Graydon Hoare2010-07-011-4/+10
| | |
* | | Add compile-check target for just attempting to compile, not run, the tests.Graydon Hoare2010-07-011-0/+3
| | |
* | | Correct existing reliance on auto-box / unbox behavior in tests.Graydon Hoare2010-07-012-5/+5
| | |
* | | Box the integer passed to the handle in obj-drop.rs. No more implicit ↵Graydon Hoare2010-07-011-1/+1
| | | | | | | | | | | | arg-boxing.
* | | Establish the box constraint on the dst in STMT_init_box before propagating ↵Graydon Hoare2010-07-011-1/+1
| | | | | | | | | | | | it to the rval.
* | | Remove TYSPEC_loggable. Everything's loggable (or will be, eventually; the ↵Graydon Hoare2010-07-011-53/+5
| | | | | | | | | | | | backend can catch unimplemented cases until then).
* | | Check the simplified type used in check-expr in trans.Graydon Hoare2010-07-011-1/+1
| | |
* | | Extract pattern-slot variables in lval typecheck context (mutable ok).Graydon Hoare2010-07-011-1/+1
| | |
* | | Relax alias-analysis pass to permit literal-aliasing.Graydon Hoare2010-07-011-1/+1
| | |
* | | Remove the catch-all in type.ml, add cases for every stmt (a couple more ↵Graydon Hoare2010-07-011-8/+55
| | | | | | | | | | | | handled; mostly still stubs).
* | | Convey auto-deref judgments made in typechecker to trans layer; control the ↵Graydon Hoare2010-07-013-3/+35
| | | | | | | | | | | | decision in one place.
* | | Correct overzealous bulk-edit to LLVM code.Graydon Hoare2010-07-011-1/+1
| | |
* | | Some work on teaching trans to differentiate between auto-deref and ↵Graydon Hoare2010-07-013-37/+88
| | | | | | | | | | | | explicit-deref contexts.
* | | Add more logging to copy/init paths.Graydon Hoare2010-07-011-12/+27
| | |
* | | Remove redundant indirection-function.Graydon Hoare2010-07-011-4/+2
| | |
* | | Implement STMT_init_box in trans, clean up some of the semant table-accessors.Graydon Hoare2010-07-016-51/+39
| | |
* | | Add STMT_init_box to typestate pass.Graydon Hoare2010-07-011-1/+8
| | |
* | | Simplify types before analyzing call structure; 2 more tests compile.Graydon Hoare2010-07-012-4/+6
| | |
* | | Strip out over-aggressive pagination in manual.Graydon Hoare2010-07-011-83/+0
| | |
* | | I lied; ObjC 2.0 did not actually pick up CLU/Sather iterators. They've been ↵Graydon Hoare2010-07-011-8/+8
| | | | | | | | | | | | dormant since the 90s. Sigh.
* | | Union is a more familiar term than sum.Graydon Hoare2010-07-011-3/+3
| | |
* | | Add machine-dependent 'float' type.Graydon Hoare2010-07-013-4/+21
| | |
* | | Fix lexer's definition of numeric literals.Graydon Hoare2010-07-011-4/+5
| | |
* | | Describe numeric and textual literals better; clean up lexeme descriptions a ↵Graydon Hoare2010-07-011-19/+88
| | | | | | | | | | | | bit.
* | | Modify manual to reflect new box/local terminology and new slot/type roles ↵Graydon Hoare2010-07-011-232/+262
| | | | | | | | | | | | for box and mutable.
* | | Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ↵Graydon Hoare2010-06-3017-200/+198
| | | | | | | | | | | | keep MEM_interior for describing interior-parts-of-allocations)
* | | No more "transplant" behavior in "let @x = y", gotta box explicitly.Graydon Hoare2010-06-301-1/+1
| | |
* | | Auto-deref on lval-ext terms (x.y == x->y, if you like)Graydon Hoare2010-06-301-1/+1
| | |
* | | De-duplicate code in get_resolved_ty, make recursive, add a case for tup.Graydon Hoare2010-06-301-28/+9
| | |
* | | Add two move variants of "acceptable mismatches to recover from" when the ↵Graydon Hoare2010-06-301-0/+16
| | | | | | | | | | | | mut_ok or ext_ok flags are set.
* | | Add relaxed init-context in which we're willing to auto-deref.Graydon Hoare2010-06-301-5/+10
| | |
* | | Add TYSPEC_mutable, merge control-flag for it and auto_deref into unify_ctx ↵Graydon Hoare2010-06-301-172/+263
| | | | | | | | | | | | structure.
* | | Make type-cast decisions based on simplified types.Graydon Hoare2010-06-301-0/+1
| | |
* | | Fix another type bug I introduced yesterday; found through wondrous logging ↵Graydon Hoare2010-06-301-1/+1
| | | | | | | | | | | | technology.
* | | Improve logging in type.Graydon Hoare2010-06-301-1/+1
| | |
* | | Pick out error in type due to delightfully clear logging.Graydon Hoare2010-06-301-1/+1
| | |
* | | Improve logging in type.ml, give it indentation and per-statement context.Graydon Hoare2010-06-302-10/+25
| | |
* | | Fix recently-broken lval formatter.Graydon Hoare2010-06-301-0/+2
| | |
* | | Add support for parsing COMP_deref lval components (*foo).Graydon Hoare2010-06-301-0/+13
| | |
* | | Fix formatting string.Graydon Hoare2010-06-301-1/+1
| | |
* | | Add a COMP_deref to lvals for explicit-derefs, modify typechecker to ↵Graydon Hoare2010-06-304-155/+224
| | | | | | | | | | | | implicitly deref in only *some* contexts.
* | | rewrite 'mutable &' as '& mutable', corresponding to grammar shift.Graydon Hoare2010-06-302-2/+2
| | |
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-19 09:24:24 +0000