Folks, 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. Simon
Mon, 12 Mar 2001 07:43:33 -0800, Simon Peyton-Jones <simonpj@microsoft.com> pisze:
I have no idea why it can't be just
ANYseq -> {ANY}_<opencomment | closecomment>
This would mean: it's a sequence of characters which is not equal to '{-' or '-}'. But it should mean: it's a sequence of characters which doesn't contain '{-' or '-}'. The current definition is correct, this one is not. -- __("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ SYGNATURA ZASTÊPCZA QRCZAK
participants (2)
-
qrczak＠knm.org.pl -
Simon Peyton-Jones