if(edo)
context.pushEffectUpperBound(location, blockType == BlockType.Monad ? Types.NO_EFFECTS : Types.metaVar(Kinds.EFFECT));
in = in.checkType(context, requiredType);
- if(edo)
+ if(edo) {
effect = context.popEffectUpperBound();
+ context.declareEffect(location, effect);
+ }
else
effect = Types.NO_EFFECTS;
Type inType = in.getType();