testsuite/tests/th/T4056.hs


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

{-# LANGUAGE TemplateHaskell, TypeFamilies, RankNTypes, FlexibleContexts #-}

module T4056 where
import Language.Haskell.TH

astTest :: Q [Dec]
astTest = [d|
    class C t where
        op :: [t] -> [t]
        op = undefined
  |]

class D t where
  bop :: [t] -> [t]
  bop = undefined