Simon Peyton-Jones <[EMAIL PROTECTED]> wrote,
> Both your suggestions look unlikely to collide.
> Another possibility is
> {-# HOOK ... #-}
> which matches the syntax we use for pragmas generally.
> | -----Original Message-----
> | From: Manuel M. T. Chakravarty [mailto:[EMAIL PROTECTED]]
> | I currently use (# and #) to identify the binding hooks in
> | annotated Haskell modules for the interface generator
> | C->Haskell.
Furthermore, J�n Fairbairn wrote,
> Definitely use the pragma syntax suggested by Simon PJ
I think my choice of the word `annotate' was a bit
misleading. Honouring the binding hooks is not optional -
if they are just omitted, the result will not be a legal
Haskell program; in that respect they are very different
from pragmas. (The C->Haskell tool expands each of them to
a chunk of interface-related Haskell code - similar as
GreenCard expands `%'-lines, but binding hooks can also
appear in the middle of an expression like a ccall.)
So, I'll use {#...#} - if you don't think, I overlooked
something. Thank you for your comments.
Manuel