More aggressive dictionary removal?

[Simon Peyton Jones]

Aggressive inlining is one way, but specialisation ought to get a long way, and makes fewer copies of the specialised code.

It’s hard to help without a concrete example

Simon

From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of Conal Elliott
Sent: 28 January 2016 00:05
To: ghc-devs at haskell.org
Subject: More aggressive dictionary removal?

I'm looking for pointers on getting GHC to eliminate more overloading & polymorphism. I think this sort of thing mainly happens in the Specialise module. The default GHC flag settings get me a couple levels of monomorphization and dictionary removal, but I want to go further. I've tried -fspecialise-aggressively, but it didn't seem to make a difference, and I haven't found this flag described in the GHC user's guide. Anyone have pointers to more information?
Thanks, - Conal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20160128/78a92738/attachment.html>