public static Type unify(Type t1, Type t2) {
if(t1 == Type.NULL) return t2;
if(t2 == Type.NULL) return t1;
public static Type unify(Type t1, Type t2) {
if(t1 == Type.NULL) return t2;
if(t2 == Type.NULL) return t1;
if(t1 == t2) return t1;
// FIXME: This needs to do a lot more (subclasses, etc)
// it probably should be in Context.java
if(t1 == t2) return t1;
// FIXME: This needs to do a lot more (subclasses, etc)
// it probably should be in Context.java