summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-misc
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-2547-77/+85
* Add test cases demonstrating that an error in Typetexp is reachable.Chris Casinghino2023-04-041-0/+23
* Don't suggest a semicolon when the type is not unit (#12116)Jules Aguillon2023-03-271-0/+57
* Fix no-float-array test after #12024Florian Angeletti2023-03-241-0/+2
* testsuite: recursive polyvariant and weak row variablesFlorian Angeletti2023-03-141-0/+12
* update testsuite (2)Gabriel Scherer2023-02-239-0/+43
* update testsuiteGabriel Scherer2023-02-233-0/+10
* Print out type variables that cannot be deducedStefan Muenzel2023-02-141-10/+15
* Missing semicolon hint: Span the end of the argumentJules Aguillon2023-01-191-9/+9
* Apply_non_function: Print name of function if possibleJules Aguillon2023-01-191-0/+85
* Fix #11150: avoid recomputation in Typedecl.check_wellfoundedJacques Garrigue2023-01-173-24/+79
* Add a unification mode for `subst`Leo White2023-01-121-0/+42
* Fix #11869: weak variance for package types (#11874)Jacques Garrigue2023-01-071-0/+9
* error messages: use de bruijn indices to disambiguate namesFlorian Angeletti2023-01-023-63/+61
* check_well_founded: give expansions traces in error messagesGabriel Scherer2022-12-263-9/+31
* Use correct location when reporting non-existent record label prefix (#11630)Nicolás Ojeda Bär2022-11-041-0/+30
* Include kinds in "Their kinds differ" errorcuriousleo2022-09-023-3/+3
* clean up variance lattice and move variance composition to types.mlJacques Garrigue2022-07-261-0/+16
* Do not use instance ~partial for principality when typing case bodiesJacques Garrigue2022-06-161-14/+0
* Fix #11101 by making `occur ty ty` succeed (#11109)Jacques Garrigue2022-03-151-0/+34
* #10836: recognize unrecoverable errors in the signature inclusion check (#10952)Florian Angeletti2022-02-031-0/+34
* typechecker, #10762: restrict redo in unify_row_fieldFlorian Angeletti2021-11-151-0/+12
* Improve type variable name generation and recursive type detection when print...Antal Spector-Zabusky2021-10-153-9/+9
* Treat class_signature more like type_exprThomas Refis2021-07-141-2/+2
* Change representation of class typesLeo White2021-07-132-2/+3
* Allow explicit binders for type variables (#10437)Stephen Dolan2021-06-301-0/+103
* Merge pull request #10361 from Octachron/semdiff_type_declGabriel Scherer2021-06-252-6/+8
|\
| * swaps and movesFlorian Angeletti2021-06-222-4/+2
| * diffing: adjust weight for fields and constructorsoctachron2021-06-222-4/+12
| * diffing for variant definitionsFlorian Angeletti2021-06-221-7/+5
| * diffing for record definitionFlorian Angeletti2021-06-221-7/+5
* | Normalize type_expr nodes on access (#10337)Jacques Garrigue2021-06-241-2/+1
|/
* Respond to final round of review for #10407Antal Spector-Zabusky2021-06-211-8/+4
* Make `Errortrace.*_error` only contain nonempty tracesAntal Spector-Zabusky2021-06-211-4/+8
* Respond to review for the new structured error messages (#10407)Antal Spector-Zabusky2021-06-213-2/+6
* Use the new structured errors (#10170) for better error messagesAntal Spector-Zabusky2021-06-217-16/+54
* Add new test cases for failures of type-specific unification methodsAntal Spector-Zabusky2021-06-211-0/+28
* Add new test cases for module inclusion errorsAntal Spector-Zabusky2021-06-211-0/+88
* Give more precise error when disambiguation could not possibly workLeo White2021-06-083-8/+254
* review fixesStephen Dolan2021-05-251-5/+7
* Move type_unboxed.unboxed into type_kindStephen Dolan2021-05-251-5/+7
* Address all the excellent reviewer suggestionsAntal Spector-Zabusky2021-05-061-1/+2
* Maintain more structural information in type-checking errorsAntal Spector-Zabusky2021-05-064-13/+8
* Add tests before improving the internal type error representationMekhrubon Turaev2021-05-062-1/+99
* Merge pull request #8929 from Octachron/printtyp_fix_nested_recursive_definit...Gabriel Scherer2021-04-221-0/+22
|\
| * fix printing of nested recursive definitionsFlorian Angeletti2021-04-221-0/+22
* | ocamltest: rename the files variable to readonly_filesSébastien Hinderer2021-04-212-2/+2
|/
* Remove Ctype.enforce_constraintsStephen Dolan2021-04-191-2/+2
* Remove a call to enforce_constraints when constructing typesStephen Dolan2021-04-191-4/+2
* Semantic diffings for functor types and applications (#9331)Gabriel Radanne2021-04-071-4/+6
View Lorry Controller Status