This operation variant specialises control by not allowing resumption. These could be implemented more efficiently, since they don't need to build up the resumption.
Exception operations should have polymorphic return type (since they don't return), so this could be an easier place to introduce this, compared to allowing type-parameters for effects in general.
They could also be implemented directly using LLVM's exception support.
This operation variant specialises
controlby not allowing resumption. These could be implemented more efficiently, since they don't need to build up the resumption.Exception operations should have polymorphic return type (since they don't return), so this could be an easier place to introduce this, compared to allowing type-parameters for effects in general.
They could also be implemented directly using LLVM's exception support.