Hi list,

I am wondering why we can't make #load to load everything needed
automatically, given object files already in the search path.

FYI, currently, it only shows the error (t opens B and uses B.x)

utop # #load "t.cmo";;
Error: Reference to undefined global `B'