Fixed leftover problems in unification of *Array and Vector types

[simantics/platform.git] / bundles / org.simantics.scl.compiler / src / org / simantics / scl / compiler / internal / elaboration / constraints / Constraint.java

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints/Constraint.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints/Constraint.java
index c49167508bb74a83cfa8298c8da70a3c1085a99f..d8c0dd1ae38cb51b7326039c46ba58d1a4c94f88 100644 (file)
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints/Constraint.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/constraints/Constraint.java
@@ -85,7 +85,7 @@ public class Constraint implements Typed {
                 // Try to find constant evidence and prefer that
                 // to subclass
                 {
-                    Reduction reduction = environment.reduce(constraint);
+                    Reduction reduction = environment.reduce(demandLocation, constraint);
                     if(reduction != null && reduction.demands.length == 0) {
                         generator = reduction.generator;
                         generatorParameters = reduction.parameters;