FFI Definition

malcolm-ffi at cs.york.ac.uk malcolm-ffi at cs.york.ac.uk
Tue Apr 17 06:49:56 EDT 2001

> 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?


More information about the FFI mailing list