Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | New script language for ocamltest (#12185) | Damien Doligez | 2023-04-25 | 1 | -1/+1 |
* | In `{expr with ...}`, always evaluate `expr` even if all labels are redefined... | Jacques Garrigue | 2020-04-08 | 1 | -2/+5 |
* | Print end line and valid end character for multi-lines locations | Louis Roché | 2019-04-08 | 1 | -8/+8 |
* | value letrec: fix a bug in analysis of inner mutually-recursive bindings | Gabriel Scherer | 2019-03-01 | 1 | -0/+35 |
* | Fixing typos in various files (#2246) | Fourchaux | 2019-02-13 | 1 | -1/+1 |
* | Update the tests | Armaël Guéneau | 2018-10-19 | 1 | -7/+7 |
* | Update tests | Armaël Guéneau | 2018-10-19 | 1 | -41/+41 |
* | rec_check.ml: fix a soundness bug with record override { foo with ... } | Gabriel Scherer | 2018-09-13 | 1 | -0/+3 |
* | Deprecate Pervasives (#1605) | Jérémie Dimino | 2018-08-27 | 1 | -6/+6 |
* | tests/letrec-check: order the basic tests by language features | Gabriel Scherer | 2018-07-29 | 1 | -0/+325 |