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)
def typing(self, source, t="Void"): ast = parseS(source) result = infer(ast, context=self.tycon) self.assertEqual(str(result), t)
def illegal(self, source): ast = parseS(source) self.assertRaises(InferenceError, lambda: infer(ast, globals=prelude.__dict__))
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)
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))