[ ghc-Bugs-427960 ] ghc-5.00.1 panic on UU_Pretty_ext.hs

[noreply@sourceforge.net]

Bugs item #427960, was updated on 2001-05-28 06:51
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=108032&aid=427960&group_id=8032

Category: Compiler
Group: 5.00
>Status: Closed
>Resolution: Fixed
Priority: 5
Submitted By: Ganesh Sittampalam (eleganesh)
Assigned to: Nobody/Anonymous (nobody)
Summary: ghc-5.00.1 panic on UU_Pretty_ext.hs

Initial Comment:
ghc-5.00.1 on RH7.1 using Manuel Chakravarty's RPMs

using (possibly a somewhat old version of) Doaitse 
Swierstra's parsing/printing combinators.

Attached is a tarball of all the files used in the 
compilation sequence below.

ghc -syslib util -syslib lang -c -O2 -O2-for-C -cpp -
DBEGIN_GHC_ONLY='-}' -DEND_
_ONLY='{-' -o UU_Parsing.o UU_Parsing.hs

UU_Parsing.hs:105: Warning: Pattern match(es) are 
overlapped in the definition o
unction `choose'':
            choose' _ _ _ = ...
ghc -syslib util -syslib lang -c -O2 -O2-for-C 
UU_Parsing_ext.hs
ghc -syslib util -syslib lang -c -O2 -O2-for-C 
UU_Scanner.hs
ghc -syslib util -syslib lang -c -O2 -O2-for-C 
UU_Pretty.hs
ghc -syslib util -syslib lang -c -O2 -O2-for-C 
UU_Pretty_ext.hs
ghc-5.00.1: panic! (the `impossible' happened, GHC 
version 5.00.1):
        CPR Analysis tried to take the lub of a 
function and a tuple



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

>Comment By: Simon Peyton Jones (simonpj)
Date: 2001-06-04 09:52

Message:
Logged In: YES 
user_id=50165

This exposed a long-standing bug in exprArity, when the 
argument of an application is not atomic.

It'll be fixed in 5.00.2

But it also exposes a general fragility we should think 
about.

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

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