> On Thu, Jul 16, 2009 at 8:22 PM, Thomas Hartman<tphyahoo at gmail.com> wrote: >> Is this being worked on? On Thu, Jul 16, 2009 at 12:35 PM, Bas van Dijk<v.dijk.bas at gmail.com> wrote: > I have no idea. Yes. Bolingbroke, Peyton-Jones. "Types are calling conventions" http://lambda-the-ultimate.org/node/3319 -- ryan