| 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 |
 |
index : delta/ocaml.git | |
| github.com: ocaml/ocaml |
| summaryrefslogtreecommitdiff |