@@ -99,8 +99,9 @@ dumpState ist ps@(PS nm (h:hs) _ _ tm _ _ _ _ _ _ problems i _ _ ctxy _ _ _) = d
99 prettyAssumptions env <> line <>
99 prettyAssumptions env <> line <>
100 prettyGoal (zip (assumptionNames env) (repeat False)) ty
100 prettyGoal (zip (assumptionNames env) (repeat False)) ty
102− -- XXX
102+ showImplicits = opt_showimp (idris_options ist)
103− tPretty bnd t = pprintPTerm True bnd $ delab ist t
104+ tPretty bnd t = pprintPTerm showImplicits bnd $ delab ist t
105 assumptionNames :: Env -> [Name]
106 assumptionNames :: Env -> [Name]
106 assumptionNames = map fst
107 assumptionNames = map fst