mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-11 10:35:57 +03:00
19 lines
372 B
Markdown
19 lines
372 B
Markdown
|
|
```ucm:hide
|
|
scratch/main> builtins.mergeio
|
|
```
|
|
|
|
This should not typecheck - the inline `@eval` expression uses abilities.
|
|
|
|
```unison:error
|
|
structural ability Abort where abort : x
|
|
|
|
ex = {{ @eval{abort} }}
|
|
```
|
|
|
|
This file should also not typecheck - it has a triple backticks block that uses abilities.
|
|
|
|
```ucm:error
|
|
scratch/main> load unison-src/transcripts/fix2238.u
|
|
```
|