[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Namespaces



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