mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-11 10:35:57 +03:00
23 lines
233 B
Markdown
23 lines
233 B
Markdown
```ucm:hide
|
|
scratch/main> builtins.merge
|
|
```
|
|
|
|
These were failing to type check before, because id was not
|
|
generalized.
|
|
|
|
```unison
|
|
|
|
foo = do
|
|
id x =
|
|
_ = 1
|
|
x
|
|
id ()
|
|
id "hello"
|
|
|
|
bar = do
|
|
id x = x
|
|
id ()
|
|
id "hello"
|
|
```
|
|
|