def illegal(self, source): P = parseE(source) self.assertRaises(InferenceError, lambda:infer(P, globals=G1))
def illegal(self, source): P = parseE(source) self.assertRaises(InferenceError, lambda: infer(P, globals=G1))
def typing(self, source, t): P = parseE(source) self.assertEqual(str(infer(P, globals=G1)), t)