[ ghc-Bugs-992199 ] Template crash on existential types

SourceForge.net noreply at sourceforge.net
Fri Jul 16 05:09:46 EDT 2004


Bugs item #992199, was opened at 2004-07-16 09:08
Message generated for change (Settings changed) made by mm_aa
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=992199&group_id=8032

Category: Compiler
Group: 6.2.1
Status: Open
Resolution: None
Priority: 5
Submitted By: Mike Aizatsky (mm_aa)
Assigned to: Nobody/Anonymous (nobody)
>Summary: Template crash on existential types

Initial Comment:
Windows XP

D:\Tools\ghc>ghc-6.2.1\bin\ghc.exe -fglasgow-exts foo.hs
ghc.exe: panic! (the `impossible' happened, GHC version 6.2.1):
        deSugar/DsMeta.hs:286: Non-exhaustive patterns in function 
repC



module Foo where

import Language.Haskell.THSyntax

class MyInterface a where
	foo :: a -> Int

data AnyMyInterface = forall a. (MyInterface a) => 
AnyMyInterface a

test =
    do{
        d <- unQ(reifyDecl AnyMyInterface)
      ; print d
      }


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

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



More information about the Glasgow-haskell-bugs mailing list