GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2025-01-05 15:07:12 +03:00
Code Issues Projects Releases Wiki Activity

Raise base-compat upper constraint to < 0.11.

Browse Source
This commit is contained in:
Kevin Quick 2018-08-24 16:45:28 -07:00
parent e0557d1694
commit 0616c72017
No known key found for this signature in database
GPG Key ID: E6D7733599CC0A21
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cryptol.cabal
View File

@ -43,7 +43,7 @@ library
Default-language:
Haskell2010
Build-depends: base >= 4.8 && < 5,
base-compat >= 0.6 && < 0.10,
base-compat >= 0.6 && < 0.11,
bytestring >= 0.10,
array >= 0.4,
containers >= 0.5,

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

@ -67,7 +67,7 @@ import qualified System.IO.Error as IOE
import qualified Data.Map as Map
import Prelude ()
import Prelude.Compat
import Prelude.Compat hiding ( (<>) )
-- Renaming --------------------------------------------------------------------