summaryrefslogtreecommitdiff
path: root/typing/ctype.mli
Commit message (Expand)AuthorAgeFilesLines
* remove reified_var_counterTakafumi Saikawa2023-04-081-1/+0
* Print the type variable that cannot be generalized (#12051)Stefan Muenzel2023-03-271-6/+5
* Merge pull request #11536 from COCTI/wrap_defGabriel Scherer2023-01-141-13/+36
|\
| * move comment about old API inside ctype.mlJacques Garrigue2022-12-281-13/+0
| * update as suggested by @gascheJacques Garrigue2022-12-281-2/+2
| * rename wrap_def -> with_local_level, etc.Takafumi Saikawa2022-12-271-21/+22
| * remove an unneeded restoration of levels in check_counter_example_patTakafumi Saikawa2022-12-271-5/+0
| * rename [wrap_*_process] to [wrap_*_iter] and [~proc] to [~post]Takafumi Saikawa2022-12-271-8/+8
| * wrappers revert to original level in case of exception tooJacques Garrigue2022-12-271-0/+2
| * Hygiene(check-typo)Takafumi Saikawa2022-12-271-1/+2
| * Introduce wrapper functions for level management ([Ctype.wrap_def], etc)Takafumi Saikawa2022-12-271-2/+39
* | Refactor unification mode stateLeo White2023-01-121-1/+1
* | [refactor] Ctype: remove dead functionGabriel Scherer2023-01-011-3/+0
* | free_vars: use informative typesGabriel Scherer2023-01-011-1/+8
|/
* Remove hash type encodingHyunggyu Jang2022-11-091-3/+7
* Merge pull request #10987 from trefis/instance_constructorThomas Refis2022-03-041-2/+6
|\
| * instance_constructor: in_pattern doesn't really make sense anymoreThomas Refis2022-02-031-2/+6
* | Merge pull request #10959 from COCTI/fix10907Florian Angeletti2022-02-031-0/+2
|/
* Fix a flaky test by refactoring TypePairs (#10638)Stephen Dolan2021-09-151-1/+1
* Fix detection of immediate64 types through unboxed typesLeo White2021-07-291-3/+0
* Move method spine generalisation logic into CtypeLeo White2021-07-151-2/+2
* Keep class signature row up-to-dateLeo White2021-07-151-3/+3
* Treat class_signature more like type_exprThomas Refis2021-07-141-20/+50
* Track dummy methods via their scopeLeo White2021-07-131-0/+1
* Change representation of class typesLeo White2021-07-131-8/+10
* Collect vars and meths without referencesLeo White2021-07-131-2/+2
* Normalize type_expr nodes on access (#10337)Jacques Garrigue2021-06-241-6/+1
* Respond to final round of review for #10407Antal Spector-Zabusky2021-06-211-3/+1
* Make `Errortrace.*_error` only contain nonempty tracesAntal Spector-Zabusky2021-06-211-4/+31
* Respond to more review for the structured error messages (#10407)Antal Spector-Zabusky2021-06-211-6/+6
* Respond to review for the new structured error messages (#10407)Antal Spector-Zabusky2021-06-211-4/+25
* Use the new structured errors (#10170) for better error messagesAntal Spector-Zabusky2021-06-211-17/+11
* Give more precise error when disambiguation could not possibly workLeo White2021-06-081-4/+9
* Fix formatting issuesAntal Spector-Zabusky2021-05-061-2/+4
* Address all the excellent reviewer suggestionsAntal Spector-Zabusky2021-05-061-8/+15
* Maintain more structural information in type-checking errorsAntal Spector-Zabusky2021-05-061-81/+32
* unify field name and type on TpackageEduardoRFS2021-04-211-2/+2
* Remove Ctype.enforce_constraintsStephen Dolan2021-04-191-2/+0
* make update_scope recursive while keeping trace_gadt_instances (#10277)Jacques Garrigue2021-04-191-1/+1
* Remove Ctype.cyclic_abbrevStephen Dolan2021-02-231-1/+0
* generalize_structure: slight clean upThomas Refis2021-02-091-1/+2
* Allow to name existentials in pattern-matching (#9584)Jacques Garrigue2021-02-041-2/+5
* Fix by making normalize_type not depend on env #8907 (#9878)Jacques Garrigue2020-12-011-1/+1
* type_cases: rely on levels to enforce principality (#1931)Thomas Refis2020-07-081-2/+7
* Fix #7902: Type-checker infers a recursive type, even though -rectype… (#9556)Jacques Garrigue2020-06-151-1/+2
* Fix #7520: Odd behaviour of refutation cases with polymorphic variants (#9547)Jacques Garrigue2020-06-031-2/+0
* import Jacques comment on flatten_fields from the issue trackeroctachron2020-05-181-2/+18
* Relax the handling of explicit polymorphic typesLeo White2020-01-201-1/+2
* Add support for [@@immediate64]Jeremie Dimino2019-09-241-0/+2
* Refactor environment lookup functionsLeo White2019-08-151-1/+0
View Lorry Controller Status