@@ -162,7 +162,7 @@ defaultPPOption = PPOption {
162 ppopt_impl = False
162 ppopt_impl = False
163 , ppopt_desugarnats = False
163 , ppopt_desugarnats = False
164 , ppopt_pinames = False
164 , ppopt_pinames = False
165− , ppopt_depth = Just 200
165+ , ppopt_depth = Nothing
168-- | Pretty printing options with the most verbosity.
168-- | Pretty printing options with the most verbosity.
@@ -171,7 +171,7 @@ verbosePPOption = PPOption {
171 ppopt_impl = True
171 ppopt_impl = True
172 , ppopt_desugarnats = True
172 , ppopt_desugarnats = True
173 , ppopt_pinames = True
173 , ppopt_pinames = True
174− , ppopt_depth = Just 200
174+ , ppopt_depth = Nothing
177-- | Get pretty printing options from the big options record.
177-- | Get pretty printing options from the big options record.