@@ -927,17 +927,6 @@ updateNs ns t = mapPT updateRef t
927927 where updateRef (PRef fc fcs f) = PRef fc fcs (updateN ns f)
928928 updateRef t = t
929929
930−-- updateDNs :: [(Name, Name)] -> PDecl -> PDecl
931−-- updateDNs [] t = t
932−-- updateDNs ns (PTy s f n t) | Just n' <- lookup n ns = PTy s f n' t
933−-- updateDNs ns (PClauses f n c) | Just n' <- lookup n ns = PClauses f n' (map updateCNs c)
934−-- where updateCNs ns (PClause n l ts r ds)
935−-- = PClause (updateN ns n) (fmap (updateNs ns) l)
936−-- (map (fmap (updateNs ns)) ts)
937−-- (fmap (updateNs ns) r)
938−-- (map (updateDNs ns) ds)
939−-- updateDNs ns c = c
940−
941930data PunInfo = IsType
942931 | IsTerm
943932 | TypeOrTerm