@@ -1628,6 +1628,8 @@ pprintPTerm ppo bnd docArgs infixes = prettySe startPrec bnd
1628 basename (NS n _) = basename n
1628 basename (NS n _) = basename n
1629 basename n = n
1629 basename n = n
1632+ | containsHole e = Nothing
1631 slist' p bnd (PApp _ (PRef _ nil) _)
1633 slist' p bnd (PApp _ (PRef _ nil) _)
1632 | not (ppopt_impl ppo) && nsroot nil == sUN "Nil" = Just []
1634 | not (ppopt_impl ppo) && nsroot nil == sUN "Nil" = Just []
1633 slist' p bnd (PRef _ nil)
1635 slist' p bnd (PRef _ nil)