blob: 3a17548fa8f5e279d80184007d06846ebf42c27a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE TemplateHaskell #-}
module Main where
import Language.Haskell.TH.Syntax (lift)
import T1830_3a
main :: IO ()
main = do
print ($(lift algDT1) == algDT1)
print ($(lift algDT2) == algDT2)
print ($(lift algDT3) == algDT3)
print ($(lift prim) == prim)
print ($(lift df1) == df1)
print ($(lift df2) == df2)
print ($(lift df3) == df3)
|
