delta/ocaml.git/typing/oprint.ml, branch pr8908 github.com: ocaml/ocaml PR#8908: used as a base for other PRs. 2019-09-11T17:44:31+00:00 Thomas Refis thomas.refis@gmail.com 2019-09-02T10:43:26+00:00 6f492fdbd9c352c0502c118a80d451b8867b1dae 






typing/oprint: linear implementation of the functor printing heuristic
2019-09-04T19:18:17+00:00

Gabriel Scherer
gabriel.scherer@gmail.com

2019-09-04T13:50:45+00:00

c7b0f4d71df48a6151eb92c44ae4579ebff3ba35












typing/oprint: improve printing of functor arguments
2019-09-04T19:18:16+00:00

Gabriel Scherer
gabriel.scherer@gmail.com

2019-09-02T14:39:32+00:00

1ba9dce47f50bd533a75f9342c93c5b8ee2b613f

This commit improves the printing of mixed anonymous/non-anonymous
functor signatures from (before)

    module type LongFunctor =
      functor (X : A) -> B -> functor (Z : C) -> D -> E -> sig end

to (with this commit)

    module type LongFunctor =
      functor (X : A) (_ : B) (Z : C) -> D -> E -> sig end





This commit improves the printing of mixed anonymous/non-anonymous
functor signatures from (before)

    module type LongFunctor =
      functor (X : A) -> B -> functor (Z : C) -> D -> E -> sig end

to (with this commit)

    module type LongFunctor =
      functor (X : A) (_ : B) (Z : C) -> D -> E -> sig end







typing/oprint: rework printing of functor arguments
2019-09-03T15:48:13+00:00

Gabriel Scherer
gabriel.scherer@gmail.com

2019-09-02T14:39:32+00:00

331b322ab573abb24e609934f8e7f62b92d26ad0

The new implementation is closer to the grammar rules, and I find it
easier about.

For example, I was able to implement the long-form-or-short-form
heuristic easily, improving the printing from (before)

    module type LongFunctor =
      functor (X : A) -> B -> functor (Z : C) -> D -> E -> sig end

to (with this commit)

    module type LongFunctor =
      functor (X : A) (_ : B) (Z : C) -> D -> E -> sig end

The printing should be exactly the same as with the previous
implementation -- thanks to the help of Florian Angeletti.





The new implementation is closer to the grammar rules, and I find it
easier about.

For example, I was able to implement the long-form-or-short-form
heuristic easily, improving the printing from (before)

    module type LongFunctor =
      functor (X : A) -> B -> functor (Z : C) -> D -> E -> sig end

to (with this commit)

    module type LongFunctor =
      functor (X : A) (_ : B) (Z : C) -> D -> E -> sig end

The printing should be exactly the same as with the previous
implementation -- thanks to the help of Florian Angeletti.







typing/oprint: [minor] improve printing of empty signatures
2019-09-03T09:44:21+00:00

Gabriel Scherer
gabriel.scherer@gmail.com

2019-09-02T14:39:32+00:00

071bae4c5f8a05c5b72d82a68a9979f25ee18dbb












Merge pull request #8906 from Octachron/functor_arrow_associativity
2019-09-02T15:51:17+00:00

Florian Angeletti
florian.angeletti@inria.fr

2019-09-02T15:51:17+00:00

2bd33ee515eef130e745d6bba9a6e88f10803955

Print parentheses in (A->B)->C




Print parentheses in (A->B)->C






Print parentheses in (A->B)->C
2019-09-02T13:16:47+00:00

Florian Angeletti
florian.angeletti@inria.fr

2019-08-29T16:12:12+00:00

740baf0317e063cbd9ebb545999ad198c396a8da












oprint: add break hint after functor args
2019-08-29T12:48:46+00:00

Florian Angeletti
florian.angeletti@inria.fr

2019-08-29T08:04:38+00:00

6032e9cf491832171680d5b06d72bf8980ac95dc












Printing additional info about types mismatch during compilation error.
2019-07-30T08:51:02+00:00

Mekhrubon Turaev
mturaev@vdc-qws-i20570a.delacy.com

2019-07-11T09:29:44+00:00

407d650f6e334d7aa190afc7ff88b415f35e799f












Custom Exception Handlers at toplevel (#8594)
2019-04-14T13:38:27+00:00

Andrew Litteken
andrew.litteken@gmail.com

2019-04-14T13:38:27+00:00

d4ef2eecea30cbf44029e87ec3600aca87f5bf25

fixes #7156 

Two new functions exposed:

```ocaml
val to_string_default: exn -> string
(** [Printexc.to_string_default e] returns a string representation of the
    exception [e], ignoring all registered exception printers.
    @since 4.09
*)

val use_printers: exn -> string option
(** [Printexc.use_printers e] returns [None] if there are no registered
    printers and [Some s] with else as the resulting string otherwise.
    @since 4.09
*)
```




fixes #7156 

Two new functions exposed:

```ocaml
val to_string_default: exn -> string
(** [Printexc.to_string_default e] returns a string representation of the
    exception [e], ignoring all registered exception printers.
    @since 4.09
*)

val use_printers: exn -> string option
(** [Printexc.use_printers e] returns [None] if there are no registered
    printers and [Some s] with else as the resulting string otherwise.
    @since 4.09
*)
```