Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | New script language for ocamltest (#12185) | Damien Doligez | 2023-04-25 | 1 | -1/+1 |
* | Maintain more structural information in type-checking errors | Antal Spector-Zabusky | 2021-05-06 | 1 | -4/+1 |
* | type_cases: rely on levels to enforce principality (#1931) | Thomas Refis | 2020-07-08 | 1 | -12/+0 |
* | Fix the polymorphic recursion problem of #9603 (#9617) | Jacques Garrigue | 2020-06-02 | 1 | -0/+48 |