Fri, 20 Aug 1999 02:59:09 +1000, Bob Howard <[EMAIL PROTECTED]> pisze:
> data BTree Integer = Leaf Integer | Node Integer (BTree Integer) (BTree Integer)
Write either
data BTree a = Leaf a | Node a (BTree a) (BTree a)
or
data BTree = Leaf Integer | Node Integer BTree BTree
depending on what you mean. Your version is not equivalent to the
first one because type variables (in contrast to concrete types)
must begin with lowercase. And is not equivalent to the second one
because an identifier must be a single word :-)
--
__("< Marcin Kowalczyk * [EMAIL PROTECTED] http://kki.net.pl/qrczak/
\__/ GCS/M d- s+:-- a22 C+++>+++$ UL++>++++$ P+++ L++>++++$ E-
^^ W++ N+++ o? K? w(---) O? M- V? PS-- PE++ Y? PGP->+ t
QRCZAK 5? X- R tv-- b+>++ DI D- G+ e>++++ h! r--%>++ y-