blob: 47aee26e132f8bd0d023f15f5e28d965ad859259 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE ScopedTypeVariables #-}
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 ()
|