Yes it's possible to inherit modules, provided that they aren't dirnodes or joinnodes. I've thought about solving the dirnode issue by essentially removing dirnodes altogether (especially the `[] and `-> lfuns in them). Joinnodes are harder to do away with. A solution for that case is probably to add a callback in the compilation handler that can extract a suitable class from the joinnode (or complain).
As for typechecking, it would be necessary that e.g. Regexp and Regexp.Regexp compare as equal, but only when Regexp is used as a class. It's not possible to solve well.
/ Martin Stjernholm, Roxen IS
Previous text:
2003-09-24 14:00: Subject: foo
inherit? You can't inherit modules anyway?
Although I agree on the typechecking. Why doesn't `() look up the lfun?
/ Mirar