| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | 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 | |
| | | ||||||
| * | Desugar the head stmts all the way out of STMT_for, rather than stashing ↵ | Graydon Hoare | 2010-07-13 | 4 | -6/+4 | |
| | | | | | them in the node. That's only necessary for STMT_while. | |||||
| * | Revert previous wrong-change on issue #106; was papering over wrongness in ↵ | Graydon Hoare | 2010-07-12 | 1 | -4/+12 | |
| | | | | | the runtime. Sad times. Closes #106 more correctly (and adds comment to explain). | |||||
| * | Add more tracing code to trans for refcount events. | Graydon Hoare | 2010-07-12 | 1 | -7/+26 | |
| | | ||||||
| * | Fix post-stmt drop calculations. Closes #106. | Graydon Hoare | 2010-07-11 | 1 | -10/+30 | |
| | | ||||||
| * | Catch cyclic imports harder. Add 2 tests to confirm. | Graydon Hoare | 2010-07-09 | 1 | -11/+14 | |
| | | ||||||
| * | Encode and decode DW_AT_rust_iterator on DW_TAG_subprogram DIEs. | Graydon Hoare | 2010-07-08 | 1 | -2/+8 | |
| | | ||||||
| * | Add detection for cyclic imports. | Graydon Hoare | 2010-07-08 | 4 | -14/+27 | |
| | | ||||||
| * | Build fix from jmuizelaar (on ocamlc versions that notice this bug; drat, ↵ | Graydon Hoare | 2010-07-08 | 3 | -4/+4 | |
| | | | | | not all do) | |||||
| * | Numerous bug fixes to typestate algorithm. | Graydon Hoare | 2010-07-06 | 1 | -83/+116 | |
| | | ||||||
| * | Correct flow-graph wiring for STMT_if. | Graydon Hoare | 2010-07-06 | 1 | -23/+64 | |
| | | ||||||
| * | Wrap long line. | Graydon Hoare | 2010-07-06 | 1 | -1/+3 | |
| | | ||||||
| * | Add init(arg) to STMT_call precondition for each arg. | Graydon Hoare | 2010-07-06 | 1 | -2/+11 | |
| | | ||||||
| * | Use typed slot rather than AST slot in trans_for_loop. | Graydon Hoare | 2010-07-05 | 1 | -3/+4 | |
| | | ||||||
| * | Teach the dwarf readers to handle udata, so we can link with util.option; ↵ | Graydon Hoare | 2010-07-05 | 1 | -0/+1 | |
| | | | | | add util.rs to std.rc. | |||||
| * | Fix generic-derived-type.rs and generic-obj-with-derived-type.rs. | Graydon Hoare | 2010-07-04 | 1 | -1/+1 | |
| | | ||||||
| * | Improve type.ml logging. | Graydon Hoare | 2010-07-04 | 1 | -1/+2 | |
| | | ||||||
| * | Fix rec-extend.rs test. | Graydon Hoare | 2010-07-04 | 1 | -7/+11 | |
| | | ||||||
| * | Fix compile-fail/log-type-error.rs. | Graydon Hoare | 2010-07-04 | 1 | -1/+3 | |
| | | ||||||
| * | Comment-out glue interrupt-flag test; unclear why it breaks, but glue ↵ | Graydon Hoare | 2010-07-04 | 1 | -1/+4 | |
| | | | | | call-tree is always finite anyways so not a big deal for now. | |||||
| * | Spill immediates with proper IL type (was making valgrind dislike ↵ | Graydon Hoare | 2010-07-04 | 1 | -1/+1 | |
| | | | | | obj-with-vec.rs). | |||||
| * | Fix bug crashing valgrind in obj-recursion.rs. | Graydon Hoare | 2010-07-04 | 1 | -1/+1 | |
| | | ||||||
| * | Improve logging in drop paths. | Graydon Hoare | 2010-07-04 | 1 | -10/+20 | |
| | | ||||||
| * | More corrections to drop/free path to accommodate TY_box. | Graydon Hoare | 2010-07-03 | 1 | -37/+41 | |
| | | ||||||
| * | Add version-stamp machinery (and put "Draft + datestamp" into doc footer). | Graydon Hoare | 2010-07-03 | 1 | -1/+1 | |
| | | ||||||
| * | Deja vu all over again. Something makes me think this is a usability hazard. | Graydon Hoare | 2010-07-02 | 1 | -3/+6 | |
| | | ||||||