aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me/semant.ml
Commit message (Collapse)AuthorAgeFilesLines
* Improve error message.Graydon Hoare2010-06-301-2/+1
|
* Reimplement backup scheme for handling lvals not yet resolved by typechecker.Graydon Hoare2010-06-301-15/+38
|
* Fix error-message typo.Graydon Hoare2010-06-301-1/+1
|
* Move simplified_ty from trans to semant and use it a few places.Graydon Hoare2010-06-301-1/+8
|
* Wrap long lines.Graydon Hoare2010-06-301-1/+4
|
* Initial stab at lowering mutable and exterior into the type system.Graydon Hoare2010-06-291-78/+93
|
* Canonicalize hashtables after running them through htab_map. Closes #77.Graydon Hoare2010-06-281-11/+3
|
* Some fixme-to-issue housekeeping.Graydon Hoare2010-06-281-13/+11
|
* Only translate or dwarf-emit items or stubs locally defined or used. Avoids ↵Graydon Hoare2010-06-271-11/+134
| | | | instantiating O(sizeof(standard-library)) worth of imports stubs on each 'use std'. Closes issue 13.
* Add sever-glue, for missing first stage of sweep.Graydon Hoare2010-06-251-13/+16
|
* Emit gc glue and rearrange crate glue offsets slightly to have a regular order.Graydon Hoare2010-06-251-0/+4
|
* Resolve and typecheck patterns in pattern alt redux. This time featuring ↵Roy Frostig2010-06-251-9/+38
| | | | way more correctness.
* Fix output-slot handling for real. It's been broken for a long time.Graydon Hoare2010-06-241-3/+3
|
* Add fmt module, move out some common format helpers, add ↵Graydon Hoare2010-06-241-1/+1
| | | | instruction-selection tracing and make selection use queues rather than list refs.
* Resolve and typecheck patterns in pattern alt.Roy Frostig2010-06-241-0/+23
|
* Populate tree.Graydon Hoare2010-06-231-0/+1969