[m-dev.] Abstract exported dummy types
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