#2649: 6.10 regression: panic in tyFamInsts on invalid code
-------------------------+--------------------------------------------------
Reporter: Deewiant | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 6.9
Severity: normal | Resolution: fixed
Keywords: | Testcase:
Architecture: x86 | Os: Windows
-------------------------+--------------------------------------------------
Changes (by chak):
* status: new => closed
* resolution: => fixed
Comment:
This bug is already fixed in GHC 6.10.1 RC 1:
{{{
TacticalGrace-3 chak 22 (.../Code/haskell): ghc --version
The Glorious Glasgow Haskell Compilation System, version 6.10.0.20081007
TacticalGrace-3 chak 23 (.../Code/haskell): ghc -c Bug2.hs
Bug2.hs:7:12:
Pattern signature must exactly match: a
In the pattern: _ :: forall a. (Num a) => a
In the second argument of `($)', namely
`\ (_ :: forall a. (Num a) => a) -> 0'
In the expression: g 0 $ \ (_ :: forall a. (Num a) => a) -> 0
}}}
The compiler you used must have been pulled from darcs just a few hours
before I pushed the patch that fixed it.
Nevertheless, the panic points to an infelicity in `Type.tyFamInsts` that
may also cause us grief in other situations; so, I'll fix that.
Thanks for the report!
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2649#comment:1>
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
