<prolog> ::= (<assertion> ".")*<?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" />
[...]
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.
#g
------------ Graham Klyne For email: http://www.ninebynine.org/#Contact
_______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe
