diff options
Diffstat (limited to 'testsuite/tests/th/T18612.hs')
-rw-r--r-- | testsuite/tests/th/T18612.hs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/th/T18612.hs b/testsuite/tests/th/T18612.hs new file mode 100644 index 0000000000..ea7c007c51 --- /dev/null +++ b/testsuite/tests/th/T18612.hs @@ -0,0 +1,14 @@ +{-# LANGUAGE DataKinds #-} +{-# LANGUAGE TemplateHaskell #-} +{-# OPTIONS_GHC -ddump-splices #-} +module T18612 where + +import Data.Functor.Identity +import Data.Proxy +import Language.Haskell.TH + +f :: $(arrowT `appT` (conT ''Identity `appT` (tupleT 1 `appT` (tupleT 0))) + `appT` (conT ''Identity `appT` (tupleT 1 `appT` (tupleT 0)))) +f $(conP 'Identity [tupP [tupP []]]) = $(conE 'Identity `appE` tupE [tupE []]) + +type G = $(conT ''Proxy `appT` (promotedTupleT 1 `appT` (tupleT 0))) |