summaryrefslogtreecommitdiff
path: root/typing/printtyp.ml
Commit message (Expand)AuthorAgeFilesLines
...
* | Address all the excellent reviewer suggestionsAntal Spector-Zabusky2021-05-061-96/+65
* | Maintain more structural information in type-checking errorsAntal Spector-Zabusky2021-05-061-154/+241
|/
* Merge pull request #10360 from EduardoRFS/refactor-format-of-tpackage-mergeGabriel Scherer2021-04-241-8/+12
|\
| * unify field name and type on TpackageEduardoRFS2021-04-211-8/+12
* | fix printing of nested recursive definitionsFlorian Angeletti2021-04-221-28/+34
|/
* Merge pull request #10219 from Octachron/printtyp_explicit_syntactic_groupsGabriel Scherer2021-04-201-84/+137
|\
| * review: comments and constant propagationoctachron2021-04-191-3/+10
| * printtyp review: faithful syntactic rec groupoctachron2021-02-121-35/+67
| * No more state-passing and mutatingFlorian Angeletti2021-02-121-6/+8
| * more_trees -> group_treesFlorian Angeletti2021-02-121-2/+2
| * Hide all type idsFlorian Angeletti2021-02-121-9/+7
| * Simpler tree_of_signature_recFlorian Angeletti2021-02-121-8/+9
| * review: patterns refactoringFlorian Angeletti2021-02-121-8/+10
| * printtyp: generated row types are ghost sigitemsFlorian Angeletti2021-02-121-19/+22
| * split print_signature in three phasesFlorian Angeletti2021-02-121-69/+77
* | Semantic diffings for functor types and applications (#9331)Gabriel Radanne2021-04-071-15/+50
|/
* Make Tsubst directly retain two arguments, instead of nesting a Ttuple (#10174)Takafumi Saikawa2021-02-011-5/+12
* Merge pull request #9747 from Octachron/all_types_are_not_variablesFlorian Angeletti2020-12-141-2/+13
|\
| * review: less mysterious messagesFlorian Angeletti2020-12-091-3/+6
| * printtyp(9739): not all types are variablesFlorian Angeletti2020-12-091-2/+10
* | Make type_expr private (#9994)Jacques Garrigue2020-12-141-1/+1
|/
* Fix by making normalize_type not depend on env #8907 (#9878)Jacques Garrigue2020-12-011-1/+1
* reviewFlorian Angeletti2020-09-081-10/+33
* printtyp: cache old short path data in wrap_envFlorian Angeletti2020-09-081-0/+10
* Righteous ambivalence (#9767)Jacques Garrigue2020-07-291-2/+2
* Add injectivity annotations (#9500)Jacques Garrigue2020-06-151-4/+21
* Merge pull request #8934 from trefis/usageThomas Refis2020-03-061-0/+1
|\
| * Add a unique id to every signature itemThomas Refis2020-03-051-0/+1
* | Merge pull request #9343 from lpw25/fix-short-paths-environmentsFlorian Angeletti2020-03-061-0/+6
|\ \
| * | Apply short-paths to an additional caseLeo White2020-03-051-0/+6
| |/
* | printtyp: inline a function call (#9347)Thomas Refis2020-03-051-14/+12
|/
* Merge pull request #9274 from Octachron/unload_module_lookupFlorian Angeletti2020-01-311-10/+16
|\
| * Printtyp: don't read cmis when printingFlorian Angeletti2020-01-301-10/+16
* | Merge pull request #9269 from Octachron/fix_annotGabriel Scherer2020-01-301-0/+4
|\ \ | |/ |/|
| * reviewFlorian Angeletti2020-01-291-13/+7
| * 9218, avoid module/type path collitsionFlorian Angeletti2020-01-281-3/+13
* | add separability signatures in type declarationsGabriel Scherer2020-01-281-3/+10
|/
* Avoid duplicated mark_loopsFlorian Angeletti2019-10-171-6/+8
* make Printtyp.type_expr safer to useFlorian Angeletti2019-10-161-2/+6
* a better representation for modules with no name (#8908)Thomas Refis2019-10-091-8/+15
* Add support for [@@immediate64]Jeremie Dimino2019-09-241-5/+2
* Merge pull request #2127 from lpw25/lookup-errorsThomas Refis2019-08-211-17/+28
|\
| * Refactor environment lookup functionsLeo White2019-08-151-17/+28
* | Merge pull request #8844 from MekhrubonT/trunk+mekh+1task+change_outputFlorian Angeletti2019-08-161-9/+33
|\ \ | |/ |/|
| * reseting context in constructors and labels methods before printingMekhrubon Turaev2019-07-301-2/+7
| * Printing additional info about types mismatch during compilation error.Mekhrubon Turaev2019-07-301-9/+28
* | Rename printing function in Printtyp.ConflictsFlorian Angeletti2019-07-311-29/+32
* | Hint: redefinition of types in toplevel sessionsFlorian Angeletti2019-07-311-11/+49
|/
* #8702: fix some polymorphic variant error messages (#8777)Florian Angeletti2019-07-121-8/+41
* Remove Misc.may_map and similarLeo White2019-05-231-3/+3
View Lorry Controller Status