Proxy and new-typeable

Ben Gamari bgamari.foss at
Mon Mar 25 16:52:19 CET 2013

Somehow libraries@ never made it on to recipient list when I sent this
on Friday.

Ben Gamari <bgamari.foss at> writes:

> Shortly after I sent this Shachaf reminded me of the (perhaps obvious in
> hindsight) option (d): move the Proxy type into a new module. While I'm
> admittedly not very familiar with the module system, I can certainly see
> how moving Proxy might help avoid cycles. I can try this in the
> morning. It may be that (c) isn't as infeasible as I had thought.
Here[1] is my attempt at moving Proxy to its own module and giving it a
reasonably complete set of instances (blatantly stolen from
tagged). Comments welcome, particularly if you can spot any avoidable
portability issues as my experience here is pretty limited.




More information about the Libraries mailing list