Properly annotate the Type of Types
commit13c6eff697798d692336b32077713124b27e0285
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateMon 27 Jan 2014, 04:13 (13 years ago)
parentc0cc1dd
src/Idris/AbsSyntaxTree.hs+1−1
@@ -1189,7 +1189,7 @@ pprintPTerm impl bnd = prettySe 10 bnd
11891189 where
11901190 prettyAs =
11911191 foldr (\l -> \r -> l <+> text "," <+> r) empty $ map (prettySe 10 bnd) as
1192− prettySe p bnd PType = text "Type"
1192+ prettySe p bnd PType = annotate AnnConstType $ text "Type"
11931193 prettySe p bnd (PConstant c) = annotate (annot c) (text (show c))
11941194 where annot (AType _) = AnnConstType
11951195 annot StrType = AnnConstType