On a related note: how hard would it be to convince camlp4 to translate the Coq-like context notation
expr % M to the "open in" construct open M in expr ? Since % is already an infix operator, this shouldn't be too hard. Andrej _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs