Opened 16 years ago

Closed 16 years ago

Last modified 48 years ago

#59 closed bug (Fixed)

panic! simplCore/Simplify.lhs:1490

Reported by: mlauer Owned by: nobody
Priority: normal Milestone:
Component: Compiler Version: 5.02
Keywords: Cc:
Operating System: Architecture:
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


When compiling the attached file you get the error
below. My System is SuSE Linux 7.2

prompt > ghc --version
The Glorious Glasgow Haskell Compilation System,
version 5.02.1

prompt > ghc -c A.hs
ghc-5.02.1: panic! (the `impossible' happened, GHC
version 5.02.1):
        simplCore/Simplify.lhs:1490: Non-exhaustive
patterns in function cat_evals

Please report it as a compiler bug to,

Attachments (1)

A.3.hs (293 bytes) - added by mlauer 16 years ago.

Download all attachments as: .zip

Change History (2)

Changed 16 years ago by mlauer

Attachment: A.3.hs added

comment:1 Changed 16 years ago by simonpj

Status: assignedclosed
Logged In: YES 

The program is invalid, but the compiler should not crash.

It's invalid because in
  data M m t a = Monad m => M { unM::(m (S m t a))}
the existential context does not introduce any fresh type 
variables; m is already in scope.

I've added new validity checking to the HEAD compiler.  I 
doubt it's worth fixing in 5.02.2

Note: See TracTickets for help on using tickets.