Home
last modified time | relevance | path

Searched refs:DuplicateAnonDeclaration (Results 1 – 2 of 2) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Concrete/Definitions/
H A DErrors.hs36 | DuplicateAnonDeclaration Range constructor
207 getRange (DuplicateAnonDeclaration r) = r
264 pretty (DuplicateAnonDeclaration _) = fsep $
H A DMonad.hs121 if not $ isNoName x then DuplicateDefinition x else DuplicateAnonDeclaration r