testsuite/tests/th/T12513.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE UnboxedTuples #-}
module T12513 where

import Language.Haskell.TH.Lib
import Language.Haskell.TH.Syntax

f :: $([t| (# Int #) |]) -> Int
f x = x

g :: $(unboxedTupleT 1 `appT` conT ''Int) -> Int
g x = x