示例#1
0
 def fails(self, s, t):
     tcon = TypingContext()
     self.assertRaises(InferenceError, lambda: unify(s, t, tcon))
示例#2
0
 def succeeds(self, s, t):
     tcon = TypingContext()
     unify(s, t, tcon)