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=7369d496c95530b0726f2a3333a17bafb9c8ba54;hb=b2c6aed4003ef264fb48eed9ac9f2d0f6c2d5b13;hp=dc8235884c1ad33c617fc69577b07ca5d6dbad58;hpb=8561e498009a25473db94b0e667866aa79de90b1;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 dc8235884..7369d496c 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,5 +1,6 @@
 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;
@@ -10,4 +11,5 @@ public interface CHRRelation {
     
     TVar[] getTypeVariables();
     Type[] getParameterTypes();
+    TPred[] getTypeConstraints();
 }