package org.simantics.scl.compiler.internal.elaboration.constraints;
-import gnu.trove.map.hash.THashMap;
-import gnu.trove.set.hash.THashSet;
-
import java.util.ArrayList;
import org.simantics.scl.compiler.elaboration.expressions.ELiteral;
import org.simantics.scl.compiler.types.TPred;
import org.simantics.scl.compiler.types.Types;
+import gnu.trove.map.hash.THashMap;
+import gnu.trove.set.hash.THashSet;
+
class ConstraintSet {
private static int id = 0;
unsolved = new THashSet<Constraint>();
for(Constraint c : temp) {
if(c.state == Constraint.STATE_UNSOLVED) {
- Reduction reduction = environment.reduce(c.constraint);
+ Reduction reduction = environment.reduce(c.demandLocation, c.constraint);
if(reduction != null) {
TPred[] demands = reduction.demands;
if(demands.length == 0)