Mention existence of 'Natural' in "Data.Word"
authorHerbert Valerio Riedel <hvr@gnu.org>
Tue, 2 Dec 2014 07:38:38 +0000 (08:38 +0100)
committerHerbert Valerio Riedel <hvr@gnu.org>
Tue, 2 Dec 2014 07:38:38 +0000 (08:38 +0100)
This replaces the note mentioning the lack of a `Natural`-type by a note
pointing to the new "Numeric.Natural" (#9818) module.

libraries/base/Data/Word.hs

index 8af39b6..f20844f 100644 (file)
@@ -43,10 +43,8 @@ import GHC.Word
   common cases so should be fast enough.  Coercing word types to and
   from integer types preserves representation, not sign.
 
-* It would be very natural to add a type @Natural@ providing an unbounded 
-  size unsigned integer, just as 'Prelude.Integer' provides unbounded
-  size signed integers.  We do not do that yet since there is no demand
-  for it.
+* An unbounded size unsigned integer type is available with
+  'Numeric.Natural.Natural'.
 
 * The rules that hold for 'Prelude.Enum' instances over a bounded type
   such as 'Prelude.Int' (see the section of the Haskell report dealing