aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me/resolve.ml
Commit message (Expand)AuthorAgeFilesLines
* Wrap long line.Graydon Hoare2011-01-121-2/+3
* Guard a bunch more logging calls. Cut 10s off rustc compile time.Graydon Hoare2011-01-121-13/+25
* rustboot: If something that wasn't a type was found where a type was expected...Patrick Walton2010-11-051-1/+1
* rustboot: Report cyclic import errors at the right locationPatrick Walton2010-11-051-1/+1
* rustboot: When resolving recursively, build up error messages recursively as ...Patrick Walton2010-11-031-25/+35
* rustboot: Say exactly which name was unbound when reporting unbound name errorsPatrick Walton2010-11-031-8/+15
* rustboot: Emit an error message instead of asserting on a type-param mismatch...Patrick Walton2010-10-271-2/+2
* rustboot: For error reporting, map tag IDs to *tag* names, not to tag *varian...Patrick Walton2010-10-261-4/+5
* rustboot: Use a less hacky method to report tag names in error messages, whic...Patrick Walton2010-10-261-2/+4
* Thread a source location though for type error reporting instead of the awful...Patrick Walton2010-10-251-10/+11
* rustboot: If the user tries to instantiate a non-parametric type with type pa...Patrick Walton2010-10-221-1/+5
* Use "friendly" type names when reporting a "mismatched type-params" errorPatrick Walton2010-10-211-14/+5
* Encode and decode tag types in dwarf properly. Add list module to std. Shift ...Graydon Hoare2010-10-151-2/+6
* Move the friendly-names table to semant, reuse it in the name mangler.Graydon Hoare2010-10-131-0/+12
* Git index wins again.Graydon Hoare2010-10-121-8/+12
* Changes to make rustboot compile on OCaml 3.12Graydon Hoare2010-10-121-8/+8
* More type-fold caches, shave another second off compile time.Graydon Hoare2010-10-091-0/+1
* Add a tag cache for the cases we can't avoid hitting fold; cut rustc compile ...Graydon Hoare2010-10-081-1/+3
* Add -lpath mechanism for logging only a subset of a pass (by module-path prefix)Graydon Hoare2010-10-081-12/+10
* Bind pattern slots with ?, drop parens from 0-ary tag constructors, translate...Graydon Hoare2010-09-201-1/+3
* Use name_base in plval base.Graydon Hoare2010-09-201-5/+5
* Resolve plvals to their defns.Graydon Hoare2010-09-161-1/+37
* Add a pexp-rebuild phase to the type resolution pass in resolve.ml.Graydon Hoare2010-09-161-0/+44
* Add Ast.ATOM_pexp and -pexp mode wherein pexps live beyond parsing, into late...Graydon Hoare2010-09-151-0/+3
* Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly wo...Graydon Hoare2010-09-091-340/+67
* Make pattern-alt drop the slots it initializes when binding slot patterns. U...Roy Frostig2010-08-271-2/+3
* Fix a bunch of typestate bugs in handling if and while statement wirings.Graydon Hoare2010-08-191-0/+1
* Distill semantics of use-def maps to fewer and more-obvious words.Graydon Hoare2010-07-271-12/+12
* 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 exterior_and_mutabl...Graydon Hoare2010-07-021-1/+1
|\
| * Fix two bugs in tag patterns: 1. Look up the tag constructor function item us...Roy Frostig2010-07-011-1/+1
* | Parse effect-qualified type definitions.Graydon Hoare2010-07-021-4/+4
* | Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ke...Graydon Hoare2010-06-301-1/+1
* | Add a COMP_deref to lvals for explicit-derefs, modify typechecker to implicit...Graydon Hoare2010-06-301-1/+2
|/
* 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 automagica...Graydon Hoare2010-06-271-0/+1
* Only translate or dwarf-emit items or stubs locally defined or used. Avoids i...Graydon Hoare2010-06-271-4/+83
* Resolve and typecheck patterns in pattern alt redux. This time featuring way...Roy Frostig2010-06-251-31/+32
* Add fmt module, move out some common format helpers, add instruction-selectio...Graydon Hoare2010-06-241-3/+3
* Resolve and typecheck patterns in pattern alt.Roy Frostig2010-06-241-18/+51
* Populate tree.Graydon Hoare2010-06-231-0/+959