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;
    }

}