Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | split patterns into "value patterns" and "computation patterns" | Gabriel Scherer | 2019-10-31 | 1 | -5/+5 |
* | Add support for "let" operators | Leo White | 2018-11-27 | 1 | -0/+2 |
* | Extend `open` to arbritrary module expressions in structures and to | Runhang Li | 2018-11-26 | 1 | -0/+1 |
* | introduce local substitutions in signatures | Thomas Refis | 2018-11-09 | 1 | -0/+2 |
* | allow to attach @@ attributes on exceptions | Hugo Heuzard | 2018-04-09 | 1 | -0/+1 |
* | Support inherited field in object type expression. | Mark Li | 2017-03-22 | 1 | -0/+1 |
* | Update headers for the new license. | Damien Doligez | 2016-02-18 | 1 | -3/+6 |
* | Parse arbitrary precision integers .. | Hugo Heuzard | 2015-12-03 | 1 | -0/+2 |
* | use open recursion in untypeast.ml | Gabriel Scherer | 2015-03-08 | 1 | -6/+59 |
* | move tools/untypeast.ml to typing/untypeast.ml | Gabriel Scherer | 2015-03-08 | 1 | -0/+20 |