@@ -212,10 +212,11 @@ instance PrettyType a => PrettyType (TermN a) where
212 Nothing -> doc
212 Nothing -> doc
214instance PrettyType Descriptor where
214instance PrettyType Descriptor where
215− pretty when desc =
215+ pretty when desc = do
216− case (structure desc, name desc) of
216+ case (alias desc, structure desc, name desc) of
217+ (Just name, _, _) -> PP.pretty name
217− (Just term, _) -> pretty when term
218+ (_, Just term, _) -> pretty when term
218− (_, Just name)
219+ (_, _, Just name)
219 | Var.isTuple name ->
220 | Var.isTuple name ->
220 P.parens . P.text $ replicate (read (drop 6 (Var.toString name)) - 1) ','
221 P.parens . P.text $ replicate (read (drop 6 (Var.toString name)) - 1) ','
221 | otherwise ->
222 | otherwise ->