public static void TypeEqual(int t1, int t2) { if (t1 != t2) { Fdb.AssertionFail(TypeCheckErr, q, Fdb.GetName(t1), t1, Fdb.GetName(t2)); } Fdb.AssertionPass(TypeCheckLog, q, Fdb.GetName(t1), t1, Fdb.GetName(t2)); }