X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Felaboration%2Fchr%2FCHRRelation.java;h=3daae67a94a348681d489f19915bf7ba36020e23;hb=bf5f7cda1b9b64484cc6e53499e38d6785744aec;hp=af6e5a2d51229ae9ce6768a0528aa7365e70f13f;hpb=3448b94a8e90047c88eb62a0542c1596acb701b8;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRelation.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRelation.java
index af6e5a2d5..3daae67a9 100644
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRelation.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRelation.java
@@ -1,13 +1,18 @@
-package org.simantics.scl.compiler.elaboration.chr;
-
-import org.simantics.scl.compiler.types.TVar;
-import org.simantics.scl.compiler.types.Type;
-import org.simantics.scl.compiler.types.Types;
-import org.simantics.scl.compiler.types.kinds.Kinds;
-
-public interface CHRRelation {
-    public static final TVar A = Types.var(Kinds.STAR);
-    
-    TVar[] getTypeVariables();
-    Type[] getParameterTypes();
-}
+package org.simantics.scl.compiler.elaboration.chr;
+
+import org.simantics.scl.compiler.types.TPred;
+import org.simantics.scl.compiler.types.TVar;
+import org.simantics.scl.compiler.types.Type;
+import org.simantics.scl.compiler.types.Types;
+import org.simantics.scl.compiler.types.kinds.Kinds;
+
+public interface CHRRelation {
+    public static final TVar A = Types.var(Kinds.STAR);
+    
+    TVar[] getTypeVariables();
+    Type[] getParameterTypes();
+    TPred[] getTypeConstraints();
+    default String[] getFieldNames() {
+        return null;
+    }
+}