Look at the Camlp4MacroParser extension, there is __FILE__.

Excerpts from Benedikt Grundmann's message of Thu Jul 26 15:46:26 +0200 2007:
> How can I get the name of the module where my syntax extension is
> applied?  For simplicity assume that I would like to write a MODULE
> macro similar to __FILE__ in c.
> 
> shell> cat > test.ml
> let _ = print_endline MODULE
> 
> shell> ./test
> Test
> shell> cat > test2.ml
> module M =
> struct
>   let _ = print_endline MODULE
> end
> 
> shell> ./test2
> Test.M
> 
> 
> Cheers,
> 
> Bene
> 

-- 
Nicolas Pouillard aka Ertai