| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | printtyp: remove spurious space in error traces | Florian Angeletti | 2023-01-02 | 1 | -2/+2 |
| * | Improve type variable name generation and recursive type detection when print... | Antal Spector-Zabusky | 2021-10-15 | 1 | -5/+7 |
| * | Maintain more structural information in type-checking errors | Antal Spector-Zabusky | 2021-05-06 | 1 | -22/+2 |
| * | Update tests | Armaël Guéneau | 2018-10-19 | 1 | -0/+2 |
| * | a type for unification traces | Florian Angeletti | 2018-10-17 | 1 | -15/+12 |
| * | Migrate the typing-objects-bugs tests to ocamltest | Sébastien Hinderer | 2018-03-18 | 1 | -0/+41 |
 |
index : delta/ocaml.git | |
| github.com: ocaml/ocaml |
| summaryrefslogtreecommitdiff |