Python resolve_types 예제들

예제 #1

파일: __init__.py 프로젝트: bbonf/matcha

def test_resolve_types():
    constrains = set([
        (SymbolType('x'), Types.Integer),
        (Types.String, SymbolType('y'), SymbolType('z')),
        ])

    solution = resolve_types(constrains)
    eq_(solution[SymbolType('x')], Types.Integer)
    eq_(solution[SymbolType('y')], Types.String)
    eq_(solution[SymbolType('z')], Types.String)

예제 #2

파일: __init__.py 프로젝트: bbonf/matcha

def test_resolve_types_fail():
    constrains = set([
        (Types.String, Types.Integer),
        ])

    eq_(resolve_types(constrains), None)