aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me/trans.ml
Commit message (Collapse)AuthorAgeFilesLines
* Use typed slot rather than AST slot in trans_for_loop.Graydon Hoare2010-07-051-3/+4
|
* Fix rec-extend.rs test.Graydon Hoare2010-07-041-7/+11
|
* Comment-out glue interrupt-flag test; unclear why it breaks, but glue ↵Graydon Hoare2010-07-041-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 Hoare2010-07-041-1/+1
| | | | obj-with-vec.rs).
* Fix bug crashing valgrind in obj-recursion.rs.Graydon Hoare2010-07-041-1/+1
|
* Improve logging in drop paths.Graydon Hoare2010-07-041-10/+20
|
* More corrections to drop/free path to accommodate TY_box.Graydon Hoare2010-07-031-37/+41
|
* Deja vu all over again. Something makes me think this is a usability hazard.Graydon Hoare2010-07-021-3/+6
|
* You may get the feeling that all these changes look eerily the same. You ↵Graydon Hoare2010-07-021-2/+3
| | | | would be correct.
* Simplify type before deciding how to free it. Hint: calling free() on a ↵Graydon Hoare2010-07-021-1/+1
| | | | running task is usually a bad idea.
* Fix bug in clone logic; was ignoring the mutability-strip step in later rule.Graydon Hoare2010-07-021-21/+22
|
* Teach severing logic to handle obj and fn types.Graydon Hoare2010-07-021-15/+28
|
* Trace mark and sever steps in GC.Graydon Hoare2010-07-021-2/+6
|
* Walk (mut/constr stripped) TY_iso edges when boxed. Fault on non-boxed ↵Graydon Hoare2010-07-021-5/+6
| | | | edges; they should not have made it past resolve.
* Correct drop-ty path; many tests now run.Graydon Hoare2010-07-021-11/+5
|
* Improve drop-path logging and simplify box_rc_cell.Graydon Hoare2010-07-021-5/+14
|
* Wrap long lines.Graydon Hoare2010-07-011-2/+6
|
* Yeah. Not even a semantic mix-up: just a damn typo.Graydon Hoare2010-07-011-1/+1
|
* Teach clone_ty to tolerate cloning a mutable (though not state) type.Graydon Hoare2010-07-011-1/+1
|
* Retire defunct copy_ty in favour of trans_copy_ty, which invokes the same ↵Graydon Hoare2010-07-011-71/+60
| | | | logic at the bottom.
* 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
|
* Check the simplified type used in check-expr in trans.Graydon Hoare2010-07-011-1/+1
|
* Convey auto-deref judgments made in typechecker to trans layer; control the ↵Graydon Hoare2010-07-011-3/+14
| | | | decision in one place.
* Some work on teaching trans to differentiate between auto-deref and ↵Graydon Hoare2010-07-011-33/+73
| | | | 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-011-7/+11
|
* Simplify types before analyzing call structure; 2 more tests compile.Graydon Hoare2010-07-011-2/+2
|
* Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ↵Graydon Hoare2010-06-301-57/+56
| | | | keep MEM_interior for describing interior-parts-of-allocations)
* Make type-cast decisions based on simplified types.Graydon Hoare2010-06-301-0/+1
|
* Remove redundant (and misnamed) function "without_exterior" in trans.Graydon Hoare2010-06-301-11/+3
|
* Init the exterior ty, not the inner ty.Graydon Hoare2010-06-301-2/+2
|
* Move simplified_ty from trans to semant and use it a few places.Graydon Hoare2010-06-301-11/+4
|
* Get compiler to the point of building std.rc and rustc.rc.Graydon Hoare2010-06-301-3/+11
|
* Teach the typechecker about the auto-dereference and auto-promote-to-mutable ↵Patrick Walton2010-06-291-1/+0
| | | | semantics we're going with
* Initial stab at lowering mutable and exterior into the type system.Graydon Hoare2010-06-291-540/+510
|
* Move more of the GC logic into the runtime.Graydon Hoare2010-06-281-183/+81
|
* Some fixme-to-issue housekeeping.Graydon Hoare2010-06-281-47/+47
|
* Only translate or dwarf-emit items or stubs locally defined or used. Avoids ↵Graydon Hoare2010-06-271-8/+11
| | | | instantiating O(sizeof(standard-library)) worth of imports stubs on each 'use std'. Closes issue 13.
* Improve sever_slot logging.Graydon Hoare2010-06-251-4/+2
|
* Fix copy-paste error in logging function.Graydon Hoare2010-06-251-2/+2
|
* Add sever-glue, for missing first stage of sweep.Graydon Hoare2010-06-251-0/+66
|
* Align emitted DATA_* elements -- tydescs in particular -- to 16 byte ↵Graydon Hoare2010-06-251-2/+5
| | | | boundaries, so we can get our tag bit freed up.
* Fix marking logic.Graydon Hoare2010-06-251-5/+7
|
* Emit gc glue and rearrange crate glue offsets slightly to have a regular order.Graydon Hoare2010-06-251-2/+7
|
* Unlink (doubly) gc chain on free.Graydon Hoare2010-06-251-7/+33
|
* Doubly-link gc chain on alloc.Graydon Hoare2010-06-251-5/+23
|
* Revert "Add intrinsic calling convention." Isn't going to work.Graydon Hoare2010-06-251-10/+2
| | | | This reverts commit 72c6c60d80cdfe63af5046a1a98549f0515734f2.
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-20 17:17:55 +0000