testsuite/tests/th/T3177.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{- LANGUAGE TemplateHaskell #-}

-- Template Haskell type splices
module T3177 where

f :: $(id [t| Int |])
f = 3

class C a where
  op :: a -> a

instance C a => C ($([t| Maybe |]) a) where
  op x = fmap op x