"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).
Hope this helps,
- Andreas
_______________________________________________
alice-users mailing list
[email protected]
http://www.ps.uni-sb.de/mailman/listinfo/alice-users
