| 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

Reply via email to