summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-sigsubst
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-254-28/+41
* error messages: use submsgs for signature avoidanceFlorian Angeletti2023-02-161-5/+9
* signature avoidance: simplified identifier disambiguationFlorian Angeletti2023-02-161-3/+3
* printtyp: remove spurious space in error tracesFlorian Angeletti2023-01-021-2/+2
* Add type equality witness to the standard library (#11581)Nicolás Ojeda Bär2022-12-201-3/+3
* toplevel: don't read Topdirs cmi during pre-initialisationFlorian Angeletti2022-07-011-3/+3
* testsuite: stabilize type identifiersFlorian Angeletti2022-06-141-3/+3
* Refine the semantics of domain callbacks.KC Sivaramakrishnan2022-06-061-3/+3
* Remove `Stream`, `Genlex`, `Pervasives` & the legacy `bigarray` library (#10896)Nicolás Ojeda Bär2022-01-201-3/+3
* Remove deprecated functions (#10867)Nicolás Ojeda Bär2022-01-121-3/+3
* Merge commit '17561dc1cf9127e53485721d0f16f73aa436680e' into 5.00_rebase_to_prTom Kelly2021-12-201-3/+3
|\
| * Shapes: Add new tests and update others relying on identsUlysse Gérard2021-11-091-3/+3
* | Merge commit '98e16f0334d3cb74e50e6c9073398b049438b2f6' into 5.00_rebase_to_prTom Kelly2021-12-201-3/+3
|\ \ | |/
| * Fix freshening of identifiersLeo White2021-10-051-3/+3
* | Move effect handlers to its own module in StdlibKC Sivaramakrishnan2021-10-111-3/+3
* | Merge commit '8da8b7e028431f02bc85c641965133bff68220e0' into 5.00Tom Kelly2021-10-041-1/+1
|\ \ | |/
| * Don't repeat environment entries in Typemod.check_type_declLeo White2021-09-231-1/+1
* | Merge commit 'eccaa452ca8c118abccb6180d53b91e4b4907415' into 5.00Tom Kelly2021-10-041-3/+3
|\ \ | |/
| * Add {In,Out}_channel to Stdlib (#10545)Nicolás Ojeda Bär2021-09-011-3/+3
* | Merge commit 'ec880ee809c3f4f3c7ce4ee223b3e56fde338f4f' into 5.00Tom Kelly2021-10-041-0/+6
|\ \ | |/
| * Respond to review for the new structured error messages (#10407)Antal Spector-Zabusky2021-06-211-4/+4
| * Use the new structured errors (#10170) for better error messagesAntal Spector-Zabusky2021-06-211-0/+6
* | Merge commit '5e45b2e9fa613099a334f19c95814f89ca16db7f' into parallel_minor_g...Tom Kelly2021-10-011-2/+4
|\ \ | |/
| * update testThomas Refis2021-05-101-2/+4
* | Merge commit '24d7f3bde8f0af585b8328b5b4e5f386f8909cff' into parallel_minor_g...Tom Kelly2021-10-011-1/+1
|\ \ | |/
| * ocamltest: rename the files variable to readonly_filesSébastien Hinderer2021-04-211-1/+1
* | Merge commit 'd0f80077066105e1429ef8728b8362b8d698e298' into parallel_minor_g...Tom Kelly2021-09-291-5/+1
|\ \ | |/
| * Switch to Menhir's simplified error handling strategy.François Pottier2021-01-061-5/+1
| * Adapt testsNicolás Ojeda Bär2020-10-081-3/+3
| * Add `'a Either.t = Left of 'a | Right of 'b`Gabriel Scherer2020-09-021-3/+3
* | update test referenceTom Kelly2021-04-221-3/+3
* | correct tests for spacetime removalTom Kelly2021-03-081-3/+3
* | Fix reference output for gpr1506 and sigsubst testsTom Kelly2021-03-051-3/+3
* | Merge commit '9d4679f338ae0c66de2dc16ea7d9e87c05fe6b9b' into parallel_minor_g...Tom Kelly2021-03-021-14/+4
|\ \ | |/
| * Typemod.merge_constraint: fix computation of the signature environmentGabriel Scherer2020-06-031-14/+4
| * fix the testsuite (and add -dno-unique-ids where reasonable)Gabriel Scherer2020-05-161-3/+3
* | Merge commit 'ec6690fb53b6caced797e1a7a083a787ff8bd97c' into parallel_minor_g...Tom Kelly2021-03-011-0/+20
|\ \ | |/
| * Prohibit signature local types with constraintsLeo White2020-04-181-2/+6
| * Add regression testLeo White2020-04-181-0/+16
* | Merge commit 'c323d1114420147afefc2e1b24a9bd4e41ea8bd7' into parallel_minor_g...Tom Kelly2021-03-011-8/+1
|\ \ | |/
| * update testsuiteThomas Refis2020-03-051-8/+1
* | Merge commit 'd6fb9ad86a7628d8b8683d8f96957e7ceaa3bf5d' into parallel_minor_g...Tom Kelly2020-04-291-4/+0
|\ \ | |/
| * Remove ocamltests filesNicolás Ojeda Bär2019-09-281-4/+0
* | Merge commit 'e6096b8f6c3211a83f7855bda3d820c2408257dd' into parallel_minor_g...Tom Kelly2020-04-282-4/+4
|\ \ | |/
| * typing/oprint: [minor] improve printing of empty signaturesGabriel Scherer2019-09-032-4/+4
* | Merge commit '8afe2db3c6bdf06d2596ddba95cb889991196fc5' into parallel_minor_g...Tom Kelly2020-04-211-5/+5
|\ \ | |/
| * Print end line and valid end character for multi-lines locationsLouis Roché2019-04-081-5/+5
* | Merge commit '8e5e3c0ed46ad4ab6849930ccc3de651439cc26d' into parallel_minor_g...Tom Kelly2020-04-201-3/+3
|\ \ | |/
| * Update test resultsNicolás Ojeda Bär2019-03-191-3/+3
|/
* refresh testsThomas Refis2019-02-071-3/+3
View Lorry Controller Status