import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;
import org.simantics.scl.compiler.elaboration.chr.CHRRelation;
import org.simantics.scl.compiler.internal.parsing.Symbol;
+import org.simantics.scl.compiler.types.TPred;
import org.simantics.scl.compiler.types.TVar;
import org.simantics.scl.compiler.types.Type;
public TVar[] getTypeVariables() {
throw new InternalCompilerError("Encountered unresolved CHRRelation during type checking.");
}
+
+ public TPred[] getTypeConstraints() {
+ throw new InternalCompilerError("Encountered unresolved CHRRelation during type checking.");
+ }
}