Interesting, your constant folding code.

>   In this precise case, the smart [partial.ml] module presented by
>   Daniel de Rauglaudre is too powerful, since there is no need to
>   store folded values in global variables, folded values are put in
>   new literals instead.

Yes, my implementation was to globalize
        Str.regexp "..."
which cannot be written as a literal.

--------------------------------------------------------------------------
 Daniel de RAUGLAUDRE

 Projet Cristal - INRIA Rocquencourt
 Tel: +33 (01) 39 63 53 51
 Email: daniel.de_rauglaudre@inria.fr
 Web: http://pauillac.inria.fr/~ddr/
--------------------------------------------------------------------------