My two cents: In Coq, cf. <http://pauillac.inria.fr/coq/doc8/main.html> chapter 2.5.1 (Names of libraries and files), there is something similar:
Add LoadPath "physical_path" as <dirpath>. E.g.: Add LoadPath "/home/sk/lib/foo" as Foo. Frederik Eaton (Thu, Jun 23, 2005 at 02:14:00AM -0700): > Hi all, > > It looks like there's been a bit of recent discussion regarding module > and package namespaces. There is a certain possible design feature > that I don't think has been mentioned yet, that I think would be very > helpful, so I thought I should at least bring it up. > > What I want is to be able to build a module namespace for a program > out of packages in much the same way that filesystem namespaces are > built, namely with mounting operations, rather than just by "union" or > "overlay" operations as in the status quo. In other words I would like > to be able to specify along with the "-package" option a "mount point" > for that package in the module namespace. One possible option syntax > might be e.g. "-package my-graphics-lib -package-base > Graphics.UI.MyGraphicsLib". (Also, for backward compatibility and > convenience, packages should probably be able to specify a default > "mount point", to allow existing compiler command-line syntax to be > used.) > [...] > > Frederik Regards, -- Stefan Karrmann _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell