[ ghc-Bugs-502698 ] a weird kind error with 2-rank types

[noreply@sourceforge.net]

Bugs item #502698, was opened at 2002-01-12 06:33
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=108032&aid=502698&group_id=8032

Category: Compiler (Type checker)
Group: 5.02
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: a weird kind error with 2-rank types 

Initial Comment:
Type this with ghci -fglasgow-exts:

f :: (forall a b . a b -> int) -> (forall c . c int) ->
int 
f x y = x y

The error(?) message is:

"Urk! Inventing strangely-kinded void TyCon ZCc{-a14P-}"




----------------------------------------------------------------------

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=108032&aid=502698&group_id=8032