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

Merge branch 'master' of github.com:GaloisInc/cryptol

Browse Source
This commit is contained in:
Iavor S. Diatchki 2015-08-12 15:02:34 -07:00
commit 44ef6930d7
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Cryptol/Eval.hs
View File

@ -29,11 +29,11 @@ import Cryptol.Utils.PP
import Cryptol.Prims.Eval
import qualified Data.Map as Map
import Data.Traversable (sequenceA)
#if __GLASGOW_HASKELL__ < 710
import Control.Applicative (Applicative(..))
import Data.Monoid (Monoid(..),mconcat)
import Data.Traversable (sequenceA)
#endif
-- Expression Evaluation -------------------------------------------------------

1
src/Cryptol/Parser/AST.hs
View File

@ -6,6 +6,7 @@
-- Stability : provisional
-- Portability : portable
{-# LANGUAGE CPP #-}
{-# LANGUAGE Safe #-}
{-# LANGUAGE PatternGuards #-}
{-# LANGUAGE RecordWildCards #-}