#1761: Compiler panics on "phantom family"
--------------------------------------+-------------------------------------
Reporter: guest | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler (Type checker) | Version: 6.8
Severity: normal | Keywords: phantom familiy
Difficulty: Unknown | Os: Multiple
Testcase: | Architecture: Unknown
--------------------------------------+-------------------------------------
Feeding the following innocent looking (well...) program into GHC causes
the compiler to panic:
{{{
{-# OPTIONS_GHC -fglasgow-exts #-}
type family KUnit a :: *
type instance KUnit Int = ()
unit :: KUnit Int
unit = ()
}}}
The cry for help reads:
{{{
ghc-6.8.20071007: panic! (the 'impossible' happened)
(GHC version 6.9.20070923 for powerpc-apple-darwin):
check_tau_type main:Main.KUnit{tc rnu} base:GHC.Base.Int{(w) tc
3J}
}}}
Unsurprisingly, I've experienced the same behaviour with 6.9.20070923.
HTH,
Stefan Holdermans
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1761>
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
