summaryrefslogtreecommitdiff
path: root/typing/oprint.ml
Commit message (Expand)AuthorAgeFilesLines
* variant with simplified oprintFlorian Angeletti2023-03-141-32/+14
* error messages: aliases for weakly polymorphic row variablesFlorian Angeletti2023-03-141-3/+17
* Better error messagesHyunggyu Jang2022-11-101-0/+2
* [refactoring] Outcometree: introduce a record type for constructorsGabriel Scherer2021-09-151-8/+23
* oprint: Truncate strings only after 8 bytesWiktor Kuchta2021-08-281-0/+1
* unify field name and type on TpackageEduardoRFS2021-04-211-4/+4
* Semantic diffings for functor types and applications (#9331)Gabriel Radanne2021-04-071-38/+48
* Add injectivity annotations (#9500)Jacques Garrigue2020-06-151-3/+5
* a better representation for modules with no name (#8908)Thomas Refis2019-10-091-9/+10
* Add support for [@@immediate64]Jeremie Dimino2019-09-241-1/+4
* typing/oprint: linear implementation of the functor printing heuristicGabriel Scherer2019-09-041-10/+13
* typing/oprint: improve printing of functor argumentsGabriel Scherer2019-09-041-7/+37
* typing/oprint: rework printing of functor argumentsGabriel Scherer2019-09-031-26/+32
* typing/oprint: [minor] improve printing of empty signaturesGabriel Scherer2019-09-031-1/+5
* Merge pull request #8906 from Octachron/functor_arrow_associativityFlorian Angeletti2019-09-021-6/+9
|\
| * Print parentheses in (A->B)->CFlorian Angeletti2019-09-021-6/+9
* | oprint: add break hint after functor argsFlorian Angeletti2019-08-291-2/+2
|/
* Printing additional info about types mismatch during compilation error.Mekhrubon Turaev2019-07-301-0/+3
* Custom Exception Handlers at toplevel (#8594)Andrew Litteken2019-04-141-1/+3
* Add support for "let" operatorsLeo White2018-11-271-5/+20
* Move variable printer to Pprintastalainfrisch2018-11-061-2/+2
* Fix printing of type variables with a quote on 2nd characteralainfrisch2018-11-061-13/+10
* oprint: tweak printing for polymorphic variantsFlorian Angeletti2018-08-151-1/+2
* Printtyp: minor refactoring of Path.t printing functions (#1988)Armael2018-08-141-0/+2
* PR#6416 et al.: injective mapping between identifiers and printed names (#1120)Florian Angeletti2018-06-261-2/+2
* Whitespace and overlong line fixes.David Allsopp2018-06-141-2/+5
* Fix toplevel printing of -0.Nicolás Ojeda Bär2018-03-301-1/+1
* Support empty variants (#1546)objmagic2018-03-061-2/+5
* Merge pull request #1231 from Octachron/hello_κόσμοςFlorian Angeletti2017-09-131-11/+67
|\
| * toplevel: only escapes bytes and not stringsoctachron2017-09-121-11/+67
* | Add private extensible variantsLeo White2017-09-111-1/+2
* | M.(::) syntax and printing exotic lists in the toplevel. (#1247)Florian Angeletti2017-08-111-2/+6
|/
* Strip big strings in toplevel (#1058)Fabrice Le Fessant2017-05-111-2/+18
* fix a problem where short-paths is not working for some polymorphic variant t...Valentin Gatien-Baron2017-01-021-2/+2
* GPR#606: add unboxed typesDamien Doligez2016-07-211-1/+5
* Correctly print declarations of the (::) constructor.alainfrisch2016-03-301-0/+5
* More warnings when compiling the compiler.alainfrisch2016-03-151-1/+1
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* Add support for immediate attributeWill Crichton2016-02-021-1/+5
* GPR#42: Add simpler functor type syntaxGabriel Scherer2015-10-251-7/+23
* GPR#254: @ocaml.arg_on_literal_pattern attribute on constructorsAlain Frisch2015-10-151-1/+1
* Update printing of externalsJérémie Dimino2015-10-061-5/+7
* Update printing of externals with [@unboxed] or [@untagged] attributesJérémie Dimino2015-08-251-0/+2
* Update printing of nonrec typesJérémie Dimino2015-03-131-1/+4
* PR#6648: show_module should indicate its elision (add Osig_ellipsis to outcom...Jacques Garrigue2014-11-101-0/+2
* Reintegrate-merge constructors_with_record5 branch.Alain Frisch2014-10-141-8/+10
|\
| * Adapt printer.Alain Frisch2014-04-071-8/+10
* | PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue2014-05-041-21/+126
|/
* Shorten syntax for functor signatures (patch by Thomas Gazagnaire)Gabriel Scherer2014-03-201-6/+11
* Merge module-alias branch (cf. PR#6063)Jacques Garrigue2014-01-101-0/+3
|\
View Lorry Controller Status