[m-dev.] Abstract exported dummy types

Michael Day mikeday at yeslogic.com
Thu Oct 19 12:20:41 AEDT 2017

> But I would still prefer if users could define their own abstract
> exported dummy types, by adding a pragma in interface files.
> We currently have "where type_is_abstract_enum" to expose something
> about the representation of values of an abstract type while maintaing
> the abstraction barrier, and I think we'll want something for
> fixed-width integer types, too. Exposing the dumminess of a type seems
> like just another aspect of the same idea.

This sounds better than silently falling back to a different 
representation or aborting, I think.


Prince: Print with CSS!

More information about the developers mailing list