Hi again,
I am sorry and i don't want to polemicize. But the question
is: Anyone knows and have use a similar data definition to:
>> data Seq a = a | a :< Seq a
in which use the the type variable name to define a new data
constructor ?
For me in this situation the expected error message must appear just
in the first line because i expect that
the interpreter must consider that "a" is a type variable introduced
in the left side of the definition and then
if it appears with no constructor associated in the right side then
this definition must be considered as a wrong
definition. If not the a renaming is done by the interpreter and it
is not clear for me how works this renaming
1) data Seq a = b | b :< Seq b
2) data Seq a = b | a :< Seq a
3) data Seq a = b | b :< Seq a
4) data Seq a = b | a :< Seq b ...
Thanks
Juan Carlos González Moreno
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mo Okt 29 2007 - 08:59:54 CET