def fails(self, s, t): tcon = TypingContext() self.assertRaises(InferenceError, lambda: unify(s, t, tcon))
def succeeds(self, s, t): tcon = TypingContext() unify(s, t, tcon)