From 278b079a4963fa9ad70905a55fa07b6935b48788 Mon Sep 17 00:00:00 2001 From: Joe Hendrix Date: Sun, 21 Jan 2018 07:56:04 -0800 Subject: [PATCH] Fix warnings; remove -Werror --- base/macaw-base.cabal | 2 +- base/src/Data/Macaw/Types.hs | 2 ++ x86/macaw-x86.cabal | 2 +- 3 files changed, 4 insertions(+), 2 deletions(-) diff --git a/base/macaw-base.cabal b/base/macaw-base.cabal index 3b711671..3e607269 100644 --- a/base/macaw-base.cabal +++ b/base/macaw-base.cabal @@ -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 \ No newline at end of file diff --git a/base/src/Data/Macaw/Types.hs b/base/src/Data/Macaw/Types.hs index da411060..60df4bff 100644 --- a/base/src/Data/Macaw/Types.hs +++ b/base/src/Data/Macaw/Types.hs @@ -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 diff --git a/x86/macaw-x86.cabal b/x86/macaw-x86.cabal index 72b77b32..fdcf423a 100644 --- a/x86/macaw-x86.cabal +++ b/x86/macaw-x86.cabal @@ -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