English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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/Camlp4Bin.ml 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?