| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Another go at changing compile-command, this time using RBUILD env var. | Graydon Hoare | 2011-03-25 | 1 | -1/+1 |
| | | |||||
| * | Revert "Bulk-edit compile commands in emacs chatter to point to assumed ↵ | Graydon Hoare | 2011-03-25 | 1 | -1/+1 |
| | | | | | | | build/ dir off src root." This reverts commit 846f2e2ba994268725f38c36fa12f1a09f21615c. | ||||
| * | Bulk-edit compile commands in emacs chatter to point to assumed build/ dir ↵ | Graydon Hoare | 2011-03-25 | 1 | -1/+1 |
| | | | | | off src root. | ||||
| * | Wrap long line. | Graydon Hoare | 2011-01-12 | 1 | -2/+3 |
| | | |||||
| * | Guard a bunch more logging calls. Cut 10s off rustc compile time. | Graydon Hoare | 2011-01-12 | 1 | -13/+25 |
| | | |||||
| * | rustboot: If something that wasn't a type was found where a type was ↵ | Patrick Walton | 2010-11-05 | 1 | -1/+1 |
| | | | | | expected, report where the error was | ||||
| * | rustboot: Report cyclic import errors at the right location | Patrick Walton | 2010-11-05 | 1 | -1/+1 |
| | | |||||
| * | rustboot: When resolving recursively, build up error messages recursively as ↵ | Patrick Walton | 2010-11-03 | 1 | -25/+35 |
| | | | | | well | ||||
| * | rustboot: Say exactly which name was unbound when reporting unbound name errors | Patrick Walton | 2010-11-03 | 1 | -8/+15 |
| | | |||||
| * | rustboot: Emit an error message instead of asserting on a type-param ↵ | Patrick Walton | 2010-10-27 | 1 | -2/+2 |
| | | | | | mismatch in tag constructors in patterns | ||||
| * | rustboot: For error reporting, map tag IDs to *tag* names, not to tag ↵ | Patrick Walton | 2010-10-26 | 1 | -4/+5 |
| | | | | | *variant* names | ||||
| * | rustboot: Use a less hacky method to report tag names in error messages, ↵ | Patrick Walton | 2010-10-26 | 1 | -2/+4 |
| | | | | | which works for resolve errors as well | ||||
| * | Thread a source location though for type error reporting instead of the ↵ | Patrick Walton | 2010-10-25 | 1 | -10/+11 |
| | | | | | awful "List.hd scopes" hack | ||||
| * | rustboot: If the user tries to instantiate a non-parametric type with type ↵ | Patrick Walton | 2010-10-22 | 1 | -1/+5 |
| | | | | | parameters, report the location of the error | ||||
| * | Use "friendly" type names when reporting a "mismatched type-params" error | Patrick Walton | 2010-10-21 | 1 | -14/+5 |
| | | |||||
| * | Encode and decode tag types in dwarf properly. Add list module to std. Shift ↵ | Graydon Hoare | 2010-10-15 | 1 | -2/+6 |
| | | | | | rustc to use std.util.option. Fix various dependent bugs. Closes #73. | ||||
| * | Move the friendly-names table to semant, reuse it in the name mangler. | Graydon Hoare | 2010-10-13 | 1 | -0/+12 |
| | | |||||
| * | Git index wins again. | Graydon Hoare | 2010-10-12 | 1 | -8/+12 |
| | | |||||
| * | Changes to make rustboot compile on OCaml 3.12 | Graydon Hoare | 2010-10-12 | 1 | -8/+8 |
| | | |||||
| * | More type-fold caches, shave another second off compile time. | Graydon Hoare | 2010-10-09 | 1 | -0/+1 |
| | | |||||
| * | Add a tag cache for the cases we can't avoid hitting fold; cut rustc compile ↵ | Graydon Hoare | 2010-10-08 | 1 | -1/+3 |
| | | | | | time by 50%. | ||||
| * | Add -lpath mechanism for logging only a subset of a pass (by module-path prefix) | Graydon Hoare | 2010-10-08 | 1 | -12/+10 |
| | | |||||
| * | Bind pattern slots with ?, drop parens from 0-ary tag constructors, ↵ | Graydon Hoare | 2010-09-20 | 1 | -1/+3 |
| | | | | | translate 0-ary constructors as constants. Rustc loses ~300kb. | ||||
| * | Use name_base in plval base. | Graydon Hoare | 2010-09-20 | 1 | -5/+5 |
| | | |||||
| * | Resolve plvals to their defns. | Graydon Hoare | 2010-09-16 | 1 | -1/+37 |
| | | |||||
| * | Add a pexp-rebuild phase to the type resolution pass in resolve.ml. | Graydon Hoare | 2010-09-16 | 1 | -0/+44 |
| | | |||||
| * | Add Ast.ATOM_pexp and -pexp mode wherein pexps live beyond parsing, into ↵ | Graydon Hoare | 2010-09-15 | 1 | -0/+3 |
| | | | | | later stages. Fixes to pexp pretty printer. | ||||
| * | Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly ↵ | Graydon Hoare | 2010-09-09 | 1 | -340/+67 |
| | | | | | work, possibly a little bumpy. Changes a lot. | ||||
| * | Make pattern-alt drop the slots it initializes when binding slot patterns. ↵ | Roy Frostig | 2010-08-27 | 1 | -2/+3 |
| | | | | | Undoes most of the hackiness in 5e77e784f006e36c06252d9beccbd7893eddac73 and replaces it with a more proper fix. | ||||
| * | Fix a bunch of typestate bugs in handling if and while statement wirings. | Graydon Hoare | 2010-08-19 | 1 | -0/+1 |
| | | |||||
| * | Distill semantics of use-def maps to fewer and more-obvious words. | Graydon Hoare | 2010-07-27 | 1 | -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 Hoare | 2010-07-14 | 1 | -8/+8 |
| | | |||||
| * | Add detection for cyclic imports. | Graydon Hoare | 2010-07-08 | 1 | -3/+3 |
| | | |||||
| * | Merge branch 'master' of [email protected]:graydon/rust into ↵ | Graydon Hoare | 2010-07-02 | 1 | -1/+1 |
| |\ | | | | | | | exterior_and_mutable_types | ||||
| | * | Fix two bugs in tag patterns: 1. Look up the tag constructor function item ↵ | Roy Frostig | 2010-07-01 | 1 | -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 Hoare | 2010-07-02 | 1 | -4/+4 |
| | | | |||||
| * | | Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ↵ | Graydon Hoare | 2010-06-30 | 1 | -1/+1 |
| | | | | | | | | | keep MEM_interior for describing interior-parts-of-allocations) | ||||
| * | | Add a COMP_deref to lvals for explicit-derefs, modify typechecker to ↵ | Graydon Hoare | 2010-06-30 | 1 | -1/+2 |
| |/ | | | | implicitly deref in only *some* contexts. | ||||
| * | Whitespace. | Graydon Hoare | 2010-06-28 | 1 | -1/+1 |
| | | |||||
| * | Some fixme-to-issue housekeeping. | Graydon Hoare | 2010-06-28 | 1 | -21/+19 |
| | | |||||
| * | Once more with feeling. Closes #13. | Graydon Hoare | 2010-06-27 | 1 | -1/+0 |
| | | |||||
| * | Previous commit closes #13. Trying to convince github of that fact ↵ | Graydon Hoare | 2010-06-27 | 1 | -0/+1 |
| | | | | | automagically. | ||||
| * | Only translate or dwarf-emit items or stubs locally defined or used. Avoids ↵ | Graydon Hoare | 2010-06-27 | 1 | -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 Frostig | 2010-06-25 | 1 | -31/+32 |
| | | | | | way more correctness. | ||||
| * | Add fmt module, move out some common format helpers, add ↵ | Graydon Hoare | 2010-06-24 | 1 | -3/+3 |
| | | | | | instruction-selection tracing and make selection use queues rather than list refs. | ||||
| * | Resolve and typecheck patterns in pattern alt. | Roy Frostig | 2010-06-24 | 1 | -18/+51 |
| | | |||||
| * | Populate tree. | Graydon Hoare | 2010-06-23 | 1 | -0/+959 |