unison/unison-src/transcripts/fix2238.md

19 lines
372 B
Markdown
Raw Permalink Normal View History

2021-07-16 18:46:13 +03:00
```ucm:hide
scratch/main> builtins.mergeio
2021-07-16 18:46:13 +03:00
```
This should not typecheck - the inline `@eval` expression uses abilities.
```unison:error
2021-08-24 21:33:27 +03:00
structural ability Abort where abort : x
2021-07-16 18:46:13 +03:00
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
2021-07-16 18:46:13 +03:00
```