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