summaryrefslogtreecommitdiff
path: root/testsuite/tests/basic
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-256-18/+29
* update testsuite (2)Gabriel Scherer2023-02-231-0/+7
* Add type equality witness to the standard library (#11581)Nicolás Ojeda Bär2022-12-201-84/+84
* Add hash, seeded_hash to Int, Char, Bool, Float, Int32, Int64, Nativeint (#11...Nicolás Ojeda Bär2022-10-272-1/+29
* toplevel: don't read Topdirs cmi during pre-initialisationFlorian Angeletti2022-07-012-112/+112
* testsuite: stabilize type identifiersFlorian Angeletti2022-06-142-112/+112
* Refine the semantics of domain callbacks.KC Sivaramakrishnan2022-06-061-84/+84
* Remove `Stream`, `Genlex`, `Pervasives` & the legacy `bigarray` library (#10896)Nicolás Ojeda Bär2022-01-201-84/+84
* Remove deprecated functions (#10867)Nicolás Ojeda Bär2022-01-123-110/+102
* Minor improvements.KC Sivaramakrishnan2021-12-231-1/+0
* Merge commit 'b4c5d7a55d9ec25693ba741a613d81f2c3ef66bc' into 5.00_rebase_to_prTom Kelly2021-12-212-0/+15
|\
| * Add non-regression testAlain Frisch2021-11-162-0/+15
* | Merge commit '17561dc1cf9127e53485721d0f16f73aa436680e' into 5.00_rebase_to_prTom Kelly2021-12-202-112/+112
|\ \ | |/
| * Shapes: Add new tests and update others relying on identsUlysse Gérard2021-11-092-112/+112
* | Merge commit '2bcef4bc172f476217f253d24cb3311eaca504bf' into 5.00_rebase_to_prTom Kelly2021-12-202-0/+26
|\ \ | |/
| * Ensure that functions are evaluated after their arguments (#10728)Stephen Dolan2021-10-272-0/+26
* | Merge commit '98e16f0334d3cb74e50e6c9073398b049438b2f6' into 5.00_rebase_to_prTom Kelly2021-12-201-84/+84
|\ \ | |/
| * Fix freshening of identifiersLeo White2021-10-051-84/+84
* | Move effect handlers to its own module in StdlibKC Sivaramakrishnan2021-10-111-84/+84
* | Merge commit '0117428c3ea163f42f4549ff4e7f255f29f6b4d4' into 5.00Tom Kelly2021-10-042-0/+53
|\ \ | |/
| * Support more arguments to tail calls by passing them through the domain state...Xavier Leroy2021-09-092-0/+53
* | Merge commit 'eccaa452ca8c118abccb6180d53b91e4b4907415' into 5.00Tom Kelly2021-10-041-54/+109
|\ \ | |/
| * Add {In,Out}_channel to Stdlib (#10545)Nicolás Ojeda Bär2021-09-011-84/+84
* | Merge commit '8949e28fa1995de9fa72ee377993624af0f4a616' into 5.00Tom Kelly2021-10-042-2/+161
|\ \ | |/
| * Fix detection of immediate64 types through unboxed typesLeo White2021-07-291-42/+45
| * Use unset in the testsuite to harden testsDavid Allsopp2021-07-101-2/+4
* | Merge commit '5e45b2e9fa613099a334f19c95814f89ca16db7f' into parallel_minor_g...Tom Kelly2021-10-012-0/+16
|\ \ | |/
| * Add {Int,Int32,Int64,NativeInt}.{min,max} (#10392)Alain Frisch2021-05-112-0/+16
* | Merge commit '099b86a046e304fe15e2bb37557bffc6aafaab15' into parallel_minor_g...Tom Kelly2021-10-012-0/+17
|\ \ | |/
| * Test evaluation order for for loops (#10394)Vincent Laviron2021-05-042-0/+17
* | Merge commit '6462df79a89cede5c54ed53f1e2ff83309006633' into parallel_minor_g...Tom Kelly2021-09-302-0/+13
|\ \ | |/
| * Preserve evaluation order in simplify_exits (#10284)Vincent Laviron2021-03-102-0/+13
* | Merge commit '055f04d189273068396da8c298e6226dff90f26c' into parallel_minor_g...Tom Kelly2021-09-281-28/+14
|\ \ | |/
| * testsuite: include both -dlambda and -drawlambda outputsGabriel Scherer2020-10-211-1/+55
| * testsuite: clarify the allocation behaviorGabriel Scherer2020-10-211-3/+4
| * Matching.Simple.explode_or_pat: on-demand generation of fresh identifiersGabriel Scherer2020-10-211-43/+43
| * matching: avoid useless bindings in do_for_multiple_matchGabriel Scherer2020-10-211-97/+55
| * Match.do_for_multiple_match: we can always flattenGabriel Scherer2020-10-211-99/+88
| * matching: more complete testsuite for do_for_multiple_matchGabriel Scherer2020-10-211-0/+193
| * Adapt testsNicolás Ojeda Bär2020-10-081-21/+20
* | update test referenceTom Kelly2021-04-221-22/+22
* | correct tests for spacetime removalTom Kelly2021-03-081-21/+21
* | Merge commit 'a7d1af4a872e22aebd1e6cc27b2beafdea2ad2dd' into parallel_minor_g...Tom Kelly2021-03-051-21/+21
|\ \ | |/
| * Add `'a Either.t = Left of 'a | Right of 'b`Gabriel Scherer2020-09-021-20/+21
* | Merge commit 'e41dc9c44327f40c1ab0feea12f779c931c9e31e' into parallel_minor_g...Tom Kelly2021-03-041-7/+7
|\ \ | |/
| * Update test reference filesNicolás Ojeda Bär2020-07-211-7/+7
* | fix some reference output for some testsTom Kelly2021-03-031-20/+21
* | Merge commit 'e717512a54349bce4bbbb9590d4fe5a2c671c4e9' into parallel_minor_g...Tom Kelly2021-03-031-0/+59
|\ \ | |/
| * matching: add a test for do_for_multiple_match flattening failureThomas Refis2020-06-061-0/+59
* | Merge commit '0ca651b95cbda5d58f7760f0fa1dba965d1f0828' into parallel_minor_g...Tom Kelly2021-03-021-1/+1
|\ \ | |/