-
Notifications
You must be signed in to change notification settings - Fork 24
Open
Labels
arch:aarch32AArch32 (32 bit ARM) issuesAArch32 (32 bit ARM) issues
Description
We should either disable this warning with a note on why we think this orphan is acceptable, or we should move it to the module that defines RegContext.
src/Data/Macaw/AArch32/Symbolic/Regs.hs:81:1: warning: [GHC-90177] [-Worphans]
Orphan family instance:
type instance MS.ArchRegContext SA.AArch32 = RegContext
-- Defined at src/Data/Macaw/AArch32/Symbolic/Regs.hs:81:15
Suggested fix:
Move the instance declaration to the module of the type family or of the type, or
wrap the type with a newtype and declare the instance on the new type.
|
81 | type instance MS.ArchRegContext SA.AArch32 = RegContext
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
See:
Metadata
Metadata
Assignees
Labels
arch:aarch32AArch32 (32 bit ARM) issuesAArch32 (32 bit ARM) issues