| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | New script language for ocamltest (#12185) | Damien Doligez | 2023-04-25 | 1 | -1/+1 |
| * | Fix #11150: avoid recomputation in Typedecl.check_wellfounded | Jacques Garrigue | 2023-01-17 | 1 | -2/+1 |
| * | check_well_founded: give expansions traces in error messages | Gabriel Scherer | 2022-12-26 | 1 | -1/+4 |
| * | Update tests | Armaël Guéneau | 2018-10-19 | 1 | -2/+2 |
| * | Refactor [Location.print_loc]; use it in [highlight_dumb] and expect_test.ml | Armaël Guéneau | 2018-07-25 | 1 | -1/+1 |
| * | expect-style tests: include the code at the location of error messages | Gabriel Scherer | 2017-12-12 | 1 | -0/+2 |
| * | Migrate typing-misc tests to ocamltest | Sébastien Hinderer | 2017-12-08 | 1 | -0/+4 |
| * | switch typing-misc and typing-modules to Makefile.expect | Jacques Garrigue | 2016-06-13 | 1 | -0/+5 |
| * | Fix PR#6768: Typechecker overflow the stack on cyclic type | Jacques Garrigue | 2015-02-05 | 1 | -0/+11 |
 |
index : delta/ocaml.git | |
| github.com: ocaml/ocaml |
| summaryrefslogtreecommitdiff |