
My typo started this most recent confusion. When I wrote
data AorB = A | B
compiles with error.
That raises the question of what it really means!
I meant to say
data AorB = A | B
compiles *without *error.
That raises the question of what it really means!
*
-- Russ *
On Tue, Dec 14, 2010 at 1:04 PM, Tobias Brandt
On 14 December 2010 22:02, Hector Guilarte
wrote: Tobias you replied at the same time I was answering, you did explained what is happening, however, you said something which isn't right. As I mentioned before, "Type Constructors" and "Value Constructors" are in different scopes, and so, their names can be used again... if you don't believe me, give it a try with this example.
I believe you. As I said, I was talking crap :-)