--- /dev/null
+package org.simantics.scl.compiler.elaboration.chr.relations;\r
+\r
+import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;\r
+import org.simantics.scl.compiler.elaboration.chr.CHRRelation;\r
+import org.simantics.scl.compiler.internal.parsing.Symbol;\r
+import org.simantics.scl.compiler.types.TVar;\r
+import org.simantics.scl.compiler.types.Type;\r
+\r
+public class UnresolvedCHRRelation extends Symbol implements CHRRelation {\r
+ public String name;\r
+\r
+ public UnresolvedCHRRelation(long location, String name) {\r
+ this.location = location;\r
+ this.name = name;\r
+ }\r
+\r
+ @Override\r
+ public Type[] getParameterTypes() {\r
+ throw new InternalCompilerError("Encountered unresolved CHRRelation during type checking.");\r
+ }\r
+\r
+ @Override\r
+ public TVar[] getTypeVariables() {\r
+ throw new InternalCompilerError("Encountered unresolved CHRRelation during type checking.");\r
+ }\r
+}\r