The release notes for alice 1.4 mentions: * [NEW] Proper treatment of equality types.
Does anyone know what exactly has changed from 1.3? Becos I am having problems with code that was ok in 1.3 but is not with 1.4: and gives the following error: ~~~~~~ mismatch on application: expression type typ * typ does not match function's argument type ''1 * ''1 because type ''1 does not unify with typ ~~~~~~ Thanks Priya _______________________________________________ alice-users mailing list [email protected] http://www.ps.uni-sb.de/mailman/listinfo/alice-users
