blob: 6758ea732a733a691ec4523449befce4086a64ed (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE TemplateHaskell, GADTs #-}
module Main where
import Language.Haskell.TH
main :: IO ()
main = do
x <- [d| data MyData where { D1 :: MyData; D2 :: Bool -> MyData } |]
putStrLn $ pprint x
|