| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Get slots in trans_tag using Semant tables. Closes #133. | Roy Frostig | 2010-07-28 | 1 | -5/+10 |
| | | |||||
| * | Test the deque a bit. Give it a get-by-index method. Fix two uncovered ↵ | Roy Frostig | 2010-07-28 | 2 | -6/+32 |
| | | | | | state-calculation bugs --- one decently, the other with an ugly hack. Bug on the latter coming right up. | ||||
| * | Switch machine-type lexemes to use suffixes. Remove support for foo(bar) as ↵ | Graydon Hoare | 2010-07-27 | 3 | -5/+5 |
| | | | | | a cast notation. Closes #129. | ||||
| * | Distill semantics of use-def maps to fewer and more-obvious words. | Graydon Hoare | 2010-07-27 | 9 | -180/+207 |
| | | | | | | | | - Remove redundant uses of 'resolve' and 'referent' in semant. - Use defn, defn_id, lval, lval_base more consistently. - Make associated query functions more consistent. - Closes #127. | ||||
| * | Fix numerous non-linearities and O(sizeof(crate)) issues in typestate ↵ | Graydon Hoare | 2010-07-26 | 2 | -126/+340 |
| | | | | | system's dataflow algorithm. No longer substantial in profile. | ||||
| * | Note the typestate dataflow timing. The culprit is revealed. | Graydon Hoare | 2010-07-26 | 1 | -1/+2 |
| | | |||||
| * | Change ctxt_crate_main to an Ast.name. | Graydon Hoare | 2010-07-26 | 2 | -8/+7 |
| | | |||||
| * | Do some more iflog-guarding. | Graydon Hoare | 2010-07-26 | 1 | -23/+51 |
| | | |||||
| * | Don't write to NULL after calling C natives returning void. | Roy Frostig | 2010-07-25 | 1 | -2/+6 |
| | | |||||
| * | Another quick fix from jmuizelaar for that "some ocaml versions dont't ↵ | Graydon Hoare | 2010-07-23 | 1 | -1/+1 |
| | | | | | notice wrong wildcard count in patterns" bug. | ||||
| * | Improve mutability checking. Closes #118. | Graydon Hoare | 2010-07-23 | 2 | -12/+33 |
| | | |||||
| * | Add test for writing-through-uninit bug (reported on IRC by jrmuizel), plus ↵ | Graydon Hoare | 2010-07-23 | 1 | -1/+20 |
| | | | | | fix in typestate system. | ||||
| * | Stop using project_lval_ty_from_slot for lval_ty; cover residual un-caught ↵ | Graydon Hoare | 2010-07-23 | 2 | -15/+19 |
| | | | | | cases in type.ml. | ||||
| * | Widen write mutability check to cover all writing stmts. | Graydon Hoare | 2010-07-23 | 1 | -10/+22 |
| | | |||||
| * | Include all lval-writing statements in stmt_is_init calculation, not just ↵ | Graydon Hoare | 2010-07-23 | 4 | -15/+15 |
| | | | | | "copy-like". Un-XFAIL generic-tag-alt.rs | ||||
| * | Rename STMT_init_* to STMT_new_*; former name was confusing. | Graydon Hoare | 2010-07-23 | 5 | -94/+82 |
| | | |||||
| * | Notify copy glue of dst-initialization and fix _vec.alloc issues in lib and ↵ | Roy Frostig | 2010-07-22 | 1 | -6/+25 |
| | | | | | runtime. Closes #109. | ||||
| * | A certain incomplete quantity of wrestling with "INIT" statements that don't ↵ | Graydon Hoare | 2010-07-22 | 1 | -28/+76 |
| | | | | | actually initialize. Should probably rename them to MAKE. Anyway, WIP, but two steps forward (and one back). More later. | ||||
| * | Re-classify some err / bug cases as unimpl. Ideally rustboot should never ↵ | Graydon Hoare | 2010-07-22 | 4 | -6/+7 |
| | | | | | produce a backtrace. | ||||
| * | Source FIXME annotations for issue #81 and a correction to STMT_bind fmt. | Roy Frostig | 2010-07-22 | 1 | -1/+4 |
| | | |||||
| * | Add XFAIL'ed test for return-in-iter, call unimpl when we find it. Closes #100. | Graydon Hoare | 2010-07-22 | 1 | -0/+2 |
| | | |||||
| * | Fix mem op= mem bug in trans.ml (via not terribly good fix). Closes #111. | Graydon Hoare | 2010-07-22 | 1 | -1/+8 |
| | | |||||
| * | Make bound functions have the right types | Patrick Walton | 2010-07-20 | 1 | -1/+21 |
| | | |||||
| * | Tidy up handling of unimplemented features. These are expected (if ↵ | Graydon Hoare | 2010-07-20 | 2 | -24/+11 |
| | | | | | undesirable) sorts of error, we should handle better than "backtrace and exit 2". | ||||
| * | Strip off TY_mutables and TY_constraineds when unboxing values during autoderef | Patrick Walton | 2010-07-19 | 1 | -0/+1 |
| | | |||||
| * | ctxt_auto_deref_lval decides whether to autoderef the entire lval, not its base. | Roy Frostig | 2010-07-19 | 1 | -17/+24 |
| | | |||||
| * | Autoderef objects when passing them as implicit (indirect) arg upon ↵ | Roy Frostig | 2010-07-19 | 1 | -2/+11 |
| | | | | | vtbl-dispatch. Add testcase and XFAIL it on LLVM. Closes #112. | ||||
| * | Add a test for an obvious-seeming (but not actually legal) kind of cast ↵ | Graydon Hoare | 2010-07-19 | 1 | -3/+1 |
| | | | | | attempted in issue #115, downgrade bug to an err in type.ml so you get a better message. | ||||
| * | Fix over-optimistic resolution of self-methods within obj scopes. There is ↵ | Graydon Hoare | 2010-07-19 | 1 | -5/+1 |
| | | | | | no such feature in the language at present. Add test to prevent regression. Closes #114. | ||||
| * | Missing semicolon in type.ml, plus test to catch regression. Closes #113. | Graydon Hoare | 2010-07-19 | 1 | -1/+1 |
| | | |||||
| * | Change the body-fetching GEP in mark_ty to be dynamic. Our box may be ↵ | Roy Frostig | 2010-07-19 | 1 | -1/+1 |
| | | | | | parametric. | ||||
| * | Stub an interface to the (as-yet-nonexistent) structural comparison glue in ↵ | Patrick Walton | 2010-07-18 | 1 | -24/+97 |
| | | | | | trans | ||||
| * | Fix IL translation of pattern-alt to allow a value of mutable/constrained ↵ | Roy Frostig | 2010-07-16 | 2 | -6/+7 |
| | | | | | type to be the subject of a pattern-alt. | ||||
| * | Ensure that functions that should return a value do; issue 41 | Patrick Walton | 2010-07-16 | 1 | -6/+32 |
| | | |||||
| * | Feed the correct return type to the typechecker when typechecking objects, ↵ | Patrick Walton | 2010-07-16 | 1 | -14/+24 |
| | | | | | and add a testcase. | ||||
| * | More renaming of GEP offsets in abi/trans. This should settle it. Also, ↵ | Roy Frostig | 2010-07-16 | 1 | -21/+27 |
| | | | | | fix some overenthusiastic renaming in previous commit. | ||||
| * | Clean up nomenclature in the Abi constants brigade. Purge magic GEP numbers ↵ | Roy Frostig | 2010-07-16 | 4 | -56/+91 |
| | | | | | in trans. Adjust obj_closure_rty (and its consumers) to be more explicit about the fact that it is a box. | ||||
| * | Merge branch 'contrib' | Graydon Hoare | 2010-07-15 | 1 | -21/+33 |
| |\ | |||||
| | * | Support nested for-each loops. Closes #79. | Jason Orendorff | 2010-07-16 | 1 | -21/+33 |
| | | | |||||
| * | | Implement the "simple typechecker", which avoids HM inference | Patrick Walton | 2010-07-15 | 1 | -1547/+836 |
| |/ | |||||
| * | Define (in Abi) and use named constants for indices of elements of an obj IL ↵ | Roy Frostig | 2010-07-15 | 1 | -3/+3 |
| | | | | | referent type. | ||||
| * | Make mutability no longer a type constructor | Patrick Walton | 2010-07-15 | 6 | -22/+23 |
| | | |||||
| * | Correct the way we get typarams when dropping an obj type in drop_ty by ↵ | Roy Frostig | 2010-07-15 | 1 | -5/+3 |
| | | | | | using get_tydesc_params. | ||||
| * | Modify copy_fn_args not to bother with dynamic GEP to get the indirect args ↵ | Roy Frostig | 2010-07-15 | 1 | -4/+3 |
| | | | | | cell in a calltup. It's now possible to obtain it with just regular GEP. | ||||
| * | Explicitly provide an optional closure/obj pointer to trans_call_glue so ↵ | Roy Frostig | 2010-07-15 | 1 | -38/+81 |
| | | | | | that it can push one in the right position when calling glue, instead of always pushing a null. As far as I can tell this only affects calls to obj drop glue, since only that makes use of an object binding passed as closure/obj, so pass the binding there as needed. | ||||
| * | Adjust trans_call_glue to push/pop an extra null word implicit arg, in ↵ | Roy Frostig | 2010-07-15 | 1 | -0/+2 |
| | | | | | position of closure/obj pointer. | ||||
| * | Begin moving closure-or-obj pointer out to front of call args by changing ↵ | Roy Frostig | 2010-07-15 | 2 | -3/+4 |
| | | | | | the order within the call-arg tup referent type. This breaks the world quite a bit, since it remains to fix custom call paths: glue, upcalls, natives. | ||||
| * | Make the call args referent type always have a closure word (non-optional, ↵ | Roy Frostig | 2010-07-15 | 1 | -5/+4 |
| | | | | | null in case of no closure) in preparation for shifting it inward from its current position at end-of-call-tup. | ||||
| * | Minimize pointless logging during walk. | Graydon Hoare | 2010-07-14 | 12 | -98/+129 |
| | | |||||
| * | Fix ret/put mis-identification in typechecker. Closes #87. | Graydon Hoare | 2010-07-14 | 1 | -6/+40 |
| | | |||||