Sat Jan 30 10:03:38 CET 2010

OCaml monads: perform (do) notation

Reason: typed metaprogramming currently needs either a pure setting
(i.e. monads) or some delimited control tricks to prevent scope

Using OCaml / MetaOCaml based on 3.09.1 :
        make OCAMLC=ocamlc \
             CAMLP4=camlp4o \
             PP-EXT="-pp '\$(CAMLP4) -I . pa_extend.cmo q_MLast.cmo'" \

This produces pa_monad.cmo (bytecode. native code .cmx is not

Using it (3.09):

        ocamlc -pp 'camlp4o -I . pa_monad.cmo' -c ...

Now, to refresh that OCaml lore.