New solver for SCL effects inequalities

[simantics/platform.git] / bundles / org.simantics.scl.compiler / src / org / simantics / scl / compiler / internal / elaboration / subsumption / SubSolver.java

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/subsumption/SubSolver.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/subsumption/SubSolver.java
index 40f8fdf6ada254b483a05e5f82666aac2af98a6d..088cf3396cf941554cbc678fa9c511bde066e92a 100644 (file)
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/subsumption/SubSolver.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/subsumption/SubSolver.java
@@ -43,6 +43,7 @@ public class SubSolver {
     }    
     
     public void solve() {
+        //System.out.println("--------------------------------------------------");
         //printSubsumptions();
         createVar();
         //print();
@@ -50,7 +51,6 @@ public class SubSolver {
         propagateUpperBounds();
         checkLowerBounds();
         //errorFromUnsolvedEquations();
-        //System.out.println("--");
         //print();
     }
     
@@ -110,6 +110,7 @@ public class SubSolver {
     private void createVar() {
         for(Subsumption sub : subsumptions)
             addSubsumption(sub.loc, sub.a, sub.b);
+        // In some cases there might be types that are not part of any subsumption, for example related to typeOf
         for(Type t : potentialSingletonEffects)
             addVar(t);
     }