how and where to {-# specialize #-} ?

Johannes Waldmann
Wed, 25 Jun 2003 10:31:49 +0200 (CEST)

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 ---- --
-- -- phone/fax (+49) 341 9732 204/209 --