git.iko.soy/Idris-dev
on master help sign in
Remove pretty printing reduction limit

This was to prevent printing too much in infinite computations, but these are now blocked by the evaluator under a Delay (in the REPL just as in the typechecker).

commitbdf2d7ae7da72042c5b9b6f5272082ba044cc395 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateWed 10 Aug 2016, 17:05 (10 years ago) parent6eadbe8
1 file changed+2−2
compare with master
unifiedsplit
src/Idris/AbsSyntaxTree.hs+2−2
src/Idris/AbsSyntaxTree.hs+2−2
@@ -162,7 +162,7 @@ defaultPPOption = PPOption {
162162 ppopt_impl = False
163163 , ppopt_desugarnats = False
164164 , ppopt_pinames = False
165− , ppopt_depth = Just 200
165+ , ppopt_depth = Nothing
166166 }
167167
168168-- | Pretty printing options with the most verbosity.
@@ -171,7 +171,7 @@ verbosePPOption = PPOption {
171171 ppopt_impl = True
172172 , ppopt_desugarnats = True
173173 , ppopt_pinames = True
174− , ppopt_depth = Just 200
174+ , ppopt_depth = Nothing
175175 }
176176
177177-- | Get pretty printing options from the big options record.