RE: Strictness in UniqFM

2008-02-05 Thread Simon Peyton-Jones
| I'll take a deeper look at making it strict. I believe that if you do so, you'll _definitely_ need to pay attention to LoadIface.loadDecl. Apart from that, making UniqFM strict would probably be fine. To test this hypothesis you could use a different map for type environments, for now. Wit

Re: Strictness in UniqFM

2008-02-05 Thread Ian Lynagh
On Tue, Feb 05, 2008 at 10:51:29AM +, Simon Peyton-Jones wrote: > > hunk ./compiler/utils/UniqFM.lhs 701 > - | j ==# i = mkLeafUFM j (f old new) > + | j ==# i = mkLeafUFM j $! f old new > > This gives UniqFM a very odd behaviour: it becomes strict in the *range* > (element ty