Python inferの例

コード例 #1

ファイル: test_infer.py プロジェクト: zahangircse/copperhead

    def typing(self, source, t="Void"):
        from copperhead.compiler import rewrites as Front

        ast = parseS(source)
        ast = Front.closure_conversion(ast, G1)
        ast = Front.single_assignment_conversion(ast)
        ast = Front.lambda_lift(ast)
        result = infer(ast, context=self.tycon)
        self.assertEqual(str(result), t)

コード例 #2

ファイル: test_infer.py プロジェクト: wuzy2d/copperhead

    def typing(self, source, t="Void"):
        from copperhead.compiler import rewrites as Front

        ast = parseS(source)
        ast = Front.closure_conversion(ast, G1)
        ast = Front.single_assignment_conversion(ast)
        ast = Front.lambda_lift(ast)
        result = infer(ast, context=self.tycon)
        self.assertEqual(str(result), t)

コード例 #3

ファイル: test_infer.py プロジェクト: zahangircse/copperhead

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

コード例 #4

ファイル: test_infer.py プロジェクト: zahangircse/copperhead

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

コード例 #5

ファイル: test_infer.py プロジェクト: zahangircse/copperhead

 def typing(self, source, t="Void"):
     ast = parseS(source)
     result = infer(ast, context=self.tycon)
     self.assertEqual(str(result), t)

コード例 #6

ファイル: test_infer.py プロジェクト: zahangircse/copperhead

 def illegal(self, source):
     ast = parseS(source)
     self.assertRaises(InferenceError,
             lambda: infer(ast, globals=prelude.__dict__))

コード例 #7

ファイル: test_infer.py プロジェクト: zahangircse/copperhead

 def typing(self, source, t="Void"):
     from copperhead.compiler.rewrites import closure_conversion
     ast = parseS(source)
     ast = closure_conversion(ast, G1)
     result = infer(ast, context=self.tycon)
     self.assertEqual(str(result), t)

コード例 #8

ファイル: test_infer.py プロジェクト: zahangircse/copperhead

 def illegal(self, source):
     from copperhead.compiler.rewrites import closure_conversion
     ast = parseS(source)
     ast = closure_conversion(ast, G1)
     self.assertRaises(InferenceError,
             lambda: infer(ast, globals=G1))

コード例 #9

ファイル: test_infer.py プロジェクト: wuzy2d/copperhead

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

コード例 #10

ファイル: test_infer.py プロジェクト: wuzy2d/copperhead

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

コード例 #11

ファイル: test_infer.py プロジェクト: wuzy2d/copperhead

 def typing(self, source, t="Void"):
     ast = parseS(source)
     result = infer(ast, context=self.tycon)
     self.assertEqual(str(result), t)

コード例 #12

ファイル: test_infer.py プロジェクト: wuzy2d/copperhead

 def illegal(self, source):
     ast = parseS(source)
     self.assertRaises(InferenceError,
                       lambda: infer(ast, globals=prelude.__dict__))

コード例 #13

ファイル: test_infer.py プロジェクト: wuzy2d/copperhead

 def typing(self, source, t="Void"):
     from copperhead.compiler.rewrites import closure_conversion
     ast = parseS(source)
     ast = closure_conversion(ast, G1)
     result = infer(ast, context=self.tycon)
     self.assertEqual(str(result), t)

コード例 #14

ファイル: test_infer.py プロジェクト: wuzy2d/copperhead

 def illegal(self, source):
     from copperhead.compiler.rewrites import closure_conversion
     ast = parseS(source)
     ast = closure_conversion(ast, G1)
     self.assertRaises(InferenceError, lambda: infer(ast, globals=G1))