I have elaborated (more clearly I hope) S | -----Original Message----- | From: Simon Marlow [mailto:marlowsd@gmail.com] | Sent: 22 August 2013 15:14 | To: Jan Stolarek | Cc: ghc-devs; Simon Peyton-Jones; nr@cs.tufts.edu; dias@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