patch applied (ghc): Fix Trac #3591: very tricky specialiser bug
Simon Peyton Jones
simonpj at microsoft.com
Mon Oct 26 05:29:09 EDT 2009
Fri Oct 23 09:15:51 PDT 2009 simonpj at microsoft.com
* Fix Trac #3591: very tricky specialiser bug
There was a subtle bug in the interation of specialisation and floating,
described in Note [Specialisation of dictionary functions].
The net effect was to create a loop where none existed before; plain wrong.
In fixing it, I did quite a bit of house-cleaning in the specialiser, and
added a lot more comments. It's tricky, alas.
M ./compiler/basicTypes/Id.lhs -1 +6
M ./compiler/specialise/Specialise.lhs -173 +301
View patch online:
More information about the Cvs-ghc