EXCEPTION row is named err

Question

leighman opened this issue 9 years ago · 3 comments

This means that types don't unify if you use Eff (exception :: EXCEPTION | e) a in your own type signature and use eg. throw.

Is there a reason for this, other than length? It seems inconsistent with every other effect row name.

Answer 1 · 2016-11-21T16:54:33.000Z

I'm surprised we don't have an issue for this already actually, as yeah, it's problematic.

Answer 2 · 2017-03-26T01:38:56.000Z

@paf31 what do you think about changing this now?

Answer 3 · 2017-03-26T01:47:37.000Z

Makes sense to me. Didn't it used to be called exception?