summaryrefslogtreecommitdiff
path: root/typing/ctype.ml
Commit message (Expand)AuthorAgeFilesLines
* use Misc.find_first_monoTakafumi Saikawa2023-04-081-9/+10
* remove reified_var_counterTakafumi Saikawa2023-04-081-16/+22
* Print the type variable that cannot be generalized (#12051)Stefan Muenzel2023-03-271-56/+95
* move Typetexp.TyVarEnv.reset inside with_local_level etc. (#12012)Jacques Garrigue2023-02-231-2/+2
* Merge pull request #11536 from COCTI/wrap_defGabriel Scherer2023-01-141-21/+43
|\
| * remove description of old APIJacques Garrigue2022-12-281-12/+0
| * move comment about old API inside ctype.mlJacques Garrigue2022-12-281-0/+12
| * update as suggested by @gascheJacques Garrigue2022-12-281-4/+3
| * rename wrap_def -> with_local_level, etc.Takafumi Saikawa2022-12-271-15/+16
| * remove an unneeded restoration of levels in check_counter_example_patTakafumi Saikawa2022-12-271-14/+0
| * rename [wrap_*_process] to [wrap_*_iter] and [~proc] to [~post]Takafumi Saikawa2022-12-271-6/+6
| * wrappers revert to original level in case of exception tooJacques Garrigue2022-12-271-27/+18
| * Introduce wrapper functions for level management ([Ctype.wrap_def], etc)Takafumi Saikawa2022-12-271-7/+52
* | Add a unification mode for `subst`Leo White2023-01-121-9/+23
* | Refactor unification mode stateLeo White2023-01-121-58/+83
* | Bugfix for Ctype.nondep_type (#11879)Stephen Dolan2023-01-121-4/+8
* | [refactor] ctype: remove delayed_copy global stateGabriel Scherer2023-01-011-15/+13
* | [refactor] [minor] ctype: simplify copy_recGabriel Scherer2023-01-011-5/+4
* | [refactor] [minor] ctype: restructure copy_recGabriel Scherer2023-01-011-36/+38
* | [refactor] Ctype: remove dead functionGabriel Scherer2023-01-011-8/+0
* | free_vars: use informative typesGabriel Scherer2023-01-011-18/+26
* | [refactor] ctype: remove global mutable state around [free_vars]Gabriel Scherer2023-01-011-48/+36
|/
* Merge pull request #11600 from COCTI/fix10664aGabriel Scherer2022-11-111-52/+42
|\
| * simplify furtherJacques Garrigue2022-11-091-3/+0
| * use copy_sep for Tunivar tooJacques Garrigue2022-11-091-2/+1
| * use copy_recJacques Garrigue2022-11-041-6/+3
| * just share everythingJacques Garrigue2022-11-041-8/+1
| * Add comment explaining how copy_sep worksJacques Garrigue2022-11-041-2/+21
| * rename ~shared to ~visitedJacques Garrigue2022-11-041-9/+9
| * need to share everything for the invariant to be correctJacques Garrigue2022-11-041-20/+15
| * remove unused ~boundJacques Garrigue2022-11-041-6/+4
| * simplify using assumption that we are only opening a Tpoly at a timeJacques Garrigue2022-11-041-14/+8
| * sharingJacques Garrigue2022-11-041-9/+7
| * simplify code by computing unbound univarsJacques Garrigue2022-11-041-26/+15
| * oopsJacques Garrigue2022-11-041-2/+2
| * also fix Tvar case; no assumption on openingJacques Garrigue2022-11-041-4/+16
| * Fix real cause of #10664 in copy_sepJacques Garrigue2022-11-041-3/+7
| * Fix #10664Jacques Garrigue2022-11-041-6/+1
* | Encode extra types within pathHyunggyu Jang2022-11-111-1/+2
* | clty_ty -> clty_hash_typeHyunggyu Jang2022-11-101-1/+1
* | Remove hash type encodingHyunggyu Jang2022-11-091-29/+19
|/
* ctype.ml: more copy_scope explicitationGabriel Scherer2022-10-261-33/+35
* ctype.ml: disambiguate and clarify copy_scope parametersGabriel Scherer2022-10-261-18/+18
* update a comment from before For_copy was introducedGabriel Scherer2022-10-261-6/+8
* ctype: handle missings cmi when using find_expansion_scopeFlorian Angeletti2022-09-231-3/+3
* Stop passing -safe-string when building the compiler and in the testsuiteSébastien Hinderer2022-09-111-1/+0
* Support clever expansion of gadt equations in presence of local module (#10348)Jacques Garrigue2022-07-041-27/+32
* Fix #11101 by making `occur ty ty` succeed (#11109)Jacques Garrigue2022-03-151-2/+3
* Merge pull request #10987 from trefis/instance_constructorThomas Refis2022-03-041-19/+23
|\
| * instance_constructor: in_pattern doesn't really make sense anymoreThomas Refis2022-02-031-4/+8
View Lorry Controller Status