| 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