summaryrefslogtreecommitdiff
path: root/typing/typeclass.ml
Commit message (Expand)AuthorAgeFilesLines
* Remove arity-interrupting elaboration of module unpacks (#12117)Nick Roberts2023-04-051-1/+1
* Print the type variable that cannot be generalized (#12051)Stefan Muenzel2023-03-271-5/+19
* move Typetexp.TyVarEnv.reset inside with_local_level etc. (#12012)Jacques Garrigue2023-02-231-1/+1
* Fix overlong lineRichard Eisenberg2023-02-031-1/+2
* Comments from @OctachronRichard Eisenberg2023-02-031-11/+11
* Encapsulate functions that work with tyvarsRichard Eisenberg2023-02-031-14/+14
* Merge pull request #11536 from COCTI/wrap_defGabriel Scherer2023-01-141-106/+112
|\
| * with_local_type_variable_scopeJacques Garrigue2022-12-281-2/+2
| * update as suggested by @gascheJacques Garrigue2022-12-281-18/+18
| * rename wrap_def -> with_local_level, etc.Takafumi Saikawa2022-12-271-12/+13
| * Introduce wrapper functions for level management ([Ctype.wrap_def], etc)Takafumi Saikawa2022-12-271-110/+115
* | free_vars: use informative typesGabriel Scherer2023-01-011-7/+10
|/
* Prohibit using classes through recursive modulesLeo White2022-12-061-1/+29
* Better error messagesHyunggyu Jang2022-11-101-19/+21
* clty_ty -> clty_hash_typeHyunggyu Jang2022-11-101-5/+5
* Remove hash type encodingHyunggyu Jang2022-11-091-68/+55
* review: remove redundant call to Printtyp.prepare_typeFlorian Angeletti2022-10-131-1/+0
* Printtyp: new function for extending set of prepared typeFlorian Angeletti2022-10-131-1/+2
* Fix regression allowing virtual methods in non-virtual classesLeo White2022-07-081-0/+11
* Do not trigger warning when calling virtual methods introduced by constrainin...Nicolás Ojeda Bär2022-04-271-25/+15
* make field_kind and commutable abstract typesTakafumi Saikawa2021-10-181-5/+5
* Improve type variable name generation and recursive type detection when print...Antal Spector-Zabusky2021-10-151-5/+4
* Add helpers for warning_scope in typeclass.mlLeo White2021-07-151-16/+21
* Remove unused csig_inher fieldLeo White2021-07-151-7/+1
* Move method spine generalisation logic into CtypeLeo White2021-07-151-15/+6
* Rename ConcrLeo White2021-07-151-26/+26
* Keep class signature row up-to-dateLeo White2021-07-151-7/+6
* Set object name of self typeLeo White2021-07-141-27/+2
* Fix warning attributes in class signaturesLeo White2021-07-141-37/+39
* Treat class_signature more like type_exprThomas Refis2021-07-141-619/+360
* Remove private_self and public_selfLeo White2021-07-131-56/+42
* Track dummy methods via their scopeLeo White2021-07-131-52/+54
* Represent ancestor variables more directlyLeo White2021-07-131-2/+8
* Give more precise errors for virtual methodsLeo White2021-07-131-136/+194
* Add dummy methods in all casesLeo White2021-07-131-2/+21
* Change representation of class typesLeo White2021-07-131-207/+257
* Collect vars and meths without referencesLeo White2021-07-131-90/+137
* Build met_env on second passLeo White2021-07-131-117/+163
* Relax object duplication restrictionsLeo White2021-07-131-23/+8
* Make the two-passes of class_field explicitLeo White2021-07-131-216/+393
* Normalize type_expr nodes on access (#10337)Jacques Garrigue2021-06-241-11/+15
* Make `Errortrace.*_error` only contain nonempty tracesAntal Spector-Zabusky2021-06-211-3/+6
* Respond to review for the new structured error messages (#10407)Antal Spector-Zabusky2021-06-211-28/+10
* Use the new structured errors (#10170) for better error messagesAntal Spector-Zabusky2021-06-211-51/+53
* Move type_unboxed.unboxed into type_kindStephen Dolan2021-05-251-3/+3
* Replace `report_error` and `trace_format` with 3 separate functionsAntal Spector-Zabusky2021-05-061-6/+6
* Change `Printtyp.trace_format` into a GADT and expose itAntal Spector-Zabusky2021-05-061-6/+6
* Maintain more structural information in type-checking errorsAntal Spector-Zabusky2021-05-061-15/+15
* Remove unused labelsLeo White2021-03-221-2/+1
* Allow to name existentials in pattern-matching (#9584)Jacques Garrigue2021-02-041-1/+1
View Lorry Controller Status