GaloisInc/what4
1
1
Fork 0
mirror of https://github.com/GaloisInc/what4.git synced 2024-12-01 20:23:10 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #33 from GaloisInc/fix-warnings

Browse Source 
Make code compile without warnings in ghc-8.6 and ghc-8.8.
This commit is contained in:
brianhuffman 2020-04-27 09:54:22 -07:00 committed by GitHub
commit e65ff5d487
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
7 changed files with 2 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
what4/src/What4/Config.hs
View File

@ -166,7 +166,6 @@ import Data.List.NonEmpty (NonEmpty(..))
import Data.Parameterized.Some
import Data.Sequence (Seq)
import qualified Data.Sequence as Seq
import Data.Semigroup (Semigroup(..))
import Data.Set (Set)
import qualified Data.Set as Set
import Data.Map (Map)

2
what4/src/What4/LabeledPred.hs
View File

@ -32,7 +32,7 @@ import Data.Data (Data)
import Data.Coerce (coerce)
import Data.Data (Typeable)
import Data.Eq.Deriving (deriveEq1, deriveEq2)
import Data.Foldable (Foldable, foldrM)
import Data.Foldable (foldrM)
import Data.Ord.Deriving (deriveOrd1, deriveOrd2)
import GHC.Generics (Generic, Generic1)
import Text.Show.Deriving (deriveShow1, deriveShow2)

1
what4/src/What4/Protocol/SMTLib2/Parse.hs
View File

@ -45,7 +45,6 @@ import qualified Data.ByteString.UTF8 as UTF8
import Data.Char
import Data.HashSet (HashSet)
import qualified Data.HashSet as HSet
import Data.Monoid ((<>))
import Data.Ratio
import Data.String
import Data.Word

1
what4/src/What4/Protocol/SMTLib2/Syntax.hs
View File

@ -139,7 +139,6 @@ module What4.Protocol.SMTLib2.Syntax
import Data.Bits hiding (xor)
import Data.Char (intToDigit)
import Data.Monoid ((<>))
import Data.String
import Data.Text (Text, cons)
import Data.Text.Lazy.Builder (Builder)

3
what4/src/What4/Protocol/SMTWriter.hs
View File

@ -115,7 +115,6 @@ import Data.Parameterized.Nonce (Nonce)
import Data.Parameterized.Some
import Data.Parameterized.TraversableFC
import Data.Ratio
import Data.Semigroup( (<>) )
import Data.Text (Text)
import qualified Data.Text as Text
import Data.Text.Lazy.Builder (Builder)
@ -130,7 +129,7 @@ import System.IO.Streams (OutputStream)
import qualified System.IO.Streams as Streams
import What4.BaseTypes
import What4.Interface (ArrayResultWrapper(..), IndexLit(..), RoundingMode(..), StringLiteral(..), stringInfo)
import What4.Interface (RoundingMode(..), stringInfo)
import What4.ProblemFeatures
import qualified What4.Expr.ArrayUpdateMap as AUM
import qualified What4.Expr.BoolMap as BM

1
what4/src/What4/Solver/Yices.hs
View File

@ -84,7 +84,6 @@ import Data.Parameterized.NatRepr
import Data.Parameterized.Some
import Data.Parameterized.TraversableFC
import Data.Ratio
import Data.Semigroup ( (<>) )
import Data.Set (Set)
import qualified Data.Set as Set
import Data.String (fromString)

1
what4/src/What4/Utils/HandleReader.hs
View File

@ -3,7 +3,6 @@ module What4.Utils.HandleReader where
import Control.Monad (unless)
import Data.IORef
import Data.Semigroup ( (<>) )
import Data.Text (Text)
import qualified Data.Text as Text
import qualified Data.Text.Lazy as LazyText