Thanks. I've fixed this. Simon | -----Original Message----- | From: Sean Seefried [mailto:seefried@itee.uq.edu.au] | Sent: 23 January 2003 03:23 | To: template-haskell | Subject: [Template-haskell] Incomplete implementation of declaration reification | | You are probably already aware of this but a declaration such as | | d1 = [d| id :: a -> a | id x = x |] | | cannot be reified as of yet because the function "trans" in | ghc/compiler/hsSyn/Convert.lhs does not contain a clause for the type | constructor TForall. | | The relevent error message is: | | ghc-5.05: panic! (the `impossible' happened, GHC version 5.05): | hsSyn/Convert.lhs:284: Non-exhaustive patterns in function trans | | | Sean | | | _______________________________________________ | template-haskell mailing list | template-haskell@haskell.org | http://www.haskell.org/mailman/listinfo/template-haskell