GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-10-26 22:29:08 +03:00
Code Issues Projects Releases Wiki Activity

FFI: Fix imports when FFI disabled

Browse Source
This commit is contained in:
Bretton 2022-08-12 19:07:23 -07:00
parent b525ada873
commit 00d5913a07
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Cryptol/Eval/FFI.hs
View File

@ -16,16 +16,18 @@ module Cryptol.Eval.FFI
, evalForeignDecls , evalForeignDecls
) where ) where
import Data.Maybe
import Cryptol.Backend.FFI import Cryptol.Backend.FFI
import Cryptol.Backend.FFI.Error import Cryptol.Backend.FFI.Error
import Cryptol.Eval import Cryptol.Eval
import Cryptol.TypeCheck.AST import Cryptol.TypeCheck.AST
import Cryptol.TypeCheck.FFI.FFIType
#ifdef FFI_ENABLED #ifdef FFI_ENABLED
import Data.Either import Data.Either
import Data.IORef import Data.IORef
import Data.Maybe
import Data.Proxy import Data.Proxy
import Data.Traversable import Data.Traversable
import Data.Word import Data.Word
@ -44,7 +46,6 @@ import Cryptol.Eval.Prims
import Cryptol.Eval.Type import Cryptol.Eval.Type
import Cryptol.Eval.Value import Cryptol.Eval.Value
import Cryptol.ModuleSystem.Name import Cryptol.ModuleSystem.Name
import Cryptol.TypeCheck.FFI.FFIType
import Cryptol.Utils.Ident import Cryptol.Utils.Ident
import Cryptol.Utils.RecordMap import Cryptol.Utils.RecordMap