Changes in Hoopl

[Simon Peyton-Jones]

I have elaborated (more clearly I hope)

S

| -----Original Message-----
| From: Simon Marlow [mailto:marlowsd at gmail.com]
| Sent: 22 August 2013 15:14
| To: Jan Stolarek
| Cc: ghc-devs; Simon Peyton-Jones; nr at cs.tufts.edu; dias at cs.tufts.edu;
| Edward Z. Yang
| Subject: Re: Changes in Hoopl
| 
| Hi Jan,
| 
| On 22/08/13 14:01, Jan Stolarek wrote:
| > Me and Simon PJ had some discussion about modifying Hoopl. I
| summarized that discussion on a wiki page:
| >
| > http://ghc.haskell.org/trac/ghc/wiki/Hoopl/Cleanup
| >
| > I'd like to implement changes once there's a consensus on which
| changes exactly do we want in Hoopl.
| 
| I'm all for cleaning up Hoopl.  It's definitely a bit of a mess in
| places.
| 
| I read through your wiki page and I'm not entirely clear about what
| changes you're proposing.  e.g. it's probably true that in forward
| analysis if you specify facts for all the input labels then fact_bot is
| never used (though I'm not 100% sure about that).  But you don't say
| what you want to do with that observation.  Could you list the API
| changes you want to make?
| 
| Cheers,
| 	Simon