Fix CI: Var was only imported when mypy was present.

This commit is contained in:
Dimo
2017-07-24 10:58:57 -07:00
committed by Jakob Stoklund Olesen
parent dfb5a524b9
commit 7caaf7fea1

View File

@@ -7,11 +7,12 @@ from .primitives import GROUP as PRIMITIVES, prim_to_bv, prim_from_bv
from cdsl.ti import ti_rtl, TypeEnv, get_type_env from cdsl.ti import ti_rtl, TypeEnv, get_type_env
from cdsl.typevar import TypeVar from cdsl.typevar import TypeVar
from cdsl.xform import Rtl from cdsl.xform import Rtl
from cdsl.ast import Var
try: try:
from typing import TYPE_CHECKING, Dict, Union, List, Set, Tuple # noqa from typing import TYPE_CHECKING, Dict, Union, List, Set, Tuple # noqa
from cdsl.xform import XForm # noqa from cdsl.xform import XForm # noqa
from cdsl.ast import Var, Def, VarMap # noqa from cdsl.ast import Def, VarMap # noqa
from cdsl.ti import VarTyping # noqa from cdsl.ti import VarTyping # noqa
except ImportError: except ImportError:
TYPE_CHECKING = False TYPE_CHECKING = False