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 <tob.brandt@googlemail.com>wrote:
On 14 December 2010 22:02, Hector Guilarte <hectorg87@gmail.com> 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 :-)