X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Finternal%2Felaboration%2Fsubsumption%2FSubSolver.java;h=088cf3396cf941554cbc678fa9c511bde066e92a;hp=40f8fdf6ada254b483a05e5f82666aac2af98a6d;hb=e3cd3cd49bc2585f57d030a8743f9012f6161a92;hpb=e65cd7676f6e843e34a8501afc57f56cbc8602d3

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 40f8fdf6a..088cf3396 100644
--- 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);
     }