summaryrefslogtreecommitdiff
path: root/testsuite/tests/typing-gadts
Commit message (Expand)AuthorAgeFilesLines
* New script language for ocamltest (#12185)Damien Doligez2023-04-2567-67/+68
* parsetree: explicit type constraints for value bindings (#12119)Florian Angeletti2023-03-241-3/+3
* update testsuite (2)Gabriel Scherer2023-02-2312-0/+41
* update testsuiteGabriel Scherer2023-02-239-0/+12
* Print out type variables that cannot be deducedStefan Muenzel2023-02-142-17/+89
* also fix Tvar case; no assumption on openingJacques Garrigue2022-11-041-5/+16
* Support clever expansion of gadt equations in presence of local module (#10348)Jacques Garrigue2022-07-045-32/+70
* Add test for interaction between module signatures and GADT equalitiesmrmr19932022-06-221-0/+504
* do not expand function type when there are no argumentsJacques Garrigue2022-06-161-0/+2
* Do not use instance ~partial for principality when typing case bodiesJacques Garrigue2022-06-162-10/+12
* Merge pull request #10959 from COCTI/fix10907Florian Angeletti2022-02-032-18/+53
* Fix #10822: Bad interaction between ambivalent types and subtyping coercions ...Jacques Garrigue2022-01-041-0/+16
* Fix #10735 as suggested by @lpw25 (#10738)Jacques Garrigue2021-11-021-0/+30
* Improve type variable name generation and recursive type detection when print...Antal Spector-Zabusky2021-10-152-5/+5
* Fix a flaky test by refactoring TypePairs (#10638)Stephen Dolan2021-09-151-2/+2
* Merge pull request #8516 from lpw25/simplify-type-class-structureThomas Refis2021-07-152-10/+9
|\
| * Set object name of self typeLeo White2021-07-141-5/+5
| * Give more precise errors for virtual methodsLeo White2021-07-131-5/+4
* | Revert "Remove propagation from previous branches (#9811)" in trunk (#10492)Florian Angeletti2021-07-132-23/+0
|/
* Normalize type_expr nodes on access (#10337)Jacques Garrigue2021-06-242-3/+12
* Make `Errortrace.*_error` only contain nonempty tracesAntal Spector-Zabusky2021-06-211-12/+20
* Respond to review for the new structured error messages (#10407)Antal Spector-Zabusky2021-06-211-4/+6
* Use the new structured errors (#10170) for better error messagesAntal Spector-Zabusky2021-06-213-4/+12
* Add new test cases for failures of type-specific unification methodsAntal Spector-Zabusky2021-06-211-0/+108
* Add more new test cases for module inclusion errorsAntal Spector-Zabusky2021-06-211-0/+36
* Add new test cases for module inclusion errorsAntal Spector-Zabusky2021-06-211-0/+17
* Have update_scope_rec only recurse in principal mode (#10383)Jacques Garrigue2021-04-302-0/+11
* tweak error message for unknown constructors or fieldsoctachron2021-04-271-1/+1
* Remove a call to enforce_constraints when checking GADT patternsStephen Dolan2021-04-193-3/+33
* Remove a call to enforce_constraints when constructing typesStephen Dolan2021-04-192-3/+3
* make update_scope recursive while keeping trace_gadt_instances (#10277)Jacques Garrigue2021-04-192-2/+46
* Fix #10271 using Env.remove_last_open (#10308)Jacques Garrigue2021-04-161-0/+38
* Fix #10189: Universal variables leaking through GADT equations (#10190)Jacques Garrigue2021-02-051-0/+191
* Allow to name existentials in pattern-matching (#9584)Jacques Garrigue2021-02-042-1/+120
* Fix #9866 by making the regularity check stricter (#9870)Jacques Garrigue2020-11-301-1/+1
* pat_env: I must not tell liesThomas Refis2020-10-071-2/+1
* add test from PR#9799Thomas Refis2020-10-071-0/+23
* Remove propagation from previous branches (#9811)Jacques Garrigue2020-10-032-0/+14
* Righteous ambivalence (#9767)Jacques Garrigue2020-07-291-0/+31
* Merge pull request #9657 from nojb/warning_mnemonicsGabriel Scherer2020-07-2117-54/+54
|\
| * Update test reference filesNicolás Ojeda Bär2020-07-2117-54/+54
* | Stdlib injectivity: update tests.Jeremy Yallop2020-07-181-7/+6
|/
* pattern aliases do not ignore type constraints (#1655)Thomas Refis2020-07-092-18/+8
* type_cases: rely on levels to enforce principality (#1931)Thomas Refis2020-07-086-60/+442
* Fix #7902: Type-checker infers a recursive type, even though -rectype… (#9556)Jacques Garrigue2020-06-154-9/+54
* Fix #7520: Odd behaviour of refutation cases with polymorphic variants (#9547)Jacques Garrigue2020-06-031-0/+13
* Fix the polymorphic recursion problem of #9603 (#9617)Jacques Garrigue2020-06-021-5/+4
* parmatch: ensure specialized submatrices are in source orderGabriel Scherer2020-05-303-4/+4
* Relax the handling of explicit polymorphic typesLeo White2020-01-201-3/+5
* fix typo in name + improve style in type_pat (#9161)Jacques Garrigue2019-12-041-1/+1
View Lorry Controller Status