FFI Definition

[malcolm-ffi at cs.york.ac.uk]

> 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