Matthias Neubauer <xxxxxx@informatik.uni-freiburg.de> writes:

> Here is what MetaOCaml has to say about it ...

[...]

Argh! I guess I got the stages wrong. Macros are more like ...

# let prog = .< let x = 1 in
              .~ (let m () = let x = 2 in
                             .< x >.
                  in m ()) >.;;
      val prog : ('a, int) code = .<let x_2 = 1 in 2>.
# let res = .! prog;;
val res : int = 2
#

... I guess. Cross-stage persistence still kicks into action, though.

-Matthias

--
Matthias Neubauer                                       |
Universität Freiburg, Institut für Informatik           | tel +49 761 203 8060
Georges-Köhler-Allee 79, 79110 Freiburg i. Br., Germany | fax +49 761 203 8052