summaryrefslogtreecommitdiff
path: root/testsuite/tests/letrec-check
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-2514-18/+26
* update testsuiteGabriel Scherer2023-02-231-0/+1
* Update test reference filesNicolás Ojeda Bär2020-07-211-1/+1
* In `{expr with ...}`, always evaluate `expr` even if all labels are redefined...Jacques Garrigue2020-04-081-2/+5
* Fix the regression testVincent Laviron2020-01-241-2/+2
* Add regression testVincent Laviron2020-01-241-0/+8
* Remove ocamltests filesNicolás Ojeda Bär2019-09-281-14/+0
* typing/oprint: [minor] improve printing of empty signaturesGabriel Scherer2019-09-031-1/+1
* Print end line and valid end character for multi-lines locationsLouis Roché2019-04-085-13/+13
* 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-193-14/+14
* Update testsArmaël Guéneau2018-10-1913-110/+110
* explain why field assignments may dereference the new valueJeremy Yallop2018-09-132-0/+38
* rec_check.ml: fix a soundness bug with record override { foo with ... }Gabriel Scherer2018-09-133-0/+35
* rec_check: complete the missing cases from Alban's patchsetGabriel Scherer2018-09-131-0/+17
* Deprecate Pervasives (#1605)Jérémie Dimino2018-08-271-6/+6
* tests/letrec-check: order the basic tests by language featuresGabriel Scherer2018-07-298-311/+318
* tests/letrec-check: convert most tests to expect-testGabriel Scherer2018-07-2917-193/+371
* letrec testsuite: split tests between static-check tests and compilation testsGabriel Scherer2018-07-2923-0/+617
View Lorry Controller Status