mirror of
https://github.com/unisonweb/unison.git
synced 2024-09-19 06:17:33 +03:00
update the second example in the transcript to fail for the right reasons
This commit is contained in:
parent
a8d76dc2d5
commit
e190567d8f
@ -14,5 +14,5 @@ ex = {{ @eval{abort} }}
|
|||||||
This file should also not typecheck - it has a triple backticks block that uses abilities.
|
This file should also not typecheck - it has a triple backticks block that uses abilities.
|
||||||
|
|
||||||
```ucm:error
|
```ucm:error
|
||||||
.> load fix2238.u
|
.> load unison-src/transcripts/fix2238.u
|
||||||
```
|
```
|
||||||
|
@ -18,11 +18,11 @@ ex = {{ @eval{abort} }}
|
|||||||
This file should also not typecheck - it has a triple backticks block that uses abilities.
|
This file should also not typecheck - it has a triple backticks block that uses abilities.
|
||||||
|
|
||||||
```ucm
|
```ucm
|
||||||
.> load fix2238.u
|
.> load unison-src/transcripts/fix2238.u
|
||||||
|
|
||||||
😶
|
The expression in red needs the {Abort} ability, but this location does not have access to any abilities.
|
||||||
|
|
||||||
|
7 | abort + 1
|
||||||
|
|
||||||
The file "fix2238.u" does not exist or is not a valid source
|
|
||||||
file.
|
|
||||||
|
|
||||||
```
|
```
|
||||||
|
Loading…
Reference in New Issue
Block a user