17 Apr
2001
17 Apr
'01
6:49 p.m.
As promised, I have started on a definition of the Haskell FFI. I started by formalising those aspects of foreign exports and imports that we have recently discussed here.
This document looks like a very good starting point. * An omission: 'foreign label'. * Perhaps the 'specialid' production should contain all the calling convention identifiers? Regards, Malcolm