| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2013-03-02 | Remove REC, change related tests/docs | Jihyun Yu | -18/+0 | |
| 2012-12-10 | Reliciense makefiles and testsuite. Yup. | Graydon Hoare | -0/+10 | |
| 2012-09-04 | Remove 'with' | Brian Anderson | -1/+1 | |
| 2012-06-18 | Adding `i` suffixes so cfail tests keep failing after suffix inference | Lindsey Kuper | -1/+1 | |
| 2011-12-28 | On second thought, re-land pull request #1385 with backquotes; easier to ↵ | Graydon Hoare | -1/+1 | |
| grep, can change in the future. | ||||
| 2011-12-25 | Use singlequotes in the typechecker too, to distinguish code and English | Lenny222 | -1/+1 | |
| 2011-08-20 | Reformat | Brian Anderson | -1/+1 | |
| This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[] | ||||
| 2011-08-03 | Remove all xfail-stage0 directives | Brian Anderson | -1/+0 | |
| While it is still technically possible to test stage 0, it is not part of any of the main testing rules and maintaining xfail-stage0 is a chore. Nobody should worry about how tests fare in stage0. | ||||
| 2011-07-27 | Reformat for new syntax | Marijn Haverbeke | -3/+3 | |
| 2011-07-06 | Swap the expected/actual for typechecking fields of updated records | Brian Anderson | -0/+9 | |
| In 'rec(a = b with c)', if a exists in c then the expected type for b is the type of c. | ||||
