public Expression pattern;
public Expression value;
public Expression in;
- private EVariable monadEvidence;
+ EVariable monadEvidence;
SCLValue bindFunction;
Type monadType;
Type valueContentType;
public void accept(ExpressionVisitor visitor) {
visitor.visit(this);
}
-
- @Override
- public void forVariables(VariableProcedure procedure) {
- pattern.forVariables(procedure);
- value.forVariables(procedure);
- if(monadEvidence != null)
- monadEvidence.forVariables(procedure);
- }
@Override
public Expression accept(ExpressionTransformer transformer) {