Any in Haskell Report

Simon Peyton-Jones
Mon, 12 Mar 2001 07:43:33 -0800


In the Haskell Report, Feliks points out:

| On pp. 5 and 120 the rule for "ANYseq" has a very strange 
| structure: why the
| "{ANY}" at the beginning and end of the subtracted stuff?  It 
| seems it could
| be simplified, or at least explained.

 I have no idea why it can't be just

	ANYseq   ->   {ANY}_<opencomment | closecomment>

Can anyone see why this simpler form would not work?
I propose to adopt this simplification.