Improve the printing of n-ary abstraction and type abstraction.
1 unresolved thread
1 unresolved thread
Compare changes
Files
3+ 10
− 15
@@ -103,9 +103,8 @@ Option type
@@ -223,12 +222,11 @@ Pattern-matching
@@ -311,7 +309,7 @@ It involves a useless universal quantifier.
@@ -330,11 +328,8 @@ and unreachable from the entry point of a type scheme.