Help ? :)
GK at ninebynine.org
Mon Nov 3 16:17:58 EST 2003
At 12:19 03/11/03 +0000, Patty Fong wrote:
><prolog> ::= (<assertion> ".")*<?xml:namespace prefix = o ns =
>type Prolog = Assertion
Did you mean this to be a *list* of Assertions? e.g.
type Prolog = [Assertion]
Otherwise, I think Hal's response covers it. I'd suggest, if only as an
exercise, to do the entire definition using 'data' only (no 'type's) ...
then figure out if you want to eliminate any of the constructors.
More information about the Haskell-Cafe