#1729: panic on type family
----------------------------------------+-----------------------------------
Reporter: jpbernardy | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler (Type checker) | Version: 6.8
Severity: major | Resolution:
Keywords: | Difficulty: Unknown
Os: Linux | Testcase:
Architecture: x86 |
----------------------------------------+-----------------------------------
Old description:
> Ghc panics on this module:
>
> {-# LANGUAGE TypeFamilies #-}
>
> type family Element c :: *
>
> f :: Element x
> f = undefined
>
> ------
> ghc-6.8.0.20070921: panic! (the 'impossible' happened)
> (GHC version 6.8.0.20070921 for i386-unknown-linux):
> check_tau_type main:Main.Element{tc r5C} x{tv a5F} [tv]
>
> Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
New description:
Ghc panics on this module:
{{{
{-# LANGUAGE TypeFamilies #-}
type family Element c :: *
f :: Element x
f = undefined
------
ghc-6.8.0.20070921: panic! (the 'impossible' happened)
(GHC version 6.8.0.20070921 for i386-unknown-linux):
check_tau_type main:Main.Element{tc r5C} x{tv a5F} [tv]
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1729>
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
