| Yeah. I would expect this to work:
| 
| inferBar2 :: Name -> Q [Dec]
| inferBar2 typeName =
|    [d| instance Bar $(conT typeName) where
|          bar _ = "sucker"
|      |]
| 
| But I get the same error:
| 
|      inferBar2 'Bool
|    ======>
|      show-test.hs:4:3-18
|      instance Bar Bool where
|          { bar_aTK _ = "sucker" }

Yes that should work. And it does with HEAD.  I fixed a bunch of stuff in the 
ticket I cited.  Maybe try a snapshot distribution?

Simon

_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Reply via email to