Exemplos de resolve_types em Python

Exemplo n.º 1

Arquivo: __init__.py Projeto: 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)

Exemplo n.º 2

Arquivo: __init__.py Projeto: bbonf/matcha

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

    eq_(resolve_types(constrains), None)