Exemple #1
0
 def illegal(self, source):
     P = parseE(source)
     self.assertRaises(InferenceError, lambda:infer(P, globals=G1))
Exemple #2
0
 def illegal(self, source):
     P = parseE(source)
     self.assertRaises(InferenceError, lambda: infer(P, globals=G1))
Exemple #3
0
 def typing(self, source, t):
     P = parseE(source)
     self.assertEqual(str(infer(P, globals=G1)), t)
Exemple #4
0
 def typing(self, source, t):
     P = parseE(source)
     self.assertEqual(str(infer(P, globals=G1)), t)