From: Nicolas C. <war...@fr...> - 2003-03-24 02:45:03
|
> This still does let one use all of ExtLib with a simple > open ExtLib > > I think that > > module ExtLib = struct > module List = ExtList > ... > end > > will solve this problem. Perhaps, but I wonder then if you're doing open ExtLib are you linking with all the modules ExtList, ExtHashtbl, ExtString... even if you're not using them ? Nicolas Cannasse |