Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | New script language for ocamltest (#12185) | Damien Doligez | 2023-04-25 | 1 | -2/+2 |
* | Fix #11150: avoid recomputation in Typedecl.check_wellfounded | Jacques Garrigue | 2023-01-17 | 1 | -2/+0 |
* | check_well_founded: give expansions traces in error messages | Gabriel Scherer | 2022-12-26 | 1 | -1/+5 |
* | typedecl_separability: handle GADT equations in a more predictable order | Gabriel Scherer | 2020-01-28 | 1 | -6/+18 |
* | separability: add some interesting examples to the testsuite | Gabriel Scherer | 2020-01-28 | 1 | -48/+149 |
* | testsuite: convert typing-unboxed-types to expect-style tests | Gabriel Scherer | 2018-10-31 | 1 | -0/+202 |