blob: 4d7ccef509ad8261620f5bed10513af9f306fc87 (
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
|
