summaryrefslogtreecommitdiff
path: root/testsuite
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #10558 from Octachron/apply_selective_typing_primFlorian Angeletti2021-08-242-0/+34
* Merge pull request #10446 from dra27/fix-10442David Allsopp2021-08-063-0/+13
* fix pretty-print of gadt-pattern-with-type-vars (issue #10550) (#10551)chetmurthy2021-08-041-0/+2
* Fix private polymorphic variant inclusion (#10529)Jacques Garrigue2021-07-201-0/+31
* Revert "Remove propagation from previous branches (#9811)" in trunk (#10492)Florian Angeletti2021-07-132-14/+0
* Safepoints (#10039)Sadiq Jaffer2021-07-124-0/+323
* Split labels and polymorphic variants tutorials; move GADTs into tutorial (#1...John Whitington2021-06-233-23/+23
* Merge pull request #10468 from matthewelse/trunkFlorian Angeletti2021-06-231-0/+14
* Merge pull request #10454 from lpw25/nondep-row-moreFlorian Angeletti2021-06-151-0/+12
* stdlib: add Array.fold_left_map (#9961)Craig Ferguson2021-06-031-0/+15
* Avoid overwriting closures while initialising recursive modules (#10205)Stephen Dolan2021-06-022-0/+81
* Added some missing C99 float operations (#944)Markus Mottl2021-06-025-121/+246
* Add Random.full_int (#9489)David Allsopp2021-06-013-1/+32
* review fixesStephen Dolan2021-05-251-5/+7
* Move type_unboxed.unboxed into type_kindStephen Dolan2021-05-251-5/+7
* toplevel: detect recursive definitions in #showFlorian Angeletti2021-05-193-13/+46
* Merge pull request #10405 from trefis/subst-locsGabriel Scherer2021-05-121-2/+4
|\
| * update testThomas Refis2021-05-101-2/+4
* | Merge pull request #10401 from Octachron/signature_group_2Gabriel Scherer2021-05-123-9/+100
|\ \
| * | bugfix: with constraints and #row componentoctachron2021-05-071-0/+21
| * | with constraint: ignore ghost componentsoctachron2021-05-061-0/+31
| * | include shadow all items in a group:octachron2021-05-062-9/+48
* | | Merge pull request #9809 from dra27/complete-suspicionDavid Allsopp2021-05-122-9/+12
|\ \ \
| * | | Run tests/output-complete-obj/test.ml on WindowsDavid Allsopp2021-04-272-9/+12
* | | | Merge pull request #10135 from dra27/faster-flexdllDavid Allsopp2021-05-111-19/+30
|\ \ \ \
| * | | | Use ocamlopt-compiled flexlink in testsuiteDavid Allsopp2021-05-111-17/+22
| * | | | Control the flexdll bootstrap with configureDavid Allsopp2021-05-111-3/+3
| * | | | Allow bootstrapping flexdll for the Cygwin portsDavid Allsopp2021-05-111-11/+16
| * | | | Overhaul flexlink binary locations during buildDavid Allsopp2021-05-111-4/+5
| | |_|/ | |/| |
* | | | Add {Int,Int32,Int64,NativeInt}.{min,max} (#10392)Alain Frisch2021-05-114-0/+27
|/ / /
* | | Address all the excellent reviewer suggestionsAntal Spector-Zabusky2021-05-061-1/+2
* | | Maintain more structural information in type-checking errorsAntal Spector-Zabusky2021-05-069-41/+14
* | | Add tests before improving the internal type error representationMekhrubon Turaev2021-05-064-9/+1293
| |/ |/|
* | Merge pull request #10146 from damiendoligez/ocamltest-move-test-blockGabriel Scherer2021-05-061-4/+9
|\ \
| * | change keword for postponing test blockDamien Doligez2021-05-051-1/+1
| * | use a marker at the top when the test block is at the end of the fileDamien Doligez2021-04-281-1/+1
| * | ocamltest: allow TEST block at end of fileDamien Doligez2021-04-281-4/+9
* | | Revert "Merge pull request #9336 from Octachron/mundane_list_printing_fix"octachron2021-05-051-2/+6
* | | Test evaluation order for for loops (#10394)Vincent Laviron2021-05-042-0/+17
* | | Merge pull request #10385 from Octachron/6985_moreFlorian Angeletti2021-05-031-0/+30
|\ \ \
| * | | mtype: remove ghost row types from strengthened signatureoctachron2021-05-031-0/+30
| |/ /
* | | Have update_scope_rec only recurse in principal mode (#10383)Jacques Garrigue2021-04-302-0/+11
* | | The invariants.cmm test should be run only when the native compiler is enabledSébastien Hinderer2021-04-301-2/+3
* | | Merge pull request #1400 from lthls/cmm_invariantsGabriel Scherer2021-04-292-0/+24
|\ \ \
| * | | ocamltest: add the codegen_exit_status variableSébastien Hinderer2021-04-291-2/+3
| * | | Update expected testVincent Laviron2021-04-282-2/+2
| * | | Test file (WIP)Vincent Laviron2021-04-201-0/+23
* | | | Added fold_{left, right}, exists and for_all to String/Bytes (#882)Yotam Barnoy2021-04-292-1/+32
* | | | Seq.concat: 'a t t -> 'a tGabriel Scherer2021-04-281-0/+7
| |/ / |/| |
* | | Build system: replace suffix rules by pattern rulesSébastien Hinderer2021-04-272-8/+4
View Lorry Controller Status