Thanks for the tips.
I sent a patch to the mail interface and it hasn't made it through yet.
The patch is pretty trivial but you can find it at
http://www.metrak.com/src/alice-parsec/alice1.4.patch
Andreas Rossberg wrote:
"paul sorenson" <[EMAIL PROTECTED]>:
Thanks for the quick response. Sorry for my newbiness but after
fixing that I get:
MkPrim.aml:193.17-193.38: mismatch on application: expression type
''4 -> bool
does not match function's argument type
Token.token -> bool
because type
''4
does not unify with
Token.token
That's because Alice 1.4 implements SML's equality types correctly, and
the Parsec implementation obviously does violate that (i.e. is not valid
SML).
The double tick in ''4 denotes an equality type (because op= is used),
and does not unify with the token type because that is not an equality
type according to its specification in the TOKEN signature. You either
need to change the specification to eqtype. Or rather, you use the
operator Toke.equal instead of op=, which seems to match the intension
better (in fact I believe that the use of polymorphic equality op= in
that line actually is a slip-up).
_______________________________________________
alice-users mailing list
[email protected]
http://www.ps.uni-sb.de/mailman/listinfo/alice-users
