Simon Peyton Jones suggested the following changes: > 1. Move specification of enumFrom and friends from 3.10 to 6.3.4 > > 2. Specify that for bounded types, (succ maxBound) and (pred minBound) > are errors. > > 3. Specify that succ and pred on numeric types just add/subtract 1 > (subject to > (2) above. > > 4. Rewrite D.2 to talk about deriving only, not about Enum in general. > > 5. In Appendix A, the Enum class defn, add comments to explain that the > default methods only work for types whose fromEnum/toEnum range fits=20 > inside Int. In addition, I suggest that, since it is widely agreed that the instances of Enum for Float and Double are highly unsatisfactory, the report should give these instances the same status as n+k patterns have (in 1.4 of the recent revision). In particular, their use should be "discouraged", and there should be a warning that the instances may be "altered or removed in Haskell 2".
It might clear the ground somewhat for Haskell 2 if there were a new section containing a list of deprecated features; we can probably think of some other things which should go in there. In addition to what's said for n+k patterns, I suggest the standard explicitly encourage (but not oblige) conforming compilers to issue warnings when deprecated features are used. _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
