unison icon indicating copy to clipboard operation
unison copied to clipboard

`display` combined with `abort` returns unexpected error instead of ability constructor

Open rlmark opened this issue 2 years ago • 2 comments

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

rlmark avatar Jul 29 '22 00:07 rlmark

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.

pchiusano avatar Jul 29 '22 01:07 pchiusano

This will be triggered when displaying any 0-arg ability operation.

pchiusano avatar Jul 29 '22 01:07 pchiusano