12 Sep
2002
12 Sep
'02
6:42 p.m.
On Thu, Sep 12, 2002 at 06:51:29AM -0700, Sigbjorn Finne wrote:
Quite right - the export spec for that type should now be honoured.
There's something wrong with cumulative exports: module A(Type, Type(Constr)) where data Type = Constr module B where import A(Type(..)) f = Constr fails when it shouldn't, but is OK if .. is replaced by Constr.