GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-17 13:01:31 +03:00
Code Issues Projects Releases Wiki Activity

More wibbles

Browse Source
This commit is contained in:
Iavor Diatchki 2017-09-27 10:24:30 -07:00
parent 208119fbbf
commit aab03be26a
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Cryptol/ModuleSystem/Base.hs
View File

@ -9,6 +9,8 @@
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE FlexibleContexts #-}
-- | This is the main driver---it provides entry points for the
-- various passes.
module Cryptol.ModuleSystem.Base where
import Cryptol.ModuleSystem.Env (DynamicEnv(..), deIfaceDecls)
@ -407,7 +409,8 @@ data TCAction i o = TCAction
, tcPrims :: PrimMap
}
typecheck :: (Show i, Show o, HasLoc i) => TCAction i o -> i -> IfaceDecls -> ModuleM o
typecheck ::
(Show i, Show o, HasLoc i) => TCAction i o -> i -> IfaceDecls -> ModuleM o
typecheck act i env = do
let range = fromMaybe emptyRange (getLoc i)