> IMHO not linking all modules packed with -pack when only one of them is
> referenced is much more important.

Probably, but that's orthogonal to the points that John Carr mentioned.
It looks feasible (but hard!) with native-code packed libraries, and
even harder with bytecode.  It's not often the case that a feature is
harder to implement in bytecode than in native code!  (The reason here
is that native-code compilations have these .cmx cross-module
optimization information that can be used to inform the client of a
packed module of the actual structure of the packing; while no such
info is available for clients compiled to bytecode.)

This needs more thinking...

- Xavier Leroy

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners