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
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 <> writes:

   I had occasion today to look through the, 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 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.