Add break in printing of annotations.

This commit is contained in:
Olivier 2022-09-07 12:36:56 +02:00
parent 80dc654c15
commit bc9ebf36a9
2 changed files with 3 additions and 2 deletions

View File

@ -123,7 +123,7 @@ let print_annot print_elem (rigidity, tyvars, typ) =
"for"
in
surround 2 0 lparen (
print_elem ^^ space ^^ string ":"
print_elem ^^ break 1 ^^ string ":"
^^ (if tyvars = [] then empty
else prefix 2 1 empty
(rigidity_kwd ^^ space ^^

View File

@ -333,7 +333,8 @@ and unreachable from the entry point of a type scheme.
(FUN a1 ->
FUN a2 ->
(
(fun (x : a1 -> a1) -> fun (y : a2) -> y) (fun (x : a1) -> x) : a2 -> a2
(fun (x : a1 -> a1) -> fun (y : a2) -> y) (fun (x : a1) -> x)
: a2 -> a2
))
[[a0] a0]
[{}]