2021-07-16 18:46:13 +03:00
|
|
|
This should not typecheck - the inline `@eval` expression uses abilities.
|
|
|
|
|
2024-07-10 17:46:18 +03:00
|
|
|
``` unison
|
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} }}
|
|
|
|
```
|
|
|
|
|
2024-07-10 19:17:15 +03:00
|
|
|
``` ucm
|
2021-07-16 18:46:13 +03:00
|
|
|
|
2023-12-22 14:55:24 +03:00
|
|
|
Loading changes detected in scratch.u.
|
|
|
|
|
2021-07-16 18:57:05 +03:00
|
|
|
The expression in red needs the {Abort} ability, but this location does not have access to any abilities.
|
2021-07-16 18:46:13 +03:00
|
|
|
|
|
|
|
3 | ex = {{ @eval{abort} }}
|
|
|
|
|
|
|
|
|
|
|
|
```
|
|
|
|
This file should also not typecheck - it has a triple backticks block that uses abilities.
|
|
|
|
|
2024-07-10 19:17:15 +03:00
|
|
|
``` ucm
|
2024-06-12 01:22:09 +03:00
|
|
|
scratch/main> load unison-src/transcripts/fix2238.u
|
2021-07-16 18:46:13 +03:00
|
|
|
|
2023-12-22 14:55:24 +03:00
|
|
|
Loading changes detected in unison-src/transcripts/fix2238.u.
|
|
|
|
|
2021-07-16 19:20:46 +03:00
|
|
|
The expression in red needs the {Abort} ability, but this location does not have access to any abilities.
|
|
|
|
|
|
|
|
7 | abort + 1
|
2021-07-16 18:46:13 +03:00
|
|
|
|
|
|
|
|
|
|
|
```
|