search

krfkeith / decac

Automatically exported from code.google.com/p/decac
GNU General Public License v3.0
0 stars 0 forks source link

Abstract types need implementation #8

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
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

GoogleCodeExporter commented 9 years ago 
Went back to full existential types.

Original comment by eligottlieb@gmail.com on 24 Oct 2011 at 11:29