コード例 #1
0
ファイル: test_unify.py プロジェクト: 99plus2/copperhead 
 def fails(self, s, t):
     tcon = TypingContext()
     self.assertRaises(InferenceError, lambda: unify(s, t, tcon))
コード例 #2
0
ファイル: test_unify.py プロジェクト: 99plus2/copperhead 
 def succeeds(self, s, t):
     tcon = TypingContext()
     unify(s, t, tcon)