Compiler panic

[Simon Peyton-Jones]

Excellent bug thank you.  Fixed in the repository.

Simon

| -----Original Message-----
| From: Andrew J Bromage [mailto:ajb at spamcop.net]
| Sent: 30 October 2002 00:45
| To: glasgow-haskell-bugs at haskell.org
| Subject: Compiler panic
| 
| G'day all.
| 
| On a very recently checked out copy of GHC (late last week, from
| memory) I get the following panic:
| 
|   % ghc -fglasgow-exts -c Bug.hs
|   ghc-5.05: panic! (the `impossible' happened, GHC version 5.05):
| 	applyTys
| 
|   Please report it as a compiler bug to
glasgow-haskell-bugs at haskell.org,
|   or http://sourceforge.net/projects/ghc/.
| 
| on this code:
| 
|   module Bug where
| 
|   type M3 a = forall r. (forall b. M3' b -> (b -> M3' a) -> r) -> r
| 
|   newtype M3' a
|       = M3' { mkM3' :: M3 a }
| 
|   bind :: M3 a -> (a -> M3 b) -> M3 b
|   bind m k b = b (M3' m) (\a -> M3' (k a))
| 
|   observe :: M3 a -> a
|   observe m
|       = m (\m' k -> mkM3' m'
|                 (\bm k1 -> observe (bind (mkM3' bm)
|                         (\a -> bind (mkM3' (k1 a)) (\a -> mkM3' (k
a)))))
|                 )
| 
| Cheers,
| Andrew Bromage
| _______________________________________________
| Glasgow-haskell-bugs mailing list
| Glasgow-haskell-bugs at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs