[ ghc-Bugs-1232479 ] panic: "Non-exhaustive patterns in function zip_ty_env"

[SourceForge.net]

Bugs item #1232479, was opened at 2005-07-04 17:39
Message generated for change (Comment added) made by nobody
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1232479&group_id=8032

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Compiler (Type checker)
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: panic: "Non-exhaustive patterns in function zip_ty_env"

Initial Comment:
ghc-6.4: panic! (the `impossible' happened, GHC version
6.4):
        types/Type.lhs:(1107,0)-(1108,77):
Non-exhaustive patterns in function zip_ty_env

The same file compiles fine with GHC 6.2.2.

Unfortunately I don't have a small example of this
behaviour. I can send you the whole library if you need
it, but it is not painless to get to this point.

It would be great if you could give me some pointers
about where the bug might lie - it uses MPTC instances,
recursive newtypes and the FFI.

thanks,
peter, peteg at unsw.edu.au

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

Comment By: Nobody/Anonymous (nobody)
Date: 2005-07-04 18:16

Message:
Logged In: NO 

One more data point: I have a recursive newtype:

newtype P = MkP (ForeignPtr P)

and a couple of renamings:

newtype Q b = MkQ P
newtype R b = MkR P

changing this to:

data Q b = MkQ P
data R b = MkR P

makes things work. I tried cooking up a smaller example
based on this but the bug doesn't appear - it is the
interaction of these newtypes and some other feature, I expect.

Hope this helps.

thanks,
peter

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

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