import org.simantics.scl.compiler.elaboration.expressions.Variable;
import org.simantics.scl.compiler.errors.Locations;
-import gnu.trove.map.hash.TObjectIntHashMap;
-import gnu.trove.set.hash.TIntHashSet;
-
public class ListAssignment extends ListQualifier {
public Expression pattern;
public Expression value;
@Override
public void checkType(TypingContext context) {
value = value.inferType(context);
- pattern.checkTypeAsPattern(context, value.getType());
- }
-
- @Override
- public void collectVars(TObjectIntHashMap<Variable> allVars,
- TIntHashSet vars) {
- value.collectVars(allVars, vars);
+ pattern = pattern.checkTypeAsPattern(context, value.getType());
}
@Override