Simon, thanks for the information on SPECIALISE pragmas. > The only workaround is to define T early, > import it into A, and specialise A.f there.
What if A is a pre-defined module, say FiniteMap? Then I can't change its source text. (Which isn't even there.) (Of course, I can grab it from the source distribution.) It is sad that the usage of libraries containing polymorphic code (which is a good thing, for obvious software engineering reasons) seems to imply runtime overheads, by preventing specialisation. Best regards, -- -- Johannes Waldmann ---- http://www.informatik.uni-leipzig.de/~joe/ -- -- [EMAIL PROTECTED] -- phone/fax (+49) 341 9732 204/209 -- _______________________________________________ Glasgow-haskell-users mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
