logo       

[ ghc-Bugs-992199 ] Template crash on existential types: msg#00081

lang.haskell.glasgow.bugs

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

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

Category: Template Haskell
Group: 6.2.1
>Status: Closed
>Resolution: Fixed
Priority: 7
Submitted By: Mike Aizatsky (mm_aa)
Assigned to: Simon Peyton Jones (simonpj)
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
}


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

>Comment By: Simon Peyton Jones (simonpj)
Date: 2004-12-23 09:17

Message:
Logged In: YES
user_id=50165

Fixed in 6.4

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

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


<Prev in Thread] Current Thread [Next in Thread>
Google Custom Search

News | FAQ | advertise