summaryrefslogtreecommitdiff
path: root/testsuite/tests/generalized-open/gpr1506.ml
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-251-1/+1
* error messages: use submsgs for signature avoidanceFlorian Angeletti2023-02-161-9/+15
* signature avoidance: simplified identifier disambiguationFlorian Angeletti2023-02-161-6/+6
* error messages: use de bruijn indices to disambiguate namesFlorian Angeletti2023-01-021-1/+1
* Add type equality witness to the standard library (#11581)Nicolás Ojeda Bär2022-12-201-6/+6
* toplevel: don't read Topdirs cmi during pre-initialisationFlorian Angeletti2022-07-011-6/+6
* testsuite: stabilize type identifiersFlorian Angeletti2022-06-141-6/+6
* Refine the semantics of domain callbacks.KC Sivaramakrishnan2022-06-061-6/+6
* Remove `Stream`, `Genlex`, `Pervasives` & the legacy `bigarray` library (#10896)Nicolás Ojeda Bär2022-01-201-6/+6
* Remove deprecated functions (#10867)Nicolás Ojeda Bär2022-01-121-6/+6
* Merge commit '17561dc1cf9127e53485721d0f16f73aa436680e' into 5.00_rebase_to_prTom Kelly2021-12-201-6/+6
|\
| * Shapes: Add new tests and update others relying on identsUlysse Gérard2021-11-091-6/+6
* | Merge commit '98e16f0334d3cb74e50e6c9073398b049438b2f6' into 5.00_rebase_to_prTom Kelly2021-12-201-6/+6
|\ \ | |/
| * Fix freshening of identifiersLeo White2021-10-051-6/+6
* | Move effect handlers to its own module in StdlibKC Sivaramakrishnan2021-10-111-6/+6
* | Merge commit 'eccaa452ca8c118abccb6180d53b91e4b4907415' into 5.00Tom Kelly2021-10-041-6/+6
|\ \ | |/
| * Add {In,Out}_channel to Stdlib (#10545)Nicolás Ojeda Bär2021-09-011-6/+6
* | update test referenceTom Kelly2021-04-221-6/+6
* | Merge commit 'efac7902494b0decf2d7a0687af5221c7c89d529' into parallel_minor_g...Tom Kelly2021-03-091-2/+2
|\ \ | |/
| * Make some locations more accurate (#8987)Thomas Refis2020-10-141-2/+2
| * Adapt testsNicolás Ojeda Bär2020-10-081-6/+6
| * Add `'a Either.t = Left of 'a | Right of 'b`Gabriel Scherer2020-09-021-6/+6
| * fix the testsuite (and add -dno-unique-ids where reasonable)Gabriel Scherer2020-05-161-6/+6
* | correct tests for spacetime removalTom Kelly2021-03-081-6/+6
* | Fix reference output for gpr1506 and sigsubst testsTom Kelly2021-03-051-6/+6
* | Merge commit '080ac7421c569392f84fadefbdf977c4aa98a92a' into parallel_minor_g...Tom Kelly2021-03-011-0/+3
|\ \ | |/
| * Treat `open struct` as `include struct` in toplevelLeo White2020-04-231-0/+3
* | Merge commit 'e6096b8f6c3211a83f7855bda3d820c2408257dd' into parallel_minor_g...Tom Kelly2020-04-281-10/+10
|\ \ | |/
| * typing/oprint: [minor] improve printing of empty signaturesGabriel Scherer2019-09-031-4/+4
| * update testsThomas Refis2019-08-281-6/+6
* | Merge commit 'f2db8ca4aedfef978a96e4b5f205f9b45533f1b0' into parallel_minor_g...Tom Kelly2020-04-281-6/+6
|\ \ | |/
| * Refactor environment lookup functionsLeo White2019-08-151-6/+6
* | Fix up test reference output for gpr1506, stop_after_typing_impl, gpr1997Tom Kelly2020-04-221-6/+6
|/
* Print end line and valid end character for multi-lines locationsLouis Roché2019-04-081-2/+2
* Update test resultsNicolás Ojeda Bär2019-03-191-6/+6
* refresh testsThomas Refis2019-02-071-6/+6
* refresh gpr1506 outputThomas Refis2018-11-261-28/+75
* import initial tests from GPR#1506Thomas Refis2018-11-261-0/+342
View Lorry Controller Status