on master help sign in
Merge pull request #4509 from MarisaKirisame/patch-1

fix param name in comment.

commitd8720baab0bc644c27384227c8e4139b1641b1c7 authorNiklas Larsson <metaniklas@gmail.com> dateMon 16 Jul 2018, 18:57 (8 years ago) parentc4c03b6dacbb3a
1 file changed+2−2
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)