-
Notifications
You must be signed in to change notification settings - Fork 150
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Mask is ignored when adding exn
effect
#511
Comments
So it looks like there is a bug in I'm seeing the following:
In particular in the Even without the issue in |
Consider the following example, where we use two different handlers to catch two
abort
effects.This program runs as expected, where
abortA()
is caught by themaybe
handler andabortB()
is caught by thecatch'
handler. The output thus is:However, if we merely change the type signature to
fun main() : <console, exn> ()
, we obtain:where now
abortA()
is also caught by thecatch'
handler (and the mask is seemingly ignored).The text was updated successfully, but these errors were encountered: