GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-22 05:45:51 +03:00
Code Issues Projects Releases Wiki Activity

Enable -Wno-orphans to fix warnings uncovered by GHC 9.8

Browse Source 
GHC 9.8 is better about reporting orphan type family instances, which are used
in various spots in Macaw. Enable `-Wno-orphans` to suppress these warnings.
This commit is contained in:
Ryan Scott 2024-08-07 08:09:32 -04:00
parent 85ca3ba8d1
commit c1a1449ec2
4 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
macaw-aarch32/src/Data/Macaw/ARM/ARMReg.hs
View File

@ -12,6 +12,7 @@
{-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-} {-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE UndecidableInstances #-}
{-# OPTIONS_GHC -Wno-orphans #-}
module Data.Macaw.ARM.ARMReg module Data.Macaw.ARM.ARMReg
( ARMReg(..) ( ARMReg(..)

1
macaw-ppc/src/Data/Macaw/PPC/PPCReg.hs
View File

@ -15,6 +15,7 @@
{-# LANGUAGE TypeOperators #-} {-# LANGUAGE TypeOperators #-}
{-# LANGUAGE TypeSynonymInstances #-} {-# LANGUAGE TypeSynonymInstances #-}
{-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE UndecidableInstances #-}
{-# OPTIONS_GHC -Wno-orphans #-}
-- | Defines the register types for PowerPC, along with some helpers -- | Defines the register types for PowerPC, along with some helpers
module Data.Macaw.PPC.PPCReg ( module Data.Macaw.PPC.PPCReg (
PPCReg(..), PPCReg(..),

1
macaw-riscv/src/Data/Macaw/RISCV/RISCVReg.hs
View File

@ -11,6 +11,7 @@
{-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-} {-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE UndecidableInstances #-}
{-# OPTIONS_GHC -Wno-orphans #-}
module Data.Macaw.RISCV.RISCVReg module Data.Macaw.RISCV.RISCVReg
( -- * RISC-V macaw register state ( -- * RISC-V macaw register state

1
x86/src/Data/Macaw/X86.hs
View File

@ -16,6 +16,7 @@ x86_64 programs.
{-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE NondecreasingIndentation #-} {-# LANGUAGE NondecreasingIndentation #-}
{-# OPTIONS_GHC -Wno-orphans #-}
module Data.Macaw.X86 module Data.Macaw.X86
( x86_64_info ( x86_64_info
, x86_64_freeBSD_info , x86_64_freeBSD_info