Priya Gopalan wrote:
The release notes for alice 1.4 mentions:
* [NEW] Proper treatment of equality types.
Does anyone know what exactly has changed from 1.3?
Before 1.4, Alice just ignored the SML eqtype and allowed equality
everywhere. Now, Alice treats eqtypes as specified for SML.
~~~~~~
mismatch on application: expression type
typ * typ
does not match function's argument type
''1 * ''1
because type
''1
does not unify with
typ
~~~~~~
This means that your function uses some operation involving equality
and thus can only be applied to eqtypes, and apparently typ is not an
eqtype.
Cheers,
Guido
_______________________________________________
alice-users mailing list
[email protected]
http://www.ps.uni-sb.de/mailman/listinfo/alice-users
