On 14-May-1998, Philip Wadler [EMAIL PROTECTED] wrote:
Rossberg writes,
So the x above is always flat already. Wouldn't the equation
flatten (x :| y) = x
suffice? Doing recursion here seems to be unnecessary overhead.
...
Am I missing something?
You're not the one who
Rossberg writes,
thinking about whether the pretty printer proposed by Wadler requires
some changes to be efficient in a strict language, I stumbled over the
the last case defining `flatten':
flatten (x :| y) = flatten x
I wonder why it is necessary here to recurse on x.