Decided to switch from full existential types to abstract types with a
user-defined representation *as another type*. The abstraction boundary will
be modules: functions defined in the same module as the abstract type will see
the inner representation while functions outside it will see an opaque abstract
type.
Original issue reported on code.google.com by eligottlieb@gmail.com on 27 Apr 2011 at 6:33
Original issue reported on code.google.com by
eligottlieb@gmail.com
on 27 Apr 2011 at 6:33