cids and fnames in ccall impents

Manuel M T Chakravarty chak at
Wed Jan 22 03:45:20 EST 2003

Ian Lynagh <igloo at> wrote,

> On Wed, Nov 06, 2002 at 12:04:22AM +0000, Ian Lynagh wrote:
> > On Tue, Nov 05, 2002 at 09:53:52PM +0000, Alastair Reid wrote:
> > > 
> > > If it isn't spelled out explicitly already, it would be good to do that.
> > 
> > How about something like this?
> > 
> > Maximal munch applies.
> > 
> > token -> special | "&" | fname | cid | whitespace
> > special -> "static" | "dynamic" | "wrapper"
> > fname -> ... ".h"              (... as I don't have [3] handy)
> > cid -> ... excluding special   (... as I don't have [3] handy)
> [3] tells me that cid is [_a-zA-Z][_a-zA-Z0-9]* (which I think should be
> in the FFI spec itself too) but I can't find a definition of fname in
> it.
> The C99 spec allows a lot of stuff I don't think makes sense after
> #include, but a header file is specified by either "[^"\n]+" or
> <[^>\n]+>. This only seems sensible if the "" or <> are also in the
> impent string which is not the case in the examples.
> Can someone clarify the intention for me please (and preferably also do
> so in the FFI spec)?

I have now included a formal definition of the two
nonterminals in Section 2 (Lexical Structure) of the FFI
report.  I append the text below.  cid is defined to be
[_a-zA-Z][_a-zA-Z0-9]* (as you wrote above).  However,
chname (which now replaces fname) produces only a subset of
those lexemes admitted by C99.  I don't think there would be
much point in trying to exactly mirror C99, as more
complicated header file arrangements require a special
purpose C header file for Haskell bindings anyway.



To refer to objects of an external C context, we introduce the following
  \grule[C header filename]{chname}{%
    \grepeat{\gnterm{chchar}} .\ h}
  \grule[C identifier]{cid}{%
    \gnterm{letter} \grepeat{\gnterm{letter} \galt\ \gnterm{ascDigit}}}
    \gnterm{letter} \galt\ \gnterm{ascSymbol}\gminus{\&}}
    \gnterm{ascSmall} \galt\ \gnterm{ascLarge} \galt\ \_}
The range of lexemes that are admissible for \gnterm{chname} is a subset of
those permitted as arguments to the \code{\#{}include} directive in C.  In
particular, a file name \gnterm{chname} must end in the suffix \code{.h}.  The
lexemes produced by \gnterm{cid} coincide with those allowed as C identifiers,
as specified in~\cite{C}.

More information about the FFI mailing list