Opened 10 years ago

Closed 9 years ago

Last modified 44 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: Difficulty:
Test Case: Blocked By:
Blocking: Related Tickets:

Description

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
      }

Change History (2)

comment:1 Changed 10 years ago by mm_aa

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

comment:2 Changed 9 years ago by simonpj

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

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