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
Camlp4 question
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-11-01 (14:04)
From: Hendrik Tews <tews@t...>
Subject: Re: [Caml-list] Camlp4 question
Matt Gushee <matt@gushee.net> writes:

   I had occasion today to look through the pa_r.ml, and noticed the
   following (line 329 in OCaml 3.08.4):
     | "object"; cspo = OPT class_self_patt; cf = class_structure; "end" ->
         (* <:expr< object $opt:cspo$ $list:cf$ end >> *)
         MLast.ExObj loc cspo cf ]
   So a quotation expander was created for objects as ordinary expressions,
   but evidently there was something wrong with it. Anyone know what the
   problem was?
I believe the comment shows what the code should look like if
immediate objects would have been implemented in the quotation
expander q_MLast.ml. However, immediate objects are not yet in
the quotation expander, therefore the real code is what the
quoatation expander would have produced (if immediate objects had
been implemented).



PS. Sorry Matt for posting separately to caml-list.