Likewise, now fixed in the HEAD. Simon | -----Original Message----- | From: template-haskell-bounces@haskell.org [mailto:template-haskell-bounces@haskell.org] On | Behalf Of Sean Seefried | Sent: 16 October 2003 12:55 | To: template-haskell@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@haskell.org | http://www.haskell.org/mailman/listinfo/template-haskell