| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Add log_err to rustboot | Marijn Haverbeke | 2011-04-19 | 1 | -1/+1 |
| * | 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 build... | Graydon Hoare | 2011-03-25 | 1 | -1/+1 |
| * | Bulk-edit compile commands in emacs chatter to point to assumed build/ dir of... | Graydon Hoare | 2011-03-25 | 1 | -1/+1 |
| * | Switch all vases of vec += elt to vec += vec. Prohibit former in rustboot. Tw... | Graydon Hoare | 2011-03-16 | 1 | -3/+1 |
| * | Change mutability into a type constructor. | Graydon Hoare | 2010-11-29 | 1 | -0/+7 |
| * | rustboot: Don't use walk to traverse statements in type.ml; fixes redundant c... | Patrick Walton | 2010-11-18 | 1 | -54/+59 |
| * | rustboot: Emit an error instead of asserting in trans when a T is passed by v... | Patrick Walton | 2010-10-28 | 1 | -1/+20 |
| * | Revert "rustboot: Emit an error instead of asserting in trans when a T is pas... | Patrick Walton | 2010-10-28 | 1 | -20/+1 |
| * | rustboot: Emit an error instead of asserting in trans when a T is passed by v... | Patrick Walton | 2010-10-28 | 1 | -1/+20 |
| * | Emit a sensible error message if one or more of the parameters isn't enough c... | Patrick Walton | 2010-10-27 | 1 | -4/+9 |
| * | Move the "friendly" type printer to semant | Patrick Walton | 2010-10-20 | 1 | -87/+13 |
| * | Eliminate <tag#> stuff from the "friendly" type errors | Patrick Walton | 2010-10-20 | 1 | -0/+33 |
| * | Make type errors in rustboot report the friendly type of both expected and ac... | Graydon Hoare | 2010-10-18 | 1 | -2/+4 |
| * | Fix typos in Type.friendly_stringify. | Graydon Hoare | 2010-10-14 | 1 | -3/+3 |
| * | Typecheck tags in "alt" patterns | Patrick Walton | 2010-10-14 | 1 | -0/+2 |
| * | Move the friendly-names table to semant, reuse it in the name mangler. | Graydon Hoare | 2010-10-13 | 1 | -15/+1 |
| * | Use "friendly" types throughout the typechecker | Patrick Walton | 2010-10-13 | 1 | -38/+40 |
| * | Use the user-defined type aliases when reporting type errors | Patrick Walton | 2010-10-13 | 1 | -21/+71 |
| * | Git index wins again. | Graydon Hoare | 2010-10-12 | 1 | -15/+27 |
| * | Changes to make rustboot compile on OCaml 3.12 | Graydon Hoare | 2010-10-12 | 1 | -3/+3 |
| * | Add -lpath mechanism for logging only a subset of a pass (by module-path prefix) | Graydon Hoare | 2010-10-08 | 1 | -4/+3 |
| * | Simplify type-mismatch messages. | Graydon Hoare | 2010-10-07 | 1 | -5/+158 |
| * | implemented break for while-loop case | Or Brostovski | 2010-09-30 | 1 | -1/+3 |
| * | Allow tag recursion through vectors as well as boxes | Patrick Walton | 2010-09-29 | 1 | -1/+1 |
| * | Resolve constant types through to their definitions. | Graydon Hoare | 2010-09-23 | 1 | -1/+3 |
| * | Revert "Make recursive type verification logic better by allowing it to see t... | Graydon Hoare | 2010-09-22 | 1 | -1/+1 |
| * | Make recursive type verification logic better by allowing it to see through m... | Patrick Walton | 2010-09-21 | 1 | -1/+1 |
| * | Bind pattern slots with ?, drop parens from 0-ary tag constructors, translate... | Graydon Hoare | 2010-09-20 | 1 | -0/+2 |
| * | Check for infinitely sized tags. Un-XFAIL test/compile-fail/infinite-tag-type... | Patrick Walton | 2010-09-16 | 1 | -1/+73 |
| * | Actually build the graph properly. Oops. | Patrick Walton | 2010-09-16 | 1 | -1/+1 |
| * | Create tag nodes for all the tags beforehand | Patrick Walton | 2010-09-16 | 1 | -8/+15 |
| * | Populate the tag containment relation | Patrick Walton | 2010-09-16 | 1 | -0/+37 |
| * | Switch the "expected" and "actual" types for function parameter mismatches | Patrick Walton | 2010-09-16 | 1 | -1/+1 |
| * | Not finding a name in a module isn't a bug, it's an error. Report it as such. | Patrick Walton | 2010-09-16 | 1 | -3/+3 |
| * | Add Ast.ATOM_pexp and -pexp mode wherein pexps live beyond parsing, into late... | Graydon Hoare | 2010-09-15 | 1 | -0/+1 |
| * | Teach front-end about simple, first-cut version of const items. | Graydon Hoare | 2010-09-14 | 1 | -0/+1 |
| * | Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly wo... | Graydon Hoare | 2010-09-09 | 1 | -1/+2 |
| * | Add automatic parameter instantiation. Closes #45. | Patrick Walton | 2010-08-26 | 1 | -8/+31 |
| * | Add a "param handler" to demand_fn for use in automatic type parameter instan... | Patrick Walton | 2010-08-26 | 1 | -12/+18 |
| * | Tiny style cleanup in a pattern match in type.ml | Patrick Walton | 2010-08-26 | 1 | -1/+1 |
| * | Typecheck function patterns | Patrick Walton | 2010-08-25 | 1 | -9/+14 |
| * | Introduce "type patterns" to the typechecker in preparation for function type... | Patrick Walton | 2010-08-25 | 1 | -36/+51 |
| * | Remove obsolete TODO about checking for return statements | Patrick Walton | 2010-08-24 | 1 | -2/+0 |
| * | Support single-element append on vec, str. Closes #44. | Graydon Hoare | 2010-08-20 | 1 | -0/+21 |
| * | Add support for casting native types. | Graydon Hoare | 2010-08-18 | 1 | -6/+8 |
| * | Add names to tasks and domains. These can either be an explicit literal string | Jeffrey Yasskin | 2010-08-09 | 1 | -1/+1 |
| * | Move 'as' precedence up to just above relational; support indexing str and ve... | Graydon Hoare | 2010-08-05 | 1 | -4/+5 |
| * | Thread argument-types down to internal_check_outer_lval in type.ml, in prepar... | Graydon Hoare | 2010-08-04 | 1 | -9/+16 |
| * | Switch machine-type lexemes to use suffixes. Remove support for foo(bar) as a... | Graydon Hoare | 2010-07-27 | 1 | -1/+1 |