Don't print hidden binders.

This commit is contained in:
Erik Svedäng 2020-04-09 15:10:47 +02:00
parent 07ac1ffd72
commit 84403988f1

View File

@ -395,7 +395,7 @@ showBinderIndented indent (name, Binder _ (XObj (Lst [XObj (Interface t paths) _
joinWith "\n " (map show paths) ++
"\n" ++ replicate indent ' ' ++ "}"
showBinderIndented indent (name, Binder meta xobj) =
if False -- metaIsTrue meta "hidden"
if metaIsTrue meta "hidden"
then ""
else replicate indent ' ' ++ name ++
-- " (" ++ show (getPath xobj) ++ ")" ++