blob: d7ea28de5bf914e8717640f6e56f9dec92fa75ab (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE EmptyDataDecls, TypeFamilies, TemplateHaskell #-}
module Main where
import Language.Haskell.TH
type family S :: (* -> (* -> * -> *)) -> (* -> *) -> *
$(return [])
test :: String
test = $(do
test <- [d|
type family T :: (* -> (* -> * -> *)) -> (* -> *) -> * |]
blah <- reify ''S
return (LitE (StringL (pprint test ++ "\n" ++ pprint blah))))
main = putStrLn test
|
