[GHC] #1494: panic! (the 'impossible' happened)

GHC trac at galois.com
Wed Jul 4 13:01:09 EDT 2007


#1494: panic! (the 'impossible' happened)
----------------------------------+-----------------------------------------
    Reporter:  iampure at gmail.com  |        Owner:         
        Type:  bug                |       Status:  new    
    Priority:  highest            |    Milestone:         
   Component:  GHCi               |      Version:  6.7    
    Severity:  blocker            |   Resolution:         
    Keywords:                     |   Difficulty:  Unknown
          Os:  Unknown            |     Testcase:         
Architecture:  Unknown            |  
----------------------------------+-----------------------------------------
Comment (by simonpj):

 I've boiled it down more:
 {{{
 module Foo where

 import Control.Monad.State

 newtype L m r = L (StateT Int m r)

 instance Monad m => Monad (L m)

 zork :: (Monad m) => a -> L m ()
 zork = undefined

 mumble e = do { modify id; zork e }
 }}}
 Compiling this with `-dcore-lint` shows the error.  More anon.

 Simon

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1494>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
-------------- next part --------------
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs at haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs


More information about the Glasgow-haskell-bugs mailing list