Hi,The Ur/Web module system doesn't support opaque ascription currently. Is there a reason for that considering that the compiler implementation makes fairly extensive use of this Standard ML feature?
-- Best regards, Ron de Bruijn _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
