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 |
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information