Constructors
DuplicateFields (List1 (Name, Range))Each redundant field comes with a range of associated dead code.
TooManyFields QName [Name] (List1 (Name, Range))Record type, fields not supplied by user, non-fields but supplied. The redundant fields come with a range of associated dead code.
Instances5Show, Generic, NFData, EmbPrj, Rep
Show RecordFieldWarningDefined in Agda-2.8.0.2 · Agda.TypeChecking.Monad.Base.WarningGeneric RecordFieldWarningDefined in Agda-2.8.0.2 · Agda.TypeChecking.Monad.Base.WarningNFData RecordFieldWarningDefined in Agda-2.8.0.2 · Agda.TypeChecking.Monad.Base · orphanEmbPrj RecordFieldWarningDefined in Agda-2.8.0.2 · Agda.TypeChecking.Serialise.Instances.Errors · orphantype Rep RecordFieldWarning = D1 ('MetaDataDefined in Agda-2.8.0.2 · Agda.TypeChecking.Monad.Base.Warning"RecordFieldWarning"
"Agda.TypeChecking.Monad.Base.Warning"
"Agda-2.8.0.2-3KZoCGOoan2Kayji4DU37s"
'False) (C1 ('MetaCons"DuplicateFields"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (List1 (Name, Range)))) :+: C1 ('MetaCons"TooManyFields"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 QName) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Name]) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (List1 (Name, Range))))))