GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-08-16 09:20:24 +03:00
Code Issues Projects Releases Wiki Activity

Fix build

Browse Source
This commit is contained in:
Iavor Diatchki 2021-12-27 09:28:34 +02:00
parent 94dd15f91a
commit fe79bff3dd
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
cryptol-remote-api/src/CryptolServer/Names.hs
View File

@ -23,7 +23,8 @@ import Cryptol.ModuleSystem.Env (ModContext(..), ModuleEnv(..), DynamicEnv(..),
import Cryptol.ModuleSystem.Interface (IfaceDecl(..), IfaceDecls(..))
import Cryptol.ModuleSystem.Name (Name)
import Cryptol.ModuleSystem.NamingEnv
(NamingEnv, namespaceMap, lookupNS, shadowing, namesToList)
(NamingEnv, namespaceMap, lookupNS, shadowing)
import Cryptol.ModuleSystem.Names(namesToList)
import Cryptol.TypeCheck.Type (Schema(..))
import Cryptol.Utils.PP (pp)
import Cryptol.Utils.Ident(Namespace(..))