| Another simple alternative is to weaken the the equation by | replacing the variable r by the empty string: [Alternative B:] | | ... | should be the case that | | fst (head (readsPrec d (showsPrec d x ""))) == x Yes, I like this alternative too. I'll implement it. Thank you for spotting it. Simon _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
- Re: Haskell report typo (bad law for readsPrec) Simon Peyton-Jones
- Re: Haskell report typo (bad law for readsPrec) Wolfgang Lux
