[Template-haskell] TH bug report

Simon Peyton-Jones simonpj at microsoft.com
Thu Oct 30 10:15:33 EST 2003


Likewise, now fixed in the HEAD.

Simon

| -----Original Message-----
| From: template-haskell-bounces at haskell.org
[mailto:template-haskell-bounces at haskell.org] On
| Behalf Of Sean Seefried
| Sent: 16 October 2003 12:55
| To: template-haskell at haskell.org
| Subject: [Template-haskell] TH bug report
| 
| Dear Template Haskell users,
| 
| I just wrote a short program with this declaration and got the
| following error message.
| 
| -----
| d_class = [d| class Classy a b where
|                  f :: a -> b
| 
|                instance Classy Int Bool where
|                  f x = if x == 0 then True else False
|            |]
| ------
| 
| 
| Class `Test.Classy' does not have a method `f'
|      In the instance declaration for `Test.Classy Int Bool'
|      In the definition of `d_class':
|          d_class = [d|
|                        class Test.Classy a b where {
|                            Test.f :: a -> b {- has default method -};
}
| 
|                        instance {Test.Classy Int Bool} where
|                            []
|                            f x y = if x == 0 then True else False |]
| 
| ------
| 
| This doesn't seem like correct behaviour to me.
| 
| Sean
| 
| _______________________________________________
| template-haskell mailing list
| template-haskell at haskell.org
| http://www.haskell.org/mailman/listinfo/template-haskell




More information about the template-haskell mailing list