コード例 #1
0
def to_abstract_test(self, lst: list):
    if lst == []:
        return empty
    assert len(lst) == 1
    return listof(self(lst[0]))
コード例 #2
0
ファイル: test_abstract.py プロジェクト: VectorSL/myia 
def test_to_abstract_list():
    assert to_abstract([]) is empty
    assert to_abstract([1, 2, 3]) is listof(S(t=ty.Int[64]))