Poly/ML 5.4 Experimental > {1 = true}; val it = (true): {1: bool}
Presumably this should say: val it = {1 = true}: {1: bool} Phil _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml