7.8 Release Update

Richard Eisenberg eir at cis.upenn.edu
Mon Sep 9 14:40:11 CEST 2013

On Sep 8, 2013, at 7:27 PM, Austin Seipp <aseipp at pobox.com> wrote:
> * Pedro and Richard - what's the story on propositional equality,
> etc? This is mentioned on the status page[1] but I'm not sure what
> else needs to be done. I know Pedro committed the work to make manual
> Typeable instances an error, which is great.

This work is complete and has been pushed for some time -- just haven't gotten around to updating the release notes. I'll get to it today.


More information about the Glasgow-haskell-users mailing list