Ticket #1541: th-fixity.txt

module Foo where 
import Language.Haskell.TH

defBinOp name op = 
        classD (cxt [] (mkName name) [a,b,c] 
                [FunDep [a,b] [c], FunDep [b,c] [a], FunDep [a,c] [b]] 
                [ sigD (mkName op) $ binOp a b c]
 where 
        a = mkName "a"
        b = mkName "b"
        c = mkName "c"
        binOp l m n = arrowT `appT` varT l `appT` (arrowT `appT` varT m `appT` varT n)


module Bar where
import Foo
import Prelude ()
-- infixl 6 +  -- illegal here, because TH not yet evaluated
$(defBinOp "Add" "+")

module Baz (module Bar) where
import Bar
-- infixl 6 + -- illegal here, because its another module!