| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Assume xfail-stage0 implies stage1 and stage2 in tests, for now. | Graydon Hoare | 2011-05-03 | 1 | -0/+2 |
| | | |||||
| * | Switch xfail system to use comments embedded in source files. | Graydon Hoare | 2011-03-25 | 1 | -0/+1 |
| | | |||||
| * | Implement the "simple typechecker", which avoids HM inference | Patrick Walton | 2010-07-15 | 1 | -2/+2 |
| | | |||||
| * | Fix ret/put mis-identification in typechecker. Closes #87. | Graydon Hoare | 2010-07-14 | 1 | -0/+8 |