Haskell report typo (bad law for readsPrec)

Simon Peyton-Jones simonpj@microsoft.com
Mon, 18 Jun 2001 02:28:19 -0700


| Another simple alternative is to weaken the the equation by=20
| replacing the variable r by the empty string: [Alternative B:]
|=20
| ...
|    should be the case that
|=20
|      fst (head (readsPrec d (showsPrec d x ""))) =3D=3D x

Yes, I like this alternative too.  I'll implement it.

Thank you for spotting it.

Simon