Opened 12 years ago

Closed 12 years ago

Last modified 47 years ago

#239 closed bug (Fixed)

Template crash on existential types

Reported by: mm_aa Owned by: simonpj
Priority: high Milestone:
Component: Template Haskell Version: 6.2.1
Keywords: Cc:
Operating System: Architecture:
Type of failure: Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


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 

module Foo where

import Language.Haskell.THSyntax

class MyInterface a where
	foo :: a -> Int

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

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

Change History (2)

comment:1 Changed 12 years ago by mm_aa

  • Summary changed from Template crash to Template crash on existential types

comment:2 Changed 12 years ago by simonpj

  • Status changed from assigned to closed
Logged In: YES 

Fixed in 6.4
Note: See TracTickets for help on using tickets.