File: TH_repPatSig.hs

package info (click to toggle)
haskell-ghc-exactprint 1.7.1.0-1
  • links: PTS
  • area: main
  • in suites: forky, sid, trixie
  • size: 6,044 kB
  • sloc: haskell: 32,076; makefile: 7
file content (19 lines) | stat: -rw-r--r-- 358 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
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 ()