Re: Help ? :)

At 12:19 03/11/03 +0000, Patty Fong wrote:

<prolog> ::= (<assertion> ".")*

[...]

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