testsuite/tests/th/T14843.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TemplateHaskell #-}
module T14843 where

import Language.Haskell.TH.Syntax

type T1 = $(return (PromotedTupleT 2))
type T2 = $([t| '(,) |])
type T3 = $(return (PromotedT (tupleDataName 2)))