4.11 dies for certain RULES
Given
<code>
module Bug where
foo 1 = 2
bar 0 = 1
{-# RULES
"foo/bar" foo bar = foobar
#-}
foobar = 2
</code>
4.11 (couple of weeks old) dies with
ghc-4.11: panic! (the `impossible' happened):
basicTypes/Var.lhs:185: Non-exhaustive patterns in function readMutTyVar
4.08.1 doesn't seem to have a problem with this code.
Trac metadata
Trac field |
Value |
Version |
None |
Type |
Bug |
TypeOfFailure |
OtherFailure |
Priority |
normal |
Resolution |
ResolvedFixed |
Component |
Compiler (Type checker) |
Test case |
|
Differential revisions |
|
BlockedBy |
|
Related |
|
Blocking |
|
CC |
|
Operating system |
|
Architecture |
|