Help ? :)

[Graham Klyne]

At 12:19 03/11/03 +0000, Patty Fong wrote:
><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