git.iko.soy/Idris-dev
on master help sign in
fix param name in comment.

I think the render function has an error. It seems like the lvl argument never get changed, and will always stay at w. Judging by the documentation, it seems like best lvl col curr (Nest x y) k = best lvl col (curr+x) y k should be best lvl col curr (Nest x y) k = best (lvl-x) col (curr+x) y k. maybe it should also start at 0 and count up instead, to match the name 'lvl'.

commitdacbb3a689a2cff4e0642658b39fec5615adceb8 author雾雨魔理沙 <lolisa@marisa.moe> dateSat 7 Jul 2018, 15:30 (8 years ago) parentebd3119
1 file changed+2−2
compare with master
unifiedsplit
libs/contrib/Text/PrettyPrint/WL/Core.idr+2−2
libs/contrib/Text/PrettyPrint/WL/Core.idr+2−2
@@ -145,9 +145,9 @@ fits w (Line _ _) = if w < 0 then False else True
145145
146146||| Use the Wadler-Leijen algorithm to pretty print the `doc`.
147147||| The algorithm uses a page width of `width` and a ribbon
148−||| width of `(ribbonfrac * width)` characters. The ribbon width is
148+||| width of `(rfrac * width)` characters. The ribbon width is
149149||| the maximal amount of non-indentation characters on a line. The
150−||| parameter `ribbonfrac` should be between `0.0` and `1.0`. If it is
150+||| parameter `rfrac` should be between `0.0` and `1.0`. If it is
151151||| lower or higher, the ribbon width will be 0 or `width`
152152||| respectively.
153153render : (rfrac : Double)