aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me/resolve.ml
Commit message (Collapse)AuthorAgeFilesLines
* Distill semantics of use-def maps to fewer and more-obvious words.Graydon Hoare2010-07-271-12/+12
| | | | | | | - 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.
* Minimize pointless logging during walk.Graydon Hoare2010-07-141-8/+8
|
* Add detection for cyclic imports.Graydon Hoare2010-07-081-3/+3
|
* Merge branch 'master' of [email protected]:graydon/rust into ↵Graydon Hoare2010-07-021-1/+1
|\ | | | | | | exterior_and_mutable_types
| * Fix two bugs in tag patterns: 1. Look up the tag constructor function item ↵Roy Frostig2010-07-011-1/+1
| | | | | | | | using lval_item, not lval_to_referent; 2. Correct the form of the name used to query the tag or iso ty_tag when obtaining the corresponding type tuple.
* | Parse effect-qualified type definitions.Graydon Hoare2010-07-021-4/+4
| |
* | Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ↵Graydon Hoare2010-06-301-1/+1
| | | | | | | | keep MEM_interior for describing interior-parts-of-allocations)
* | Add a COMP_deref to lvals for explicit-derefs, modify typechecker to ↵Graydon Hoare2010-06-301-1/+2
|/ | | | implicitly deref in only *some* contexts.
* Whitespace.Graydon Hoare2010-06-281-1/+1
|
* Some fixme-to-issue housekeeping.Graydon Hoare2010-06-281-21/+19
|
* Once more with feeling. Closes #13.Graydon Hoare2010-06-271-1/+0
|
* Previous commit closes #13. Trying to convince github of that fact ↵Graydon Hoare2010-06-271-0/+1
| | | | automagically.
* Only translate or dwarf-emit items or stubs locally defined or used. Avoids ↵Graydon Hoare2010-06-271-4/+83
| | | | instantiating O(sizeof(standard-library)) worth of imports stubs on each 'use std'. Closes issue 13.
* Resolve and typecheck patterns in pattern alt redux. This time featuring ↵Roy Frostig2010-06-251-31/+32
| | | | way more correctness.
* Add fmt module, move out some common format helpers, add ↵Graydon Hoare2010-06-241-3/+3
| | | | instruction-selection tracing and make selection use queues rather than list refs.
* Resolve and typecheck patterns in pattern alt.Roy Frostig2010-06-241-18/+51
|
* Populate tree.Graydon Hoare2010-06-231-0/+959