show incomplete term holes for listy constructors
commitda8b88abf8d646263a9486a348525f3e5886fb68
authorJP Smith <jp.smith@ilstu.edu>
dateSat 4 Apr 2015, 16:31 (12 years ago)
parent927fc19
src/Idris/AbsSyntaxTree.hs+2
@@ -1628,6 +1628,8 @@ pprintPTerm ppo bnd docArgs infixes = prettySe startPrec bnd
16281628 basename (NS n _) = basename n
16291629 basename n = n
16301630
1631+ slist' _ _ e
1632+ | containsHole e = Nothing
16311633 slist' p bnd (PApp _ (PRef _ nil) _)
16321634 | not (ppopt_impl ppo) && nsroot nil == sUN "Nil" = Just []
16331635 slist' p bnd (PRef _ nil)