Beispiel #1
0
def test_annotate_1():
    def f():
        return eraseX(X())

    a = make_annotator()
    s = a.build_types(f, [])
    assert s == _some_erased()
Beispiel #2
0
def test_annotate_1():
    def f():
        return eraseX(X())
    a = make_annotator()
    s = a.build_types(f, [])
    assert s == _some_erased()
Beispiel #3
0
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()
Beispiel #4
0
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()