addEffectConstructor("Proc", new EffectConstructor(Types.PROC));
addEffectConstructor("Exception", new EffectConstructor(Types.EXCEPTION));
+ addTypeAlias("Pure", TVar.EMPTY_ARRAY, Types.NO_EFFECTS);
+
//addTypeDescriptor("->", new StandardTypeConstructor(Kinds.STAR_TO_STAR_TO_STAR, Constants.FUNCTION));
addTypeDescriptor("[]", new StandardTypeConstructor(Types.LIST, Kinds.STAR_TO_STAR, Constants.LIST));
addTypeDescriptor("@", new StandardTypeConstructor(Types.PUNIT, Kinds.STAR, Constants.TUPLE[0]));
);
block.addStatement(apply);
- block.setExit(new Jump(runProcFunction.getReturnCont().createOccurrence(),
+ block.setExit(new Jump(-1, runProcFunction.getReturnCont().createOccurrence(),
x.createOccurrence()));
runProcFunction.addBlock(block);