Python resolve_types Examples

Programming Language: Python

Namespace/Package Name: matcha.ast.inference

Method/Function: resolve_types

Examples at hotexamples.com: 2

Python resolve_types - 2 examples found. These are the top rated real world Python examples of matcha.ast.inference.resolve_types extracted from open source projects. You can rate examples to help us improve the quality of examples.

Example #1

Show file

File: __init__.py Project: 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)

Example #2

Show file

File: __init__.py Project: bbonf/matcha

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

    eq_(resolve_types(constrains), None)