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

Reply via email to