Ejemplo n.º 1
0
def typecheck( code ):
    
    for expr in parse.parse( code ):
        node = ast.toplevel(expr)
        poly = hm.toplevel(ts, node)

        try:
            return node, ts.types, ts.uf
        except AttributeError:
            # when only type-checking is enabled
            return node, None, ts.uf
Ejemplo n.º 2
0
    cc.ctx.update( ts.ctx )
    cs.info = cc

    
import sys
import io
import os
import tempfile


for expr in parse.loop(source):
    
    with error.reporting():

        node = ast.toplevel( expr )
        poly = hm.toplevel(ts, node )
        
        
        try:
            out = node.name
        except AttributeError:
            out = '-'

        out += ' : ' + str(poly)

        ts.cleanup()
        if not args.codegen:
            print(out)
            continue

        with tool.debug_scope('closure conversion'):