This page is part of the web mail archives of SRFI 72 from before July 7th, 2015. The new archives for SRFI 72 contain all messages, not just those from before July 7th, 2015.
Matthias Neubauer <neubauer@xxxxxxxxxxxxxxxxxxxxxxxxxx> 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