X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=GHC%2FFloat.lhs;h=c133f094e833ff99ab36a4664af9e74359711be1;hb=ffe5cf1cec5e26ff192e1a73af30186559d69e55;hp=72fc5441dd544f2d1c2c69224029fcd0c79643cf;hpb=b565ba5924ed552c9184bbb66b921f2a18f87b1b;p=ghc-base.git

diff --git a/GHC/Float.lhs b/GHC/Float.lhs
index 72fc544..c133f09 100644
--- a/GHC/Float.lhs
+++ b/GHC/Float.lhs
@@ -534,14 +534,21 @@ roundTo base d is =
 -- by R.G. Burger and R.K. Dybvig in PLDI 96.
 -- This version uses a much slower logarithm estimator. It should be improved.
 
--- floatToDigits takes a base and a non-negative RealFloat number,
+-- | @floatToDigits@ takes a base and a non-negative RealFloat number,
 -- and returns a list of digits and an exponent. 
 -- In particular, if x>=0, and
+--
+-- @
 --	floatToDigits base x = ([d1,d2,...,dn], e)
+-- @
+--
 -- then
---	(a) n >= 1
---	(b) x = 0.d1d2...dn * (base**e)
--- 	(c) 0 <= di <= base-1
+--
+--	(1) n >= 1
+--
+--	(2) x = 0.d1d2...dn * (base**e)
+--
+-- 	(3) 0 <= di <= base-1
 
 floatToDigits :: (RealFloat a) => Integer -> a -> ([Int], Int)
 floatToDigits _ 0 = ([0], 0)