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

Fix to work with GHC 7.8

Browse Source
This commit is contained in:
Iavor S. Diatchki 2015-01-06 11:50:40 -08:00
parent ad807491a5
commit b799970f9e
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Cryptol/Parser/NoInclude.hs
View File

@ -20,6 +20,7 @@ import Cryptol.Parser.ParserUtils
import Cryptol.Utils.PP
import Data.Either (partitionEithers)
import qualified Control.Applicative as A
import MonadLib
import qualified Control.Exception as X
@ -63,7 +64,7 @@ tryNoIncM m = M (try (unM m))
instance Functor NoIncM where
fmap = liftM
instance Applicative NoIncM where
instance A.Applicative NoIncM where
pure = return
(<*>) = ap