[Template-haskell] Incomplete implementation of declaration reification

[Simon Peyton-Jones]

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
|=20
| You are probably already aware of this but a declaration such as
|=20
| d1 =3D [d| id :: a -> a
|             id x =3D x |]
|=20
| 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.
|=20
| The relevent error message is:
|=20
| ghc-5.05: panic! (the `impossible' happened, GHC version 5.05):
|         hsSyn/Convert.lhs:284: Non-exhaustive patterns in function
trans
|=20
|=20
| Sean
|=20
|=20
| _______________________________________________
| template-haskell mailing list
| template-haskell@haskell.org
| http://www.haskell.org/mailman/listinfo/template-haskell