This week

[Ian Lynagh]

On Sun, Sep 21, 2008 at 04:25:58PM +0100, Ian Lynagh wrote:
> On Sat, Sep 20, 2008 at 07:08:42PM +0100, Simon Peyton-Jones wrote:
> > 
> > Sat Sep 20 18:52:38 GMT Daylight Time 2008  simonpj at microsoft.com
> >   * Tidy up the treatment of dead binders
> > 
> > Furthermore, I removed the most troubling aspect altogether, where the "set" could map one Id to a *different* one:
> 
> I think this should make it possible to make UniqSet a distinct type to
> UniqFM again

Just had a look at this: we still can't make UniqSet an abstract type,
because InScopeSet takes advantage of it being a map.


Thanks
Ian