Hello. I'm looking for a nice solution to the following problem.

Assume I am using a module that contains some polymorphic datatype,
like FiniteMap or Set from hslibs/ghc, and I want to use certain 
specialized versions of all the functions in there.

If I understand current practice, I have to attach specialization
pragmas to all functions individually, and right next to their definitions.

What I'd really like is a command "specialize module Foo for type Bar",
and moreover, this specialization should happen completely outside
the text of module Foo. (Compare to an instanciation of a generic
package in Ada.)

Are there any magic ghc options/perl scripts (ouch) that could help?

Thanks,
-- 
Johannes Waldmann   Institut f�r Informatik   FSU   D-07740  Jena  Germany
http://www5.informatik.uni-jena.de/~joe/ mailto:[EMAIL PROTECTED]

"... oder wie lautet denn der Titel Ihrer Dissertation?" - "Ich schreibe 
ueber `Besonderheiten von Stil und Rhythmik weiblicher Prosa des spaeten 
Chejan, dargestellt an Makurano-Soshi'",  sagte Pfeffer.  "Ich fuerchte, 
dass..." - "Aus-ge-zeich-net! Genau das, was wir brauchen."

Reply via email to