Opened 14 years ago

Closed 14 years ago

Last modified 45 years ago

#555 closed bug (Fixed)

<<loop>>

Reported by: nobody Owned by: nobody
Priority: normal Milestone:
Component: Compiler Version: None
Keywords: Cc:
Operating System: Architecture:
Type of failure: Test Case:
Blocked By: Blocking:
Related Tickets: Differential Revisions:

Description

ghc -c -fglasgow-exts Typedecl.hs  (and without flag)
ghc-5.00: panic! (the `impossible' happened, GHC
version 5.00):
        <<loop>>

Please report it as a compiler bug to
[email protected],
or http://sourceforge.net/projects/ghc/.


data Val      = .......
                    |  Fun (Val -> TM Val)
              

type TM a = EnvT
               ( ST1 Record
               ( ST3 String
               ( MaybeT
               ( IdM)))) a



Change History (4)

comment:1 Changed 14 years ago by simonmar

Logged In: YES 
user_id=48280

The code fragment you gave isn't complete enough for us to 
reproduce the bug.  Could you provide a complete self 
contained example?  (and don't forget to include your GHC 
version and platform info, and your email address.)  Thanks.

comment:2 Changed 14 years ago by aarchiba

Logged In: YES 
user_id=180731

I have an example but it's huge (uses Parsec and a few of my
own files).  I can see if I can shrink it, or I can mail you
the whole mess; email me. 

Andrew

comment:3 Changed 14 years ago by aarchiba

Logged In: YES 
user_id=180731

This bug can be triggered on GHC-5.00 by the following file:

$ cat >GHCbug.hs <<EOF
module GHCbug where
type A = B
data B = B (A->A)
EOF
$ ghc GHCbug.hs
ghc-5.00: panic! (the `impossible' happened, GHC version 5.00):
        <<loop>>
 
Please report it as a compiler bug to
[email protected],
or http://sourceforge.net/projects/ghc/.
$

If I delete the "type" and replace the Bs by As, the error
goes away, and GHCi loads it happily. If I replace the
"data" by a "type" GHC (correctly) reports an error in my
program.  If I replace it by a "newtype", I get the same
bug. Hugs likes this file fine. 

comment:4 Changed 14 years ago by simonmar

  • Status changed from assigned to closed
Logged In: YES 
user_id=48280

Bug was fixed in GHC 5.00.1 (submitter was using 5.00).
Note: See TracTickets for help on using tickets.