From: Hannu Niemistö <hannu.niemisto@semantum.fi>
Date: Thu, 29 Dec 2016 07:44:00 +0000 (+0200)
Subject: Proper error message, when pattern compilation fails
X-Git-Tag: v1.26.0~4
X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=refs%2Fchanges%2F35%2F235%2F1;p=simantics%2Fplatform.git

Proper error message, when pattern compilation fails

Also, added CHR regression tests to regression test suite.

refs #6900

Change-Id: Idac2dc44b9afa74b5ea48e53d1f317a3497bd2bb
---

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRQuery.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRQuery.java
index 8bcd14b38..9e2bf6f34 100644
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRQuery.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRQuery.java
@@ -1,94 +1,94 @@
-package org.simantics.scl.compiler.elaboration.chr;
-
-import org.simantics.scl.compiler.elaboration.chr.plan.PostCommitOp;
-import org.simantics.scl.compiler.elaboration.chr.plan.PreCommitOp;
-import org.simantics.scl.compiler.elaboration.chr.planning.QueryPlanningContext;
-import org.simantics.scl.compiler.elaboration.contexts.SimplificationContext;
-import org.simantics.scl.compiler.elaboration.contexts.TranslationContext;
-import org.simantics.scl.compiler.elaboration.contexts.TypingContext;
-import org.simantics.scl.compiler.elaboration.expressions.Expression;
-import org.simantics.scl.compiler.elaboration.expressions.Variable;
-import org.simantics.scl.compiler.elaboration.expressions.VariableProcedure;
-import org.simantics.scl.compiler.elaboration.expressions.printing.ExpressionToStringVisitor;
-import org.simantics.scl.compiler.errors.Locations;
-import org.simantics.scl.compiler.internal.parsing.Symbol;
-
-import gnu.trove.map.hash.TObjectIntHashMap;
-import gnu.trove.set.hash.THashSet;
-import gnu.trove.set.hash.TIntHashSet;
-
-public class CHRQuery extends Symbol {
-    public CHRLiteral[] literals;
-
-    public CHRQuery(CHRLiteral[] literals) {
-        this.literals = literals;
-    }
-
-    public void resolve(TranslationContext context) {
-        for(CHRLiteral literal : literals)
-            literal.resolve(context);
-    }
-
-    public void collectRefs(TObjectIntHashMap<Object> allRefs, TIntHashSet refs) {
-        for(CHRLiteral literal : literals)
-            literal.collectRefs(allRefs, refs);
-    }
-
-    public void checkType(TypingContext context) {
-        for(CHRLiteral literal : literals)
-            literal.checkType(context);
-    }
-    
-    public void collectVars(TObjectIntHashMap<Variable> allVars, TIntHashSet vars) {
-        for(CHRLiteral literal : literals)
-            literal.collectVars(allVars, vars);
-    }
-
-    public void forVariables(VariableProcedure procedure) {
-        for(CHRLiteral literal : literals)
-            literal.forVariables(procedure);
-    }
-
-    public void collectFreeVariables(THashSet<Variable> vars) {
-        for(CHRLiteral literal : literals)
-            literal.collectFreeVariables(vars);
-    }
-
-    public void setLocationDeep(long loc) {
-        if(location == Locations.NO_LOCATION) {
-            this.location = loc;
-            for(CHRLiteral literal : literals)
-                literal.setLocationDeep(loc);
-        }
-    }
-    
-    public void createQueryPlan(QueryPlanningContext context, Expression inputFact, int activeLiteralId) {
-        for(int i=0;i<literals.length;++i) {
-            CHRLiteral literal = literals[i];
-            if(i == activeLiteralId)
-                context.activate(literal, inputFact, i);
-            else
-                context.add(literal, i);
-        }
-        context.createQueryPlan();
-    }
-    
-    public void simplify(SimplificationContext context) {
-        for(CHRLiteral literal : literals)
-            literal.simplify(context);
-    }
-
-    public void createEnforcePlan(QueryPlanningContext context, int priority) {
-        context.addPlanOp(new PreCommitOp(location));
-        for(CHRLiteral literal : literals)
-            context.claim(context, literal);
-        context.addPlanOp(new PostCommitOp(location, priority));
-    }
-    
-    public String toString() {
-        StringBuilder b = new StringBuilder();
-        ExpressionToStringVisitor visitor = new ExpressionToStringVisitor(b);
-        visitor.visit(this);
-        return b.toString();
-    }
-}
+package org.simantics.scl.compiler.elaboration.chr;
+
+import org.simantics.scl.compiler.elaboration.chr.plan.PostCommitOp;
+import org.simantics.scl.compiler.elaboration.chr.plan.PreCommitOp;
+import org.simantics.scl.compiler.elaboration.chr.planning.QueryPlanningContext;
+import org.simantics.scl.compiler.elaboration.contexts.SimplificationContext;
+import org.simantics.scl.compiler.elaboration.contexts.TranslationContext;
+import org.simantics.scl.compiler.elaboration.contexts.TypingContext;
+import org.simantics.scl.compiler.elaboration.expressions.Expression;
+import org.simantics.scl.compiler.elaboration.expressions.Variable;
+import org.simantics.scl.compiler.elaboration.expressions.VariableProcedure;
+import org.simantics.scl.compiler.elaboration.expressions.printing.ExpressionToStringVisitor;
+import org.simantics.scl.compiler.errors.Locations;
+import org.simantics.scl.compiler.internal.parsing.Symbol;
+
+import gnu.trove.map.hash.TObjectIntHashMap;
+import gnu.trove.set.hash.THashSet;
+import gnu.trove.set.hash.TIntHashSet;
+
+public class CHRQuery extends Symbol {
+    public CHRLiteral[] literals;
+
+    public CHRQuery(CHRLiteral[] literals) {
+        this.literals = literals;
+    }
+
+    public void resolve(TranslationContext context) {
+        for(CHRLiteral literal : literals)
+            literal.resolve(context);
+    }
+
+    public void collectRefs(TObjectIntHashMap<Object> allRefs, TIntHashSet refs) {
+        for(CHRLiteral literal : literals)
+            literal.collectRefs(allRefs, refs);
+    }
+
+    public void checkType(TypingContext context) {
+        for(CHRLiteral literal : literals)
+            literal.checkType(context);
+    }
+    
+    public void collectVars(TObjectIntHashMap<Variable> allVars, TIntHashSet vars) {
+        for(CHRLiteral literal : literals)
+            literal.collectVars(allVars, vars);
+    }
+
+    public void forVariables(VariableProcedure procedure) {
+        for(CHRLiteral literal : literals)
+            literal.forVariables(procedure);
+    }
+
+    public void collectFreeVariables(THashSet<Variable> vars) {
+        for(CHRLiteral literal : literals)
+            literal.collectFreeVariables(vars);
+    }
+
+    public void setLocationDeep(long loc) {
+        if(location == Locations.NO_LOCATION) {
+            this.location = loc;
+            for(CHRLiteral literal : literals)
+                literal.setLocationDeep(loc);
+        }
+    }
+    
+    public boolean createQueryPlan(QueryPlanningContext context, Expression inputFact, int activeLiteralId) {
+        for(int i=0;i<literals.length;++i) {
+            CHRLiteral literal = literals[i];
+            if(i == activeLiteralId)
+                context.activate(literal, inputFact, i);
+            else
+                context.add(literal, i);
+        }
+        return context.createQueryPlan();
+    }
+    
+    public void simplify(SimplificationContext context) {
+        for(CHRLiteral literal : literals)
+            literal.simplify(context);
+    }
+
+    public void createEnforcePlan(QueryPlanningContext context, int priority) {
+        context.addPlanOp(new PreCommitOp(location));
+        for(CHRLiteral literal : literals)
+            context.claim(context, literal);
+        context.addPlanOp(new PostCommitOp(location, priority));
+    }
+    
+    public String toString() {
+        StringBuilder b = new StringBuilder();
+        ExpressionToStringVisitor visitor = new ExpressionToStringVisitor(b);
+        visitor.visit(this);
+        return b.toString();
+    }
+}
diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRule.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRule.java
index 8ba172fb9..48aefbdac 100644
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRule.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRule.java
@@ -1,123 +1,125 @@
-package org.simantics.scl.compiler.elaboration.chr;
-
-import org.simantics.scl.compiler.compilation.CompilationContext;
-import org.simantics.scl.compiler.elaboration.chr.plan.PlanOp;
-import org.simantics.scl.compiler.elaboration.chr.plan.PrioritizedPlan;
-import org.simantics.scl.compiler.elaboration.chr.planning.QueryPlanningContext;
-import org.simantics.scl.compiler.elaboration.chr.relations.CHRConstraint;
-import org.simantics.scl.compiler.elaboration.contexts.SimplificationContext;
-import org.simantics.scl.compiler.elaboration.contexts.TranslationContext;
-import org.simantics.scl.compiler.elaboration.contexts.TypingContext;
-import org.simantics.scl.compiler.elaboration.expressions.EVariable;
-import org.simantics.scl.compiler.elaboration.expressions.Variable;
-import org.simantics.scl.compiler.elaboration.expressions.VariableProcedure;
-import org.simantics.scl.compiler.elaboration.expressions.printing.ExpressionToStringVisitor;
-import org.simantics.scl.compiler.errors.Locations;
-import org.simantics.scl.compiler.internal.parsing.Symbol;
-import org.simantics.scl.compiler.types.Types;
-import org.simantics.scl.compiler.types.kinds.Kinds;
-
-import gnu.trove.map.hash.TObjectIntHashMap;
-import gnu.trove.set.hash.THashSet;
-import gnu.trove.set.hash.TIntHashSet;
-
-public class CHRRule extends Symbol {
-    public int priority;
-    public CHRQuery head;
-    public CHRQuery body;
-    public Variable[] existentialVariables;
-    
-    // Analysis
-    public int firstPriorityExecuted;
-    public int lastPriorityExecuted;
-    
-    public CHRRule(long location, CHRQuery head, CHRQuery body, Variable[] existentialVariables) {
-        this.location = location;
-        this.head = head;
-        this.body = body;
-        this.existentialVariables = existentialVariables;
-    }
-
-    public void resolve(TranslationContext context) {
-        context.pushExistentialFrame();
-        head.resolve(context);
-        body.resolve(context);
-        existentialVariables = context.popExistentialFrame();
-    }
-
-    public void collectRefs(TObjectIntHashMap<Object> allRefs, TIntHashSet refs) {
-        head.collectRefs(allRefs, refs);
-        body.collectRefs(allRefs, refs);
-    }
-
-    public void checkType(TypingContext context) {
-        for(Variable variable : existentialVariables)
-            variable.setType(Types.metaVar(Kinds.STAR));
-        head.checkType(context);
-        body.checkType(context);
-    }
-    
-    public void collectVars(TObjectIntHashMap<Variable> allVars, TIntHashSet vars) {
-        head.collectVars(allVars, vars);
-        body.collectVars(allVars, vars);
-    }
-
-    public void forVariables(VariableProcedure procedure) {
-        head.forVariables(procedure);
-        body.forVariables(procedure);
-    }
-
-    public void collectFreeVariables(THashSet<Variable> vars) {
-        head.collectFreeVariables(vars);
-        body.collectFreeVariables(vars);
-    }
-
-    public void setLocationDeep(long loc) {
-        if(location == Locations.NO_LOCATION) {
-            this.location = loc;
-            head.setLocationDeep(loc);
-            body.setLocationDeep(loc);
-        }
-    }
-    
-    public void simplify(SimplificationContext context) {
-        head.simplify(context);
-        body.simplify(context);
-    }
-
-    public void compile(CompilationContext compilationContext, CHRConstraint initConstraint) {
-        boolean hasActiveLiteral = false;
-        for(int i=0;i<head.literals.length;++i) {
-            CHRLiteral literal = head.literals[i];
-            if(literal.passive)
-                continue;
-            CHRConstraint constraint = (CHRConstraint)literal.relation;
-            
-            Variable activeFact = new Variable("activeFact", constraint.factType);
-            QueryPlanningContext context = new QueryPlanningContext(compilationContext, existentialVariables);
-            head.createQueryPlan(context, new EVariable(activeFact), i);
-            body.createEnforcePlan(context, priority);
-            constraint.plans.add(new PrioritizedPlan(priority, activeFact, context.getPlanOps()));
-            
-            hasActiveLiteral = true;
-        }
-        if(!hasActiveLiteral) {
-            Variable activeFact = new Variable("activeFact", initConstraint.factType);
-            QueryPlanningContext context = new QueryPlanningContext(compilationContext, existentialVariables);
-            head.createQueryPlan(context, null, -1);
-            body.createEnforcePlan(context, priority);
-            /*System.out.println(this);
-            for(PlanOp planOp : context.getPlanOps())
-                System.out.println("    " + planOp);*/
-            initConstraint.plans.add(new PrioritizedPlan(priority, activeFact, context.getPlanOps()));
-        }
-    }
-    
-    public String toString() {
-        StringBuilder b = new StringBuilder();
-        ExpressionToStringVisitor visitor = new ExpressionToStringVisitor(b);
-        visitor.visit(this);
-        return b.toString();
-    }
-    
-}
+package org.simantics.scl.compiler.elaboration.chr;
+
+import org.simantics.scl.compiler.compilation.CompilationContext;
+import org.simantics.scl.compiler.elaboration.chr.plan.PlanOp;
+import org.simantics.scl.compiler.elaboration.chr.plan.PrioritizedPlan;
+import org.simantics.scl.compiler.elaboration.chr.planning.QueryPlanningContext;
+import org.simantics.scl.compiler.elaboration.chr.relations.CHRConstraint;
+import org.simantics.scl.compiler.elaboration.contexts.SimplificationContext;
+import org.simantics.scl.compiler.elaboration.contexts.TranslationContext;
+import org.simantics.scl.compiler.elaboration.contexts.TypingContext;
+import org.simantics.scl.compiler.elaboration.expressions.EVariable;
+import org.simantics.scl.compiler.elaboration.expressions.Variable;
+import org.simantics.scl.compiler.elaboration.expressions.VariableProcedure;
+import org.simantics.scl.compiler.elaboration.expressions.printing.ExpressionToStringVisitor;
+import org.simantics.scl.compiler.errors.Locations;
+import org.simantics.scl.compiler.internal.parsing.Symbol;
+import org.simantics.scl.compiler.types.Types;
+import org.simantics.scl.compiler.types.kinds.Kinds;
+
+import gnu.trove.map.hash.TObjectIntHashMap;
+import gnu.trove.set.hash.THashSet;
+import gnu.trove.set.hash.TIntHashSet;
+
+public class CHRRule extends Symbol {
+    public int priority;
+    public CHRQuery head;
+    public CHRQuery body;
+    public Variable[] existentialVariables;
+    
+    // Analysis
+    public int firstPriorityExecuted;
+    public int lastPriorityExecuted;
+    
+    public CHRRule(long location, CHRQuery head, CHRQuery body, Variable[] existentialVariables) {
+        this.location = location;
+        this.head = head;
+        this.body = body;
+        this.existentialVariables = existentialVariables;
+    }
+
+    public void resolve(TranslationContext context) {
+        context.pushExistentialFrame();
+        head.resolve(context);
+        body.resolve(context);
+        existentialVariables = context.popExistentialFrame();
+    }
+
+    public void collectRefs(TObjectIntHashMap<Object> allRefs, TIntHashSet refs) {
+        head.collectRefs(allRefs, refs);
+        body.collectRefs(allRefs, refs);
+    }
+
+    public void checkType(TypingContext context) {
+        for(Variable variable : existentialVariables)
+            variable.setType(Types.metaVar(Kinds.STAR));
+        head.checkType(context);
+        body.checkType(context);
+    }
+    
+    public void collectVars(TObjectIntHashMap<Variable> allVars, TIntHashSet vars) {
+        head.collectVars(allVars, vars);
+        body.collectVars(allVars, vars);
+    }
+
+    public void forVariables(VariableProcedure procedure) {
+        head.forVariables(procedure);
+        body.forVariables(procedure);
+    }
+
+    public void collectFreeVariables(THashSet<Variable> vars) {
+        head.collectFreeVariables(vars);
+        body.collectFreeVariables(vars);
+    }
+
+    public void setLocationDeep(long loc) {
+        if(location == Locations.NO_LOCATION) {
+            this.location = loc;
+            head.setLocationDeep(loc);
+            body.setLocationDeep(loc);
+        }
+    }
+    
+    public void simplify(SimplificationContext context) {
+        head.simplify(context);
+        body.simplify(context);
+    }
+
+    public void compile(CompilationContext compilationContext, CHRConstraint initConstraint) {
+        boolean hasActiveLiteral = false;
+        for(int i=0;i<head.literals.length;++i) {
+            CHRLiteral literal = head.literals[i];
+            if(literal.passive)
+                continue;
+            CHRConstraint constraint = (CHRConstraint)literal.relation;
+            
+            Variable activeFact = new Variable("activeFact", constraint.factType);
+            QueryPlanningContext context = new QueryPlanningContext(compilationContext, existentialVariables);
+            if(!head.createQueryPlan(context, new EVariable(activeFact), i))
+                return;
+            body.createEnforcePlan(context, priority);
+            constraint.plans.add(new PrioritizedPlan(priority, activeFact, context.getPlanOps()));
+            
+            hasActiveLiteral = true;
+        }
+        if(!hasActiveLiteral) {
+            Variable activeFact = new Variable("activeFact", initConstraint.factType);
+            QueryPlanningContext context = new QueryPlanningContext(compilationContext, existentialVariables);
+            if(!head.createQueryPlan(context, null, -1))
+                return;
+            body.createEnforcePlan(context, priority);
+            /*System.out.println(this);
+            for(PlanOp planOp : context.getPlanOps())
+                System.out.println("    " + planOp);*/
+            initConstraint.plans.add(new PrioritizedPlan(priority, activeFact, context.getPlanOps()));
+        }
+    }
+    
+    public String toString() {
+        StringBuilder b = new StringBuilder();
+        ExpressionToStringVisitor visitor = new ExpressionToStringVisitor(b);
+        visitor.visit(this);
+        return b.toString();
+    }
+    
+}
diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/planning/QueryPlanningContext.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/planning/QueryPlanningContext.java
index c083b8fc9..537a2aa9d 100644
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/planning/QueryPlanningContext.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/planning/QueryPlanningContext.java
@@ -1,240 +1,245 @@
-package org.simantics.scl.compiler.elaboration.chr.planning;
-
-import java.util.ArrayList;
-
-import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;
-import org.simantics.scl.compiler.compilation.CompilationContext;
-import org.simantics.scl.compiler.elaboration.chr.CHRLiteral;
-import org.simantics.scl.compiler.elaboration.chr.plan.AccessFactOp;
-import org.simantics.scl.compiler.elaboration.chr.plan.ClaimOp;
-import org.simantics.scl.compiler.elaboration.chr.plan.ExecuteOp;
-import org.simantics.scl.compiler.elaboration.chr.plan.PlanOp;
-import org.simantics.scl.compiler.elaboration.chr.planning.items.CheckPrePlanItem;
-import org.simantics.scl.compiler.elaboration.chr.planning.items.EqualsPrePlanItem;
-import org.simantics.scl.compiler.elaboration.chr.planning.items.GenericPrePlanItem;
-import org.simantics.scl.compiler.elaboration.chr.planning.items.MemberPrePlanItem;
-import org.simantics.scl.compiler.elaboration.chr.relations.CHRConstraint;
-import org.simantics.scl.compiler.elaboration.chr.relations.SpecialCHRRelation;
-import org.simantics.scl.compiler.elaboration.expressions.EApplyType;
-import org.simantics.scl.compiler.elaboration.expressions.EConstant;
-import org.simantics.scl.compiler.elaboration.expressions.EExternalConstant;
-import org.simantics.scl.compiler.elaboration.expressions.ELiteral;
-import org.simantics.scl.compiler.elaboration.expressions.EVariable;
-import org.simantics.scl.compiler.elaboration.expressions.Expression;
-import org.simantics.scl.compiler.elaboration.expressions.Variable;
-
-import gnu.trove.impl.Constants;
-import gnu.trove.map.hash.TObjectIntHashMap;
-import gnu.trove.procedure.TIntProcedure;
-import gnu.trove.set.hash.TIntHashSet;
-
-public class QueryPlanningContext {
-    CompilationContext compilationContext;
-    public PlanPriorityQueue priorityQueue = new PlanPriorityQueue();
-    ArrayList<Variable> variables;
-    TObjectIntHashMap<Variable> variableMap;
-    ArrayList<ArrayList<PrePlanItem>> itemsContainingVariable;
-    ArrayList<PlanOp> planOps = new ArrayList<PlanOp>(); 
-    
-    public QueryPlanningContext(CompilationContext compilationContext, Variable[] variables) {
-        this.compilationContext = compilationContext;
-        this.variables = new ArrayList<Variable>(variables.length*2);
-        this.variableMap = new TObjectIntHashMap<Variable>(variables.length, Constants.DEFAULT_LOAD_FACTOR, -1);
-        itemsContainingVariable = new ArrayList<ArrayList<PrePlanItem>>(variables.length*2);
-        for(Variable variable : variables)
-            addVariable(variable);
-    }
-    
-    private void addVariable(Variable variable) {
-        int id = variables.size();
-        variables.add(variable);
-        variableMap.put(variable, id);
-        itemsContainingVariable.add(new ArrayList<PrePlanItem>(2));
-    }
-
-    public void add(CHRLiteral literal, int secondaryPriority) {
-        if(literal.relation instanceof SpecialCHRRelation) {
-            switch((SpecialCHRRelation)literal.relation) {
-            case CHECK:
-                addCheck(literal.location, literal.parameters[0], secondaryPriority);
-                return;
-            case EQUALS:
-                addGenericEquals(literal.location, literal.parameters[0], literal.parameters[1], secondaryPriority);
-                return;
-            case MEMBER:
-                addMember(literal.location, literal.parameters[0], literal.parameters[1], secondaryPriority);
-                return;
-            case EXECUTE:
-                throw new InternalCompilerError(literal.location, "EXECUTE constraint is not allowed in query compilation.");
-            }
-        }
-        
-        addGenericConstraint(literal, secondaryPriority);
-    }
-    
-    private TIntHashSet getVars(Expression expression, int initialCapacity) {
-        TIntHashSet variableSet = new TIntHashSet(initialCapacity);
-        expression.collectVars(variableMap, variableSet);
-        return variableSet;
-    }
-    
-    private TIntHashSet[] getVars(Expression[] expressions, int initialCapacity) {
-        TIntHashSet[] variableSets = new TIntHashSet[expressions.length];
-        for(int i=0;i<expressions.length;++i)
-            variableSets[i] = getVars(expressions[i], initialCapacity);
-        return variableSets;
-    }
-    
-    /**
-     * Returns true, if the expression is so simple, it does not involve any computation.
-     */
-    private static boolean isSimpleExpression(Expression expression) {
-        while(expression instanceof EApplyType)
-            expression = ((EApplyType)expression).getExpression();
-        return expression instanceof EVariable 
-                || expression instanceof EConstant
-                || expression instanceof ELiteral
-                || expression instanceof EExternalConstant;
-    }
-    
-    private Expression toSimpleExpression(Expression expression, int secondaryPriority) {
-        if(isSimpleExpression(expression))        
-            return expression;
-        else {
-            Variable temp = new Variable("temp", expression.getType());
-            addVariable(temp);
-            addOneSidedEquals(expression.location, new EVariable(temp), expression, secondaryPriority);
-            return new EVariable(temp);
-        }
-    }
-    
-    private Expression[] toSimpleExpressions(Expression[] expressions, int secondaryPriority) {
-        Expression[] result = new Expression[expressions.length];
-        for(int i=0;i<expressions.length;++i)
-            result[i] = toSimpleExpression(expressions[i], secondaryPriority);
-        return result;
-    }
-
-    private void addGenericConstraint(CHRLiteral literal, int secondaryPriority) {
-        if(literal.killAfterMatch)
-            ((CHRConstraint)literal.relation).setMayBeRemoved();
-        Expression[] parameters = toSimpleExpressions(literal.parameters, secondaryPriority);
-        add(literal.location, new GenericPrePlanItem(literal, literal.relation, parameters, getVars(parameters, 1), secondaryPriority));
-    }
-
-    private void addMember(long location, Expression p1, Expression p2, int secondaryPriority) {
-        Expression expression1 = toSimpleExpression(p1, secondaryPriority);
-        Expression expression2 = toSimpleExpression(p2, secondaryPriority);
-        add(location, new MemberPrePlanItem(expression1, expression2,
-                getVars(expression1, 1), getVars(expression2, 1), secondaryPriority));
-    }
-    
-    private void addOneSidedEquals(long location, Expression expression1, Expression expression2, int secondaryPriority) {
-        add(location, new EqualsPrePlanItem(expression1, expression2,
-                getVars(expression1, 1), getVars(expression2, 4), secondaryPriority));
-    }
-
-    private void addGenericEquals(long location, Expression p1, Expression p2, int secondaryPriority) {
-        if(isSimpleExpression(p1))
-            addOneSidedEquals(location, p1, p2, secondaryPriority);
-        else if(isSimpleExpression(p2))
-            addOneSidedEquals(location, p2, p1, secondaryPriority);
-        else {
-            Variable temp = new Variable("temp", p1.getType());
-            addVariable(temp);
-            addOneSidedEquals(p1.location, new EVariable(temp), p1, secondaryPriority);
-            addOneSidedEquals(p2.location, new EVariable(temp), p2, secondaryPriority);
-        }
-    }
-
-    private void addCheck(long location, Expression condition, int secondaryPriority) {
-        TIntHashSet variableSet = new TIntHashSet(4);
-        condition.collectVars(variableMap, variableSet);
-        add(location, new CheckPrePlanItem(condition, variableSet, secondaryPriority));
-    }
-
-    private void add(long location, PrePlanItem item) {
-        priorityQueue.add(item);
-        item.initializeListeners(this);
-        item.location = location;
-    }
-
-    public void listen(TIntHashSet variableSet, PrePlanItem item) {
-        variableSet.forEach(new TIntProcedure() {
-            @Override
-            public boolean execute(int variableId) {
-                listen(variableId, item);
-                return true;
-            }
-        });
-    }
-
-    public void listen(int variableId, PrePlanItem item) {
-        itemsContainingVariable.get(variableId).add(item);
-    }
-
-    public void createQueryPlan() {
-        while(!priorityQueue.isEmpty()) {
-            PrePlanItem head = priorityQueue.head();
-            priorityQueue.pop();
-            head.generate(this);
-        }
-    }
-    
-    public ArrayList<PlanOp> getPlanOps() {
-        return planOps;
-    }
-    
-    private final TIntProcedure BIND_PROCEDURE = new TIntProcedure() {
-        @Override
-        public boolean execute(int variableId) {
-            ArrayList<PrePlanItem> l = itemsContainingVariable.get(variableId);
-            for(PrePlanItem item : l)
-                item.variableSolved(QueryPlanningContext.this, variableId);
-            l.clear();
-            return true;
-        }
-    };
-
-    public void bind(TIntHashSet variableSet) {
-        variableSet.forEach(BIND_PROCEDURE);
-    }
-
-    public void addPlanOp(PlanOp planOp) {
-        planOps.add(planOp);
-    }
-
-    public CompilationContext getCompilationContext() {
-        return compilationContext;
-    }
-
-    public void activate(CHRLiteral literal, Expression inputFact, int secondaryPriority) {
-        Variable[] variables = new Variable[literal.parameters.length];
-        for(int i=0;i<literal.parameters.length;++i)
-            variables[i] = new Variable("activeFactComponent" + i, literal.parameters[i].getType());
-        if(literal.killAfterMatch)
-            ((CHRConstraint)literal.relation).setMayBeRemoved();
-        planOps.add(new AccessFactOp(literal.location, inputFact, (CHRConstraint)literal.relation, variables, literal.killAfterMatch));
-        for(int i=0;i<literal.parameters.length;++i)
-            addOneSidedEquals(literal.parameters[i].location, new EVariable(variables[i]), literal.parameters[i], secondaryPriority);
-    }
-
-    public void claim(QueryPlanningContext context, CHRLiteral literal) {
-        if(literal.relation instanceof CHRConstraint) {
-            CHRConstraint constraint = (CHRConstraint)literal.relation;
-            addPlanOp(new ClaimOp(literal.location, constraint, literal.parameters));
-        }
-        else if(literal.relation instanceof SpecialCHRRelation) {
-            switch((SpecialCHRRelation)literal.relation) {
-            case EXECUTE:
-                addPlanOp(new ExecuteOp(literal.location, literal.parameters[0]));
-                break;
-            default:
-                context.getCompilationContext().errorLog.log(
-                        literal.location,
-                        "Cannot enforce this constraint.");
-            }
-        }
-    }
-
-}
+package org.simantics.scl.compiler.elaboration.chr.planning;
+
+import java.util.ArrayList;
+
+import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;
+import org.simantics.scl.compiler.compilation.CompilationContext;
+import org.simantics.scl.compiler.elaboration.chr.CHRLiteral;
+import org.simantics.scl.compiler.elaboration.chr.plan.AccessFactOp;
+import org.simantics.scl.compiler.elaboration.chr.plan.ClaimOp;
+import org.simantics.scl.compiler.elaboration.chr.plan.ExecuteOp;
+import org.simantics.scl.compiler.elaboration.chr.plan.PlanOp;
+import org.simantics.scl.compiler.elaboration.chr.planning.items.CheckPrePlanItem;
+import org.simantics.scl.compiler.elaboration.chr.planning.items.EqualsPrePlanItem;
+import org.simantics.scl.compiler.elaboration.chr.planning.items.GenericPrePlanItem;
+import org.simantics.scl.compiler.elaboration.chr.planning.items.MemberPrePlanItem;
+import org.simantics.scl.compiler.elaboration.chr.relations.CHRConstraint;
+import org.simantics.scl.compiler.elaboration.chr.relations.SpecialCHRRelation;
+import org.simantics.scl.compiler.elaboration.expressions.EApplyType;
+import org.simantics.scl.compiler.elaboration.expressions.EConstant;
+import org.simantics.scl.compiler.elaboration.expressions.EExternalConstant;
+import org.simantics.scl.compiler.elaboration.expressions.ELiteral;
+import org.simantics.scl.compiler.elaboration.expressions.EVariable;
+import org.simantics.scl.compiler.elaboration.expressions.Expression;
+import org.simantics.scl.compiler.elaboration.expressions.Variable;
+
+import gnu.trove.impl.Constants;
+import gnu.trove.map.hash.TObjectIntHashMap;
+import gnu.trove.procedure.TIntProcedure;
+import gnu.trove.set.hash.TIntHashSet;
+
+public class QueryPlanningContext {
+    CompilationContext compilationContext;
+    public PlanPriorityQueue priorityQueue = new PlanPriorityQueue();
+    ArrayList<Variable> variables;
+    TObjectIntHashMap<Variable> variableMap;
+    ArrayList<ArrayList<PrePlanItem>> itemsContainingVariable;
+    ArrayList<PlanOp> planOps = new ArrayList<PlanOp>(); 
+    
+    public QueryPlanningContext(CompilationContext compilationContext, Variable[] variables) {
+        this.compilationContext = compilationContext;
+        this.variables = new ArrayList<Variable>(variables.length*2);
+        this.variableMap = new TObjectIntHashMap<Variable>(variables.length, Constants.DEFAULT_LOAD_FACTOR, -1);
+        itemsContainingVariable = new ArrayList<ArrayList<PrePlanItem>>(variables.length*2);
+        for(Variable variable : variables)
+            addVariable(variable);
+    }
+    
+    private void addVariable(Variable variable) {
+        int id = variables.size();
+        variables.add(variable);
+        variableMap.put(variable, id);
+        itemsContainingVariable.add(new ArrayList<PrePlanItem>(2));
+    }
+
+    public void add(CHRLiteral literal, int secondaryPriority) {
+        if(literal.relation instanceof SpecialCHRRelation) {
+            switch((SpecialCHRRelation)literal.relation) {
+            case CHECK:
+                addCheck(literal.location, literal.parameters[0], secondaryPriority);
+                return;
+            case EQUALS:
+                addGenericEquals(literal.location, literal.parameters[0], literal.parameters[1], secondaryPriority);
+                return;
+            case MEMBER:
+                addMember(literal.location, literal.parameters[0], literal.parameters[1], secondaryPriority);
+                return;
+            case EXECUTE:
+                throw new InternalCompilerError(literal.location, "EXECUTE constraint is not allowed in query compilation.");
+            }
+        }
+        
+        addGenericConstraint(literal, secondaryPriority);
+    }
+    
+    private TIntHashSet getVars(Expression expression, int initialCapacity) {
+        TIntHashSet variableSet = new TIntHashSet(initialCapacity);
+        expression.collectVars(variableMap, variableSet);
+        return variableSet;
+    }
+    
+    private TIntHashSet[] getVars(Expression[] expressions, int initialCapacity) {
+        TIntHashSet[] variableSets = new TIntHashSet[expressions.length];
+        for(int i=0;i<expressions.length;++i)
+            variableSets[i] = getVars(expressions[i], initialCapacity);
+        return variableSets;
+    }
+    
+    /**
+     * Returns true, if the expression is so simple, it does not involve any computation.
+     */
+    private static boolean isSimpleExpression(Expression expression) {
+        while(expression instanceof EApplyType)
+            expression = ((EApplyType)expression).getExpression();
+        return expression instanceof EVariable 
+                || expression instanceof EConstant
+                || expression instanceof ELiteral
+                || expression instanceof EExternalConstant;
+    }
+    
+    private Expression toSimpleExpression(Expression expression, int secondaryPriority) {
+        if(isSimpleExpression(expression))        
+            return expression;
+        else {
+            Variable temp = new Variable("temp", expression.getType());
+            addVariable(temp);
+            addOneSidedEquals(expression.location, new EVariable(temp), expression, secondaryPriority);
+            return new EVariable(temp);
+        }
+    }
+    
+    private Expression[] toSimpleExpressions(Expression[] expressions, int secondaryPriority) {
+        Expression[] result = new Expression[expressions.length];
+        for(int i=0;i<expressions.length;++i)
+            result[i] = toSimpleExpression(expressions[i], secondaryPriority);
+        return result;
+    }
+
+    private void addGenericConstraint(CHRLiteral literal, int secondaryPriority) {
+        if(literal.killAfterMatch)
+            ((CHRConstraint)literal.relation).setMayBeRemoved();
+        Expression[] parameters = toSimpleExpressions(literal.parameters, secondaryPriority);
+        add(literal.location, new GenericPrePlanItem(literal, literal.relation, parameters, getVars(parameters, 1), secondaryPriority));
+    }
+
+    private void addMember(long location, Expression p1, Expression p2, int secondaryPriority) {
+        Expression expression1 = toSimpleExpression(p1, secondaryPriority);
+        Expression expression2 = toSimpleExpression(p2, secondaryPriority);
+        add(location, new MemberPrePlanItem(expression1, expression2,
+                getVars(expression1, 1), getVars(expression2, 1), secondaryPriority));
+    }
+    
+    private void addOneSidedEquals(long location, Expression expression1, Expression expression2, int secondaryPriority) {
+        add(location, new EqualsPrePlanItem(expression1, expression2,
+                getVars(expression1, 1), getVars(expression2, 4), secondaryPriority));
+    }
+
+    private void addGenericEquals(long location, Expression p1, Expression p2, int secondaryPriority) {
+        if(isSimpleExpression(p1))
+            addOneSidedEquals(location, p1, p2, secondaryPriority);
+        else if(isSimpleExpression(p2))
+            addOneSidedEquals(location, p2, p1, secondaryPriority);
+        else {
+            Variable temp = new Variable("temp", p1.getType());
+            addVariable(temp);
+            addOneSidedEquals(p1.location, new EVariable(temp), p1, secondaryPriority);
+            addOneSidedEquals(p2.location, new EVariable(temp), p2, secondaryPriority);
+        }
+    }
+
+    private void addCheck(long location, Expression condition, int secondaryPriority) {
+        TIntHashSet variableSet = new TIntHashSet(4);
+        condition.collectVars(variableMap, variableSet);
+        add(location, new CheckPrePlanItem(condition, variableSet, secondaryPriority));
+    }
+
+    private void add(long location, PrePlanItem item) {
+        priorityQueue.add(item);
+        item.initializeListeners(this);
+        item.location = location;
+    }
+
+    public void listen(TIntHashSet variableSet, PrePlanItem item) {
+        variableSet.forEach(new TIntProcedure() {
+            @Override
+            public boolean execute(int variableId) {
+                listen(variableId, item);
+                return true;
+            }
+        });
+    }
+
+    public void listen(int variableId, PrePlanItem item) {
+        itemsContainingVariable.get(variableId).add(item);
+    }
+
+    public boolean createQueryPlan() {
+        while(!priorityQueue.isEmpty()) {
+            PrePlanItem head = priorityQueue.head();
+            if(head.primaryPriority == Double.POSITIVE_INFINITY) {
+                compilationContext.errorLog.log(head.location, "Cannot solve the query.");
+                return false;
+            }
+            priorityQueue.pop();
+            head.generate(this);
+        }
+        return true;
+    }
+    
+    public ArrayList<PlanOp> getPlanOps() {
+        return planOps;
+    }
+    
+    private final TIntProcedure BIND_PROCEDURE = new TIntProcedure() {
+        @Override
+        public boolean execute(int variableId) {
+            ArrayList<PrePlanItem> l = itemsContainingVariable.get(variableId);
+            for(PrePlanItem item : l)
+                item.variableSolved(QueryPlanningContext.this, variableId);
+            l.clear();
+            return true;
+        }
+    };
+
+    public void bind(TIntHashSet variableSet) {
+        variableSet.forEach(BIND_PROCEDURE);
+    }
+
+    public void addPlanOp(PlanOp planOp) {
+        planOps.add(planOp);
+    }
+
+    public CompilationContext getCompilationContext() {
+        return compilationContext;
+    }
+
+    public void activate(CHRLiteral literal, Expression inputFact, int secondaryPriority) {
+        Variable[] variables = new Variable[literal.parameters.length];
+        for(int i=0;i<literal.parameters.length;++i)
+            variables[i] = new Variable("activeFactComponent" + i, literal.parameters[i].getType());
+        if(literal.killAfterMatch)
+            ((CHRConstraint)literal.relation).setMayBeRemoved();
+        planOps.add(new AccessFactOp(literal.location, inputFact, (CHRConstraint)literal.relation, variables, literal.killAfterMatch));
+        for(int i=0;i<literal.parameters.length;++i)
+            addOneSidedEquals(literal.parameters[i].location, new EVariable(variables[i]), literal.parameters[i], secondaryPriority);
+    }
+
+    public void claim(QueryPlanningContext context, CHRLiteral literal) {
+        if(literal.relation instanceof CHRConstraint) {
+            CHRConstraint constraint = (CHRConstraint)literal.relation;
+            addPlanOp(new ClaimOp(literal.location, constraint, literal.parameters));
+        }
+        else if(literal.relation instanceof SpecialCHRRelation) {
+            switch((SpecialCHRRelation)literal.relation) {
+            case EXECUTE:
+                addPlanOp(new ExecuteOp(literal.location, literal.parameters[0]));
+                break;
+            default:
+                context.getCompilationContext().errorLog.log(
+                        literal.location,
+                        "Cannot enforce this constraint.");
+            }
+        }
+    }
+
+}
diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/ModuleRegressionTests.java b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/ModuleRegressionTests.java
index 347191a3f..df3576ff1 100644
--- a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/ModuleRegressionTests.java
+++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/ModuleRegressionTests.java
@@ -22,6 +22,10 @@ public class ModuleRegressionTests extends TestBase {
     @Test public void ClashingInstance() { test(); }
     @Test public void ClashingValueType() { test(); }
     @Test public void ClosingBrace() { test(); }
+    @Test public void CHR1() { test(); }
+    @Test public void CHR2() { test(); }
+    @Test public void CHR3() { test(); }
+    @Test public void CHR4() { test(); }
     @Test public void Collaz() { test(); }
     @Test public void Compose() { test(); }
     @Test public void Composition() { test(); }
diff --git a/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHR4.scl b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHR4.scl
new file mode 100644
index 000000000..a2abc6eb5
--- /dev/null
+++ b/tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHR4.scl
@@ -0,0 +1,6 @@
+main = ()
+  where
+    when ?x <- ?y
+    then True
+--
+3:10-3:18: Cannot solve the query.