Derived Show and Read

[Simon Peyton-Jones]

| However, the example you give in bullet 2 doesn't
| make sense - I suspect you want to say
|=20
| infixr :$
| data T =3D Int :$ Int | T Int
|=20
| * "show (1 :$ 2 :$ T 3)" produces the string "1 :$ (2 :$ (T 3))" ...

Indeed so.

| Was there a good technical reason for dropping that portion=20
| of the Report (1.3 onwards), btw? Preferable to bulleted text, IMHO.

I have no idea; I wasn't editing for 1.3.

But I'm nervous about adding it again...it's late in the day.

Simon