Searched refs:ScopedDecl (Results 1 – 9 of 9) sorted by relevance
80 checkDeclCached d@A.ScopedDecl{} = checkDecl d111 compareDecl A.ScopedDecl{} A.ScopedDecl{} = __IMPOSSIBLE__155 A.ScopedDecl scope ds -> none $ setScope scope >> mapM_ checkDeclCached ds394 A.ScopedDecl{} -> return ()786 checkTypeSignature' gtel (A.ScopedDecl scope ds) = do1027 A.ScopedDecl {} -> "ScopedDecl"
158 getName (A.ScopedDecl _ [f]) = getName f548 checkProjs ftel1 ftel2 vs (A.ScopedDecl scope fs' : fs) =
196 checkConstructor d uc tel nofIxs s (A.ScopedDecl scope [con]) = do
190 | ScopedDecl ScopeInfo [Declaration] -- ^ scope annotation constructor568 ScopedDecl _ a1 == ScopedDecl _ a2 = a1 == a2 function659 getRange (ScopedDecl _ d ) = getRange d793 killRange (ScopedDecl a d ) = killRange1 (ScopedDecl a) d891 axiomName (ScopedDecl _ (d:_)) = axiomName d907 anyAbstract (ScopedDecl _ ds) = anyAbstract ds
97 deepUnscopeDecl (A.ScopedDecl _ ds) = deepUnscopeDecls ds434 ScopedDecl s ds -> ScopedDecl s <$> rec ds497 ScopedDecl _ decls -> declaredNames decls
115 A.ScopedDecl scope ds -> {- withScope_ scope $ -} termDecls ds135 getName (A.ScopedDecl _ ds) = getNames ds
216 A.ScopedDecl s ds -> hl ds
1080 toConcrete (Constr (A.ScopedDecl scope [d])) =1116 toConcrete (ScopedDecl scope ds) =
133 return $ ScopedDecl s ds846 A.ScopedDecl si [A.FunDef di qname' NotDelayed cs] -> do