mirror of
https://github.com/unisonweb/unison.git
synced 2024-08-15 13:30:27 +03:00
372 B
372 B
scratch/main> builtins.mergeio
This should not typecheck - the inline @eval expression uses abilities.
structural ability Abort where abort : x
ex = {{ @eval{abort} }}
This file should also not typecheck - it has a triple backticks block that uses abilities.
scratch/main> load unison-src/transcripts/fix2238.u