summaryrefslogtreecommitdiff
path: root/testsuite/tests/letrec-check/basic.ml
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-251-1/+1
* In `{expr with ...}`, always evaluate `expr` even if all labels are redefined...Jacques Garrigue2020-04-081-2/+5
* Print end line and valid end character for multi-lines locationsLouis Roché2019-04-081-8/+8
* value letrec: fix a bug in analysis of inner mutually-recursive bindingsGabriel Scherer2019-03-011-0/+35
* Fixing typos in various files (#2246)Fourchaux2019-02-131-1/+1
* Update the testsArmaël Guéneau2018-10-191-7/+7
* Update testsArmaël Guéneau2018-10-191-41/+41
* rec_check.ml: fix a soundness bug with record override { foo with ... }Gabriel Scherer2018-09-131-0/+3
* Deprecate Pervasives (#1605)Jérémie Dimino2018-08-271-6/+6
* tests/letrec-check: order the basic tests by language featuresGabriel Scherer2018-07-291-0/+325