git.iko.soy/Idris-dev
on master help sign in
Properly annotate the Type of Types
13c6effDavid Raymond Christiansen
src/Idris/AbsSyntaxTree.hs+1−1
compare with master
unifiedsplit
@@ -1189,7 +1189,7 @@ pprintPTerm impl bnd = prettySe 10 bnd
1189 where
1189 where
1190 prettyAs =
1190 prettyAs =
1191 foldr (\l -> \r -> l <+> text "," <+> r) empty $ map (prettySe 10 bnd) as
1191 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"
1193 prettySe p bnd (PConstant c) = annotate (annot c) (text (show c))
1193 prettySe p bnd (PConstant c) = annotate (annot c) (text (show c))
1194 where annot (AType _) = AnnConstType
1194 where annot (AType _) = AnnConstType
1195 annot StrType = AnnConstType
1195 annot StrType = AnnConstType