On 28 Mar 2008, at 2:02 AM, Paul Keir wrote:

Thanks, I'd thought it was something to do with incompatible types. I can now create a simpler problem:

tester2 = reserved "parameter" <|> symbol ":"

Certainly I could use reserved ":" instead of symbol, but where is my thinking with symbol here going wrong? Surely the above example isn't so odd?

What type do you expect tester2 to return?

jcc