Migrated source code from Simantics SVN

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

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/subsumption/Subsumption.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/subsumption/Subsumption.java
new file mode 100644 (file)
index 0000000..e60f965
--- /dev/null
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/elaboration/subsumption/Subsumption.java
@@ -0,0 +1,15 @@
+package org.simantics.scl.compiler.internal.elaboration.subsumption;\r
+\r
+import org.simantics.scl.compiler.types.Type;\r
+\r
+public class Subsumption {\r
+    public long loc;\r
+    public Type a;\r
+    public Type b;\r
+    \r
+    public Subsumption(long loc, Type a, Type b) {\r
+        this.loc = loc;\r
+        this.a = a;\r
+        this.b = b;\r
+    }\r
+}
\ No newline at end of file