unison
unison copied to clipboard
`display` combined with `abort` returns unexpected error instead of ability constructor
If you attempt to display
the Abort.abort
function, you'll get the following error:
resolve: looked up bad dynamic: 80
The attached transcript will replicate the issue: displayabort.md
display has to evaluate the expression before rendering it, so it’s evaluating the abort, which has no handler. It should be an ability check failure type message, before even evaluating anything.
This will be triggered when displaying any 0-arg ability operation.