Bugs item #772251, was opened at 2003-07-16 12:10
Message generated for change (Comment added) made by simonmar
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=772251&group_id=8032
Category: Compiler
Group: 6.0
>Status: Closed
>Resolution: Fixed
Priority: 5
Submitted By: Emmanuel Beffara (xbiff)
Assigned to: Nobody/Anonymous (nobody)
Summary: Panic (non-exhaustive pattern in compiler)
Initial Comment:
The following module strangely fails to compile with
GHC 6.0 (it works with GHC 5.02.2, I did not try any
other version).
----
module Bug where
pair t = (t, t)
a = (pair 'x', undefined)
b = a
----
ghc-6.0: panic! (the `impossible' happened, GHC version
6.0):
coreSyn/CoreUtils.lhs:1188: Non-exhaustive patterns in
function isCrossDllArg
The error also happens when 'x' is replaced by a
non-empty list or string, and when it is replaced by a
numeral constant with an explicit type. Compilation
works when 'x' is replaced by an integer with no type
specification, or by a type contructor with no literal
in it (i.e. [] or Nothing). It also works when the
declaration « b = a » is removed, or when « pair 'x' »
is replaced by « ('x', 'x') », or when « (pair 'x',
undefined) » is replaced by « pair 'x' ».
----------------------------------------------------------------------
>Comment By: Simon Marlow (simonmar)
Date: 2003-07-18 09:39
Message:
Logged In: YES
user_id=48280
Bug has been fixed, 6.0.1 will have the fix.
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=772251&group_id=8032
_______________________________________________
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
