mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-11 02:25:39 +03:00
This is for consistency with the `cmark` style. Now the blocks we still pretty-print ourselves will match the bulk of them that `cmark` produces.
29 lines
518 B
Markdown
29 lines
518 B
Markdown
Tests that delaying an un-annotated higher-rank type gives a normal
|
||
type error, rather than an internal compiler error.
|
||
|
||
``` unison
|
||
f : (forall a . a -> a) -> Nat
|
||
f id = id 0
|
||
|
||
x = 'f
|
||
```
|
||
|
||
``` ucm
|
||
|
||
Loading changes detected in scratch.u.
|
||
|
||
I found a value of type: (a1 ->{𝕖} a1) ->{𝕖} Nat
|
||
where I expected to find: (a -> 𝕣1) -> 𝕣
|
||
|
||
1 | f : (forall a . a -> a) -> Nat
|
||
2 | f id = id 0
|
||
3 |
|
||
4 | x = 'f
|
||
|
||
from right here:
|
||
|
||
1 | f : (forall a . a -> a) -> Nat
|
||
|
||
|
||
```
|