--- /dev/null
+package org.simantics.scl.compiler.types.exceptions;
+
+import org.simantics.scl.compiler.types.Type;
+
+public class UnificationException extends Exception {
+
+ private static final long serialVersionUID = -231201932688557353L;
+
+ Type a;
+ Type b;
+
+ public UnificationException(Type a, Type b) {
+ super("Cannot unify " + a + " and " + b + ".");
+ this.a = a;
+ this.b = b;
+ }
+
+ public Type getA() {
+ return a;
+ }
+
+ public Type getB() {
+ return b;
+ }
+
+}