\r
@Override\r
public void collectFreeVariables(THashSet<Variable> vars) {\r
- vars.add(var);\r
- pattern.collectFreeVariables(vars);\r
+ throw new InternalCompilerError(location, "Cannot collect free variables for a pattern.");\r
+ }\r
+ \r
+ @Override\r
+ public void removeFreeVariables(THashSet<Variable> vars) {\r
+ vars.remove(var);\r
+ pattern.removeFreeVariables(vars);\r
}\r
\r
@Override\r