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"):
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 illegal(self, source):
P = parseE(source)
self.assertRaises(InferenceError, lambda:infer(P, globals=G1))
def typing(self, source, t):
P = parseE(source)
self.assertEqual(str(infer(P, globals=G1)), 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))
def illegal(self, source):
P = parseE(source)
self.assertRaises(InferenceError, lambda: infer(P, globals=G1))
def typing(self, source, t):
P = parseE(source)
self.assertEqual(str(infer(P, globals=G1)), 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))