summaryrefslogtreecommitdiff
path: root/typing/printtyp.ml
Commit message (Expand)AuthorAgeFilesLines
* Print the type variable that cannot be generalized (#12051)Stefan Muenzel2023-03-271-2/+4
* variant with simplified oprintFlorian Angeletti2023-03-141-16/+10
* error messages: aliases for weakly polymorphic row variablesFlorian Angeletti2023-03-141-22/+35
* use find_first_mono in PrinttypGabriel Scherer2023-02-281-10/+10
* use Shape component kinds in printtypFlorian Angeletti2023-02-161-61/+64
* Remove an unused parameter in Printtyp.filter_trace (#12008)Richard Eisenberg2023-02-151-11/+6
* printtyp: Refactor constructor printing functionalityStefan Muenzel2023-02-141-46/+116
* review: grammarFlorian Angeletti2023-01-021-1/+1
* review: another ordinal descriptionoctachron2023-01-021-5/+4
* review: correct exampleFlorian Angeletti2023-01-021-2/+2
* review: explanation for `bound_in_recursion`Florian Angeletti2023-01-021-1/+22
* review: reduced diffFlorian Angeletti2023-01-021-3/+4
* review: better name for tree_of_best_type_pathFlorian Angeletti2023-01-021-8/+11
* review: printtyp, document collect_explanationsFlorian Angeletti2023-01-021-0/+6
* review: restructure and explain the assignment of index in printtypFlorian Angeletti2023-01-021-13/+21
* review: human id abstractionFlorian Angeletti2023-01-021-3/+14
* review: remove dangerous "!="Florian Angeletti2023-01-021-1/+1
* printtyp: remove spurious space in error tracesFlorian Angeletti2023-01-021-1/+1
* error messages: use de bruijn indices to disambiguate namesFlorian Angeletti2023-01-021-144/+88
* Encode extra types within pathHyunggyu Jang2022-11-111-13/+16
* Add explicit constructors to Path.t for inline record typesLeo White2022-11-111-6/+13
* Add colors to error message hints (#11685)Christiana Anthony2022-11-081-4/+4
* Printtyp: avoid stack overflow when printing constructors or recordsFlorian Angeletti2022-10-171-0/+5
* Printtyp: new function for extending set of prepared typeFlorian Angeletti2022-10-131-1/+4
* Remove uses of ;; from the codebaseSébastien Hinderer2022-02-251-2/+2
* Update privacy when methods are overridden. Fixes #10781.Leo White2021-11-181-2/+2
* abstract row_field (#10627)Jacques Garrigue2021-10-221-11/+16
* make field_kind and commutable abstract typesTakafumi Saikawa2021-10-181-26/+9
* Improve type variable name generation and recursive type detection when print...Antal Spector-Zabusky2021-10-151-134/+188
* [refactoring] Outcometree: introduce a record type for constructorsGabriel Scherer2021-09-151-3/+15
* Force normalization on access to `row_desc` (#10474)Jacques Garrigue2021-09-101-25/+27
* Rename ConcrLeo White2021-07-151-2/+2
* Treat class_signature more like type_exprThomas Refis2021-07-141-5/+5
* Change representation of class typesLeo White2021-07-131-52/+53
* Normalize type_expr nodes on access (#10337)Jacques Garrigue2021-06-241-90/+90
* Respond to final round of review for #10407Antal Spector-Zabusky2021-06-211-1/+1
* Make `Errortrace.*_error` only contain nonempty tracesAntal Spector-Zabusky2021-06-211-8/+12
* Respond to more review for the structured error messages (#10407)Antal Spector-Zabusky2021-06-211-39/+34
* Respond to review for the new structured error messages (#10407)Antal Spector-Zabusky2021-06-211-139/+163
* Use the new structured errors (#10170) for better error messagesAntal Spector-Zabusky2021-06-211-116/+196
* TyposJPR2021-06-061-1/+1
* Move type_unboxed.unboxed into type_kindStephen Dolan2021-05-251-12/+15
* toplevel: detect recursive definitions in #showFlorian Angeletti2021-05-191-6/+7
* Merge pull request #10401 from Octachron/signature_group_2Gabriel Scherer2021-05-121-88/+17
|\
| * Signature_group: ghost-aware iteration over signaturesoctachron2021-05-061-88/+17
* | Add {Int,Int32,Int64,NativeInt}.{min,max} (#10392)Alain Frisch2021-05-111-1/+1
* | Fix formatting issuesAntal Spector-Zabusky2021-05-061-26/+42
* | Replace `report_error` and `trace_format` with 3 separate functionsAntal Spector-Zabusky2021-05-061-1/+8
* | Return `prepare_expansion_head` to the global scopeAntal Spector-Zabusky2021-05-061-5/+4
* | Change `Printtyp.trace_format` into a GADT and expose itAntal Spector-Zabusky2021-05-061-8/+10
View Lorry Controller Status