Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
2 camlp4 questions
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-04-05 (21:22)
From: Hendrik Tews <H.Tews@c...>
Subject: 2 camlp4 questions

I am still reading the camlp4 sources:

1. Is there a special @loc quotation form? For instance in
   camlp4/ line 141

  [ <:sig_item@loc< # $n$ $str:s$ >> -> Some (loc, n, s)

   What does it do? Or is ``sig_item@loc'' just the identifier of
   the quotation expander?

2. Camlp4Bin calls a cleaning pass before printing. The cleaner
   does things like 

      <:expr< $e$; $ <:expr<>> $ >> -> self#expr e

   What do these empty quotations ``<:expr<>>'' stand for? Are
   these just the things that filters leave behind if they delete
   a node?