summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-unboxed-types
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-253-5/+5
* Fix #11150: avoid recomputation in Typedecl.check_wellfoundedJacques Garrigue2023-01-171-2/+0
* check_well_founded: give expansions traces in error messagesGabriel Scherer2022-12-261-1/+5
* typedecl_separability: handle GADT equations in a more predictable orderGabriel Scherer2020-01-281-6/+18
* separability: add some interesting examples to the testsuiteGabriel Scherer2020-01-282-48/+172
* Cleaned up [@@unbox] validity check.Rodolphe Lepigre2020-01-281-1/+1
* Remove ocamltests filesNicolás Ojeda Bär2019-09-281-3/+0
* Print end line and valid end character for multi-lines locationsLouis Roché2019-04-081-7/+7
* testsuite: convert typing-unboxed-types to expect-style testsGabriel Scherer2018-10-316-441/+582
* Update test reference filesSébastien Hinderer2018-10-221-38/+38
* Update the testsArmaël Guéneau2018-10-191-8/+8
* Update testsArmaël Guéneau2018-10-191-52/+52
* GPR#1910: rename .reference.* filesDamien Doligez2018-10-193-2/+2
* Update tests specific to -no-flat-float-arrayArmaël Guéneau2018-07-251-15/+15
* Refactor [Location.print_loc]; use it in [highlight_dumb] and expect_test.mlArmaël Guéneau2018-07-251-22/+22
* Migrate tests/typing-unboxed-types test to ocamltestSébastien Hinderer2018-01-175-123/+110
* Make use of the [@@immediate] information when deciding if a type can beDamien Doligez2017-12-103-4/+10
* Fix bug on unboxed records with one polymorphic field.fix_7682alainfrisch2017-11-293-0/+17
* Fix unboxed types checkLeo White2017-10-053-0/+13
* add -no-flat-float-array configure optionDamien Doligez2017-09-153-0/+187
* PR#7511: Unboxed type with unboxed argument should not be accepted (#1133)Damien Doligez2017-07-132-1/+77
* GPR#606: add unboxed typesDamien Doligez2016-07-213-0/+286
View Lorry Controller Status