On 25/02/2015 12:00 PM, Jonathan S. Shapiro wrote:
The most obvious problem is that make-closure is an allocating operation, and we need to be able to use existential encapsulation in some places where allocation is not permitted.
Two solutions seem viable: 1. HList-style heterogenous collections. 2. Unboxed union types. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
