mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-11 02:25:39 +03:00
15 lines
239 B
Markdown
15 lines
239 B
Markdown
|
|
```ucm:hide
|
|
scratch/main> builtins.merge
|
|
```
|
|
|
|
Tests that delaying an un-annotated higher-rank type gives a normal
|
|
type error, rather than an internal compiler error.
|
|
|
|
```unison:error
|
|
f : (forall a . a -> a) -> Nat
|
|
f id = id 0
|
|
|
|
x = 'f
|
|
```
|