testsuite/tests/th/TH_repPatSig.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

{-# LANGUAGE ScopedTypeVariables #-}
-- test the representation of unboxed literals

module Main
where

import Language.Haskell.TH

$(
  [d|
     foo :: Int -> Int
     foo (x :: Int) = x
   |]
 )

main :: IO ()
main = return ()