T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

TI failure due to misplaced import

Browse Source
This commit is contained in:
Dimo
2017-07-21 16:56:15 -07:00
committed by Jakob Stoklund Olesen
parent 9258283e14
commit 12db123606
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
lib/cretonne/meta/semantics/elaborate.py
View File

@@ -6,10 +6,11 @@ primitive cretonne instructions, which map well to SMTLIB functions.
from .primitives import GROUP as PRIMITIVES, prim_to_bv, prim_from_bv 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
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 Rtl, XForm # noqa from cdsl.xform import XForm # noqa
from cdsl.ast import Var, Def, VarMap # noqa from cdsl.ast import Var, Def, VarMap # noqa
from cdsl.ti import VarTyping # noqa from cdsl.ti import VarTyping # noqa
except ImportError: except ImportError: