T4056.hs 269 Bytes
Newer Older
1
{-# LANGUAGE TypeFamilies, RankNTypes, FlexibleContexts #-}
Simon Peyton Jones's avatar
Simon Peyton Jones committed
2 3 4 5 6 7 8 9 10 11 12 13 14 15

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