Ticket #7667: Test1.hs
| File Test1.hs, 360 bytes (added by andygill, 3 months ago) |
|---|
| Line | |
|---|---|
| 1 | {-# LANGUAGE TemplateHaskell, TypeOperators #-} |
| 2 | module Test1 where |
| 3 | |
| 4 | import Language.Haskell.TH |
| 5 | import Language.Haskell.TH.Syntax |
| 6 | import GHC.TypeLits |
| 7 | |
| 8 | instanceNat :: Q [Dec] |
| 9 | instanceNat = do |
| 10 | let plus = mkNameG_tc "base" "GHC.TypeLits" "+" |
| 11 | |
| 12 | let v = TySynInstD plus [LitT $ NumTyLit 1, LitT $ NumTyLit 2] (LitT $ NumTyLit 3) |
| 13 | return $ [v] |
