Comment author: ertai

C'est tout de même deux fois plus rapide pour compiler Camlp4 :)

Comment author: @alainfrisch

Autre optimisation sensible: appliquer de manière paresseuse la substitution pour calculer les comp_modules dans Env. C'est utile lorsque l'on a une longue signature avec plein de sous-modules et qu'on n'en utilise qu'un petit nombre.

...
mutable comp_modules: (string, (module_type Lazy.t * int)) Tbl.t;
...
| Tsig_module(id, mty, _) ->
let mty' = lazy (Subst.modtype sub mty) in
c.comp_modules <-
Tbl.add (Ident.name id) (mty', !pos) c.comp_modules;
...

et les Lazy.force là où il faut.

Je gagne de l'ordre de 13% sur la compilation de tout Camlp4.
Sur un module comme Camlp4Parsers/OCamlParser, ça passe de 2.44s à 1.38s.

Comment author: @alainfrisch

Cela indique peut-être qu'il faudrait utiliser "module_type Lazy.t" un peu partout dans le code (y compris dans la définition de module_type, sauf que l'on veut pouvoir sérialiser...), pour éviter des substitutions sur de grosses signatures qu'on n'utilise que partiellement.

Comment author: @alainfrisch

On gagne encore autour de 8% dans la compilation de Camlp4 en faisant des substitutions paresseuses pour les signatures:

...
| Tmty_signature of signature Lazy.t
...

dans Subst.modtype:

| Tmty_signature sg ->
if s.for_saving then
Tmty_signature((Lazy.lazy_from_val(signature s (Lazy.force sg))))
else
Tmty_signature((lazy(signature s (Lazy.force sg))))

et des Lazy.lazy_from_val et Lazy.force un peu partout.

Comment author: @xavierleroy

Implemented cacheing for applicative functors + lazy substitution for module types stored in comp_modules. To keep changes localized to typing/env.ml, I'd rather not make module_type lazy everywhere else.