GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-16 03:05:44 +03:00
Code Issues Projects Releases Wiki Activity

Fix compiler warnings.

Browse Source
This commit is contained in:
Brian Huffman 2018-06-15 11:12:50 -07:00
parent 01667d8486
commit 9cbda930c7
2 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Cryptol/TypeCheck/Kind.hs
View File

@ -395,7 +395,6 @@ checkProp prop =
P.CUser x ts -> checkTUser x ts (Just KProp) P.CUser x ts -> checkTUser x ts (Just KProp)
P.CLocated p r1 -> kInRange r1 (checkProp p) P.CLocated p r1 -> kInRange r1 (checkProp p)
P.CType _ -> panic "checkProp" [ "Unexpected CType", show prop ] P.CType _ -> panic "checkProp" [ "Unexpected CType", show prop ]
P.CType _ -> panic "checkProp" [ "Unexpected CType", show prop ]
-- | Check that a type has the expected kind. -- | Check that a type has the expected kind.

1
src/Cryptol/TypeCheck/Solve.hs
View File

@ -44,7 +44,6 @@ import Control.Monad(mzero)
import qualified Data.Map as Map import qualified Data.Map as Map
import Data.Set ( Set ) import Data.Set ( Set )
import qualified Data.Set as Set import qualified Data.Set as Set
import Data.List(partition)