about summary refs log tree commit diff
path: root/src/boot/me/resolve.ml
AgeCommit message (Expand)AuthorLines
2011-03-25Another go at changing compile-command, this time using RBUILD env var.Graydon Hoare-1/+1
2011-03-25Revert "Bulk-edit compile commands in emacs chatter to point to assumed build...Graydon Hoare-1/+1
2011-03-25Bulk-edit compile commands in emacs chatter to point to assumed build/ dir of...Graydon Hoare-1/+1
2011-01-12Wrap long line.Graydon Hoare-2/+3
2011-01-12Guard a bunch more logging calls. Cut 10s off rustc compile time.Graydon Hoare-13/+25
2010-11-05rustboot: If something that wasn't a type was found where a type was expected...Patrick Walton-1/+1
2010-11-05rustboot: Report cyclic import errors at the right locationPatrick Walton-1/+1
2010-11-03rustboot: When resolving recursively, build up error messages recursively as ...Patrick Walton-25/+35
2010-11-03rustboot: Say exactly which name was unbound when reporting unbound name errorsPatrick Walton-8/+15
2010-10-27rustboot: Emit an error message instead of asserting on a type-param mismatch...Patrick Walton-2/+2
2010-10-26rustboot: For error reporting, map tag IDs to *tag* names, not to tag *varian...Patrick Walton-4/+5
2010-10-26rustboot: Use a less hacky method to report tag names in error messages, whic...Patrick Walton-2/+4
2010-10-25Thread a source location though for type error reporting instead of the awful...Patrick Walton-10/+11
2010-10-22rustboot: If the user tries to instantiate a non-parametric type with type pa...Patrick Walton-1/+5
2010-10-21Use "friendly" type names when reporting a "mismatched type-params" errorPatrick Walton-14/+5
2010-10-15Encode and decode tag types in dwarf properly. Add list module to std. Shift ...Graydon Hoare-2/+6
2010-10-13Move the friendly-names table to semant, reuse it in the name mangler.Graydon Hoare-0/+12
2010-10-12Git index wins again.Graydon Hoare-8/+12
2010-10-12Changes to make rustboot compile on OCaml 3.12Graydon Hoare-8/+8
2010-10-09More type-fold caches, shave another second off compile time.Graydon Hoare-0/+1
2010-10-08Add a tag cache for the cases we can't avoid hitting fold; cut rustc compile ...Graydon Hoare-1/+3
2010-10-08Add -lpath mechanism for logging only a subset of a pass (by module-path prefix)Graydon Hoare-12/+10
2010-09-20Bind pattern slots with ?, drop parens from 0-ary tag constructors, translate...Graydon Hoare-1/+3
2010-09-20Use name_base in plval base.Graydon Hoare-5/+5
2010-09-16Resolve plvals to their defns.Graydon Hoare-1/+37
2010-09-16Add a pexp-rebuild phase to the type resolution pass in resolve.ml.Graydon Hoare-0/+44
2010-09-15Add Ast.ATOM_pexp and -pexp mode wherein pexps live beyond parsing, into late...Graydon Hoare-0/+3
2010-09-09Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly wo...Graydon Hoare-340/+67
2010-08-27Make pattern-alt drop the slots it initializes when binding slot patterns. U...Roy Frostig-2/+3
2010-08-19Fix a bunch of typestate bugs in handling if and while statement wirings.Graydon Hoare-0/+1
2010-07-27Distill semantics of use-def maps to fewer and more-obvious words.Graydon Hoare-12/+12
2010-07-14Minimize pointless logging during walk.Graydon Hoare-8/+8
2010-07-08Add detection for cyclic imports.Graydon Hoare-3/+3
2010-07-02Merge branch 'master' of git@github.com:graydon/rust into exterior_and_mutabl...Graydon Hoare-1/+1
2010-07-02Parse effect-qualified type definitions.Graydon Hoare-4/+4
2010-07-01Fix two bugs in tag patterns: 1. Look up the tag constructor function item us...Roy Frostig-1/+1
2010-06-30Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ke...Graydon Hoare-1/+1
2010-06-30Add a COMP_deref to lvals for explicit-derefs, modify typechecker to implicit...Graydon Hoare-1/+2
2010-06-28Whitespace.Graydon Hoare-1/+1
2010-06-28Some fixme-to-issue housekeeping.Graydon Hoare-21/+19
2010-06-27Once more with feeling. Closes #13.Graydon Hoare-1/+0
2010-06-27Previous commit closes #13. Trying to convince github of that fact automagica...Graydon Hoare-0/+1
2010-06-27Only translate or dwarf-emit items or stubs locally defined or used. Avoids i...Graydon Hoare-4/+83
2010-06-25Resolve and typecheck patterns in pattern alt redux. This time featuring way...Roy Frostig-31/+32
2010-06-24Add fmt module, move out some common format helpers, add instruction-selectio...Graydon Hoare-3/+3
2010-06-24Resolve and typecheck patterns in pattern alt.Roy Frostig-18/+51
2010-06-23Populate tree.Graydon Hoare-0/+959