[Ur] Opaque ascription

Ron de Bruijn rmbruijn at gmail.com
Wed Mar 28 07:03:12 EDT 2012


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

More information about the Ur mailing list