| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | New script language for ocamltest (#12185) | Damien Doligez | 2023-04-25 | 1 | -1/+1 |
| * | Do not use instance ~partial for principality when typing case bodies | Jacques Garrigue | 2022-06-16 | 1 | -14/+0 |
| * | Give more precise error when disambiguation could not possibly work | Leo White | 2021-06-08 | 1 | -6/+4 |
| * | Maintain more structural information in type-checking errors | Antal Spector-Zabusky | 2021-05-06 | 1 | -4/+0 |
| * | Remove a call to enforce_constraints when constructing types | Stephen Dolan | 2021-04-19 | 1 | -4/+2 |
| * | type_cases: rely on levels to enforce principality (#1931) | Thomas Refis | 2020-07-08 | 1 | -26/+7 |
| * | MPR#7937: avoid Unify in extract_concrete_typedecl (#2287) | Florian Angeletti | 2019-03-07 | 1 | -0/+84 |
 |
index : delta/ocaml.git | |
| github.com: ocaml/ocaml |
| summaryrefslogtreecommitdiff |