diff options
Diffstat (limited to 'tests/examples/ghc86/TH_repPatSig.hs')
-rw-r--r-- | tests/examples/ghc86/TH_repPatSig.hs | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/tests/examples/ghc86/TH_repPatSig.hs b/tests/examples/ghc86/TH_repPatSig.hs new file mode 100644 index 0000000..7a8e450 --- /dev/null +++ b/tests/examples/ghc86/TH_repPatSig.hs @@ -0,0 +1,19 @@ +{-# LANGUAGE ScopedTypeVariables #-} +{-# LANGUAGE TemplateHaskell #-} + +module Main +where + +import TH_repPatSig_asserts + +assertFoo [d| foo :: Int -> Int + foo (x :: Int) = x + |] + +assertCon [| \(x :: Either Char Int -> (Char, Int)) -> x |] + +assertVar [| \(x :: Maybe a) -> case x of Just y -> (y :: a) |] + +main :: IO () +main = return () + |