| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.TypeChecking.Monad.Base.Warning
Description
Types related to warnings raised by Agda.
Documentation
data RecordFieldWarning Source #
Constructors
| DuplicateFields [(Name, Range)] | Each redundant field comes with a range of associated dead code. |
| TooManyFields QName [Name] [(Name, Range)] | Record type, fields not supplied by user, non-fields but supplied. The redundant fields come with a range of associated dead code. |