summaryrefslogtreecommitdiff
path: root/testsuite/tests/letrec-check/records.ml
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-251-1/+1
* Update testsArmaël Guéneau2018-10-191-2/+2
* rec_check.ml: fix a soundness bug with record override { foo with ... }Gabriel Scherer2018-09-131-0/+31