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

Remove the generic-trie dependency

Browse Source
This commit is contained in:
Trevor Elliott 2016-05-27 17:05:16 -07:00
parent c6144bd332
commit 2f21dd509a
2 changed files with 0 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
cryptol.cabal
View File

@ -51,7 +51,6 @@ library
directory >= 1.2,
filepath >= 1.3,
gitrev >= 1.0,
generic-trie >= 0.3.0.1,
GraphSCC >= 1.0.4,
heredoc >= 0.2,
monad-control >= 1.0,
@ -168,8 +167,6 @@ library
GitRev
GHC-options: -Wall -O2 -fsimpl-tick-factor=140
-- the `fsimpl-tick-factor` is needed to finish optimizing the
-- generic trie.
ghc-prof-options: -fprof-auto -prof
if flag(relocatable)

3
src/Cryptol/TypeCheck/Solver/InfNat.hs
View File

@ -16,15 +16,12 @@ module Cryptol.TypeCheck.Solver.InfNat where
import Data.Bits
import Cryptol.Utils.Panic
import Data.GenericTrie(TrieKey)
import GHC.Generics(Generic)
-- | Natural numbers with an infinity element
data Nat' = Nat Integer | Inf
deriving (Show,Eq,Ord,Generic)
instance TrieKey Nat'
fromNat :: Nat' -> Maybe Integer
fromNat n' =
case n' of