#5614: recompilation bug with -O
---------------------------------+------------------------------------------
Reporter: gmi001 | Owner: simonmar
Type: bug | Status: new
Priority: high | Milestone: 7.4.1
Component: Compiler | Version: 7.2.1
Keywords: recompilation | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: Incorrect result at runtime
---------------------------------+------------------------------------------
Comment(by marlowsd@…):
commit a77a68e75f437882d1bcc8e5208fa35c271ace8d
{{{
Author: Simon Marlow <[email protected]>
Date: Thu Nov 10 15:47:44 2011 +0000
Give sub-binders different fingerprints (#5614)
This is a pretty egregious mistake in the recompilation checker: in a
declaration with multiple binders (e.g. data T = A | B) we were giving
all the binders the same fingerprint when referenced, so e.g. an
unfolding that mentioned A would get the same fingerprint as if it
mentioned B instead. The fix is of course to give them all different
fingerprints.
compiler/iface/MkIface.lhs | 40
+++++++++++++++++++++++++++-------------
1 files changed, 27 insertions(+), 13 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5614#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
