#959: Debugging info(?) leaks out: "Urk! Inventing strangely-kinded void TyCon"
----------------------------------------+-----------------------------------
Reporter: igloo | Owner:
Type: bug | Status: new
Priority: lowest | Milestone: _|_
Component: Compiler (Type checker) | Version: 6.6
Severity: minor | Resolution:
Keywords: | Difficulty: Unknown
Os: Unknown | Testcase:
Architecture: Unknown |
----------------------------------------+-----------------------------------
Comment (by guest):
Here's a program that provokes the message (in 6.6.1), but otherwise
passes the typechecker:
{{{
{-# OPTIONS_GHC -fglasgow-exts #-}
data D (f :: (* -> *) -> * -> *) (af :: * -> *) (ax :: *) =
D (af (f af ax))
data CList (f :: (* -> *) -> * -> *) (a :: *) =
RCons a (CList (D f) a)
type CycleList a = forall f. CList f a
chead :: CycleList a -> a
chead ys = case ys of (RCons x xs) -> x
}}}
Andres
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/959>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs