-
| boun...@haskell.org] On Behalf Of p.k.f.holzensp...@utwente.nl
| Sent: 23 July 2014 17:07
| To: glasgow-haskell-users@haskell.org
| Subject: GhcPlugin-writing and finding things
|
| Dear GHC-ers,
|
| I'm working on a plugin for GHC that should help compile the library
| with which this plugin
-Original Message-
From: xicheko...@gmail.com [mailto:xicheko...@gmail.com] On Behalf Of
Andrew Farmer
Sent: woensdag 23 juli 2014 19:22
To: Holzenspies, P.K.F. (EWI)
Cc: glasgow-haskell-users@haskell.org
Subject: Re: GhcPlugin-writing and finding things
Have you considered using
Dear GHC-ers,
I'm working on a plugin for GHC that should help compile the library with which
this plugin is to ship. What this plugin does is traverse the CoreProgram(s) to
find things of types defined in my library and optimizes them. I have worked
out how to find things, but I was wondering
Have you considered using HERMIT for this? I think this is a rough
approximation of what you are trying to do (using HERMIT):
import HERMIT.Plugin
import HERMIT.Dictionary
plugin = hermitPlugin $ \ opts - firstPhase $ run $ tryR $ innermostR
$ promoteBindR compileFooBindR
compileFooBindR ::
