unisonweb / unison

A friendly programming language from the future

Home Page:https://unison-lang.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

rlmark opened this issue · 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

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.