[ ghc-Bugs-745755 ] coreSyn/coreUtils.lhs:1188 Non-exhaustive patterns

Bugs item #745755, was opened at 2003-05-29 20:57
Message generated for change (Comment added) made by esapulkkinen
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=745755&group_id=8032

Category: Compiler
Group: 6.0
Status: Open
Resolution: None
Priority: 5
Submitted By: Esa Pulkkinen (esapulkkinen)
Assigned to: Nobody/Anonymous (nobody)
Summary: coreSyn/coreUtils.lhs:1188 Non-exhaustive patterns

Initial Comment:
ghc-6.0: panic! (the `impossible' happened, GHC version
6.0):
        coreSyn/CoreUtils.lhs:1188: Non-exhaustive
patterns in function isCrossDllArg

Options used for compiling:

ghc -syslib data -syslib text -fglasgow-exts -W
-fno-prune-tydecls -fallow-overlapping-instances
-fno-warn-unused-matches -fallow-undecidable-instances
  -o cifl --make Main.lhs

ghci handles that code fine. I didn't include the code,
since it's quite a lot of code, and from the error I'd
expect it's not that useful for finding the problem.
-- 
  Esa Pulkkinen

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

>Comment By: Esa Pulkkinen (esapulkkinen)
Date: 2003-05-30 16:58

Message:
Logged In: YES 
user_id=789744

My E-mail is esa.pulkkinen at kotiposti.net [I thought you
would see it already since I'm logged on].

Ok, I did now take the effort to reduce it to quite small piece
of code. I've attached it. Removing the last instance
declaration does remove the problem. Also, if I remove the
derivation "ScopeElem s =>" from ScopeOpers class, the
problem goes away.
-- 
  Esa Pulkkinen

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

Comment By: Simon Peyton Jones (simonpj)
Date: 2003-05-30 09:21

Message:
Logged In: YES 
user_id=50165

It would actually be easier to find this if you submitted the 
souce code, preferably cut down a bit.  Can you do that, 
please?  What's your email address?

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

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