GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-28 08:34:23 +03:00
Code Issues Projects Releases Wiki Activity

Fix warnings; remove -Werror

Browse Source
This commit is contained in:
Joe Hendrix 2018-01-21 07:56:04 -08:00
parent 4482229156
commit 278b079a49
No known key found for this signature in database
GPG Key ID: 8DFA5FF784098C4F
3 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
base/macaw-base.cabal
View File

@ -51,6 +51,6 @@ library
Data.Macaw.Memory.Permissions
Data.Macaw.Types
ghc-options: -Wall -Werror
ghc-options: -Wall
ghc-options: -fno-warn-unticked-promoted-constructors
ghc-prof-options: -O2 -fprof-auto-top

2
base/src/Data/Macaw/Types.hs
View File

@ -111,6 +111,8 @@ type BVType = 'BVType
type BoolType = 'BoolType
type TupleType = 'TupleType
-- | A runtime representation of @Type@ for case matching purposes.
data TypeRepr (tp :: Type) where
BoolTypeRepr :: TypeRepr BoolType

2
x86/macaw-x86.cabal
View File

@ -42,7 +42,7 @@ library
Data.Macaw.X86.X86Reg
Data.Macaw.X86.X87ControlReg
ghc-options: -Wall -Werror
ghc-options: -Wall
ghc-options: -fno-warn-unticked-promoted-constructors
ghc-prof-options: -O2 -fprof-auto-top