| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix max_sz bug that ended up causing us to index incorrectly into a vec of ↵ | Roy Frostig | 2010-08-12 | 1 | -1/+1 |
| | | | | | tag types. Add a testcase. | ||||
| * | Tidy up handling of unimplemented features. These are expected (if ↵ | Graydon Hoare | 2010-07-20 | 1 | -1/+8 |
| | | | | | undesirable) sorts of error, we should handle better than "backtrace and exit 2". | ||||
| * | Make the LLVM compiler crash when it hits a source construct it doesn't know | Jeffrey Yasskin | 2010-07-20 | 1 | -0/+4 |
| | | | | | what to do with, rather than silently omitting it from the output. | ||||
| * | Implement the "simple typechecker", which avoids HM inference | Patrick Walton | 2010-07-15 | 1 | -0/+10 |
| | | |||||
| * | Add a ty_children function to enumerate the children of any type | Patrick Walton | 2010-07-12 | 1 | -1/+0 |
| | | |||||
| * | Numerous bug fixes to typestate algorithm. | Graydon Hoare | 2010-07-06 | 1 | -0/+9 |
| | | |||||
| * | Add an arr_iter2 function to common.ml | Patrick Walton | 2010-07-02 | 1 | -0/+5 |
| | | |||||
| * | Canonicalize hashtables after running them through htab_map. Closes #77. | Graydon Hoare | 2010-06-28 | 1 | -2/+16 |
| | | |||||
| * | Revert "Add intrinsic calling convention." Isn't going to work. | Graydon Hoare | 2010-06-25 | 1 | -2/+0 |
| | | | | | This reverts commit 72c6c60d80cdfe63af5046a1a98549f0515734f2. | ||||
| * | Add intrinsic calling convention. | Graydon Hoare | 2010-06-24 | 1 | -0/+2 |
| | | |||||
| * | Add fmt module, move out some common format helpers, add ↵ | Graydon Hoare | 2010-06-24 | 1 | -0/+83 |
| | | | | | instruction-selection tracing and make selection use queues rather than list refs. | ||||
| * | Populate tree. | Graydon Hoare | 2010-06-23 | 2 | -0/+816 |