Python _some_erasedの例

コード例 #1

ファイル: test_rerased.py プロジェクト: sota/pypy-old

def test_annotate_1():
    def f():
        return eraseX(X())

    a = make_annotator()
    s = a.build_types(f, [])
    assert s == _some_erased()

コード例 #2

ファイル: test_rerased.py プロジェクト: abhinavthomas/pypy

def test_annotate_1():
    def f():
        return eraseX(X())
    a = make_annotator()
    s = a.build_types(f, [])
    assert s == _some_erased()

コード例 #3

ファイル: test_rerased.py プロジェクト: abhinavthomas/pypy

def test_union():
    s_e1 = _some_erased()
    s_e1.const = 1
    s_e2 = _some_erased()
    s_e2.const = 3
    assert not annmodel.pair(s_e1, s_e2).union().is_constant()

コード例 #4

ファイル: test_rerased.py プロジェクト: sota/pypy-old

def test_union():
    s_e1 = _some_erased()
    s_e1.const = 1
    s_e2 = _some_erased()
    s_e2.const = 3
    assert not annmodel.pair(s_e1, s_e2).union().is_constant()