summaryrefslogtreecommitdiff
path: root/testsuite
diff options
context:
space:
mode:
authorMario Blažević <blamario@protonmail.com>2022-08-14 11:24:40 +0200
committerMarge Bot <ben+marge-bot@smart-cactus.org>2022-08-22 22:06:21 -0400
commit33968354176dcf68d4dbd717d2a0d77474edc302 (patch)
tree7f280826c7d297e55ddef1d7f377ef3471e42a47 /testsuite
parentfe4ff0f7cd50361cade3dd4bef15065dff075bfc (diff)
downloadhaskell-33968354176dcf68d4dbd717d2a0d77474edc302.tar.gz
Test for issue #21942
Diffstat (limited to 'testsuite')
-rw-r--r--testsuite/tests/th/T21942.hs8
-rw-r--r--testsuite/tests/th/T21942.stdout1
-rw-r--r--testsuite/tests/th/all.T1
3 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/th/T21942.hs b/testsuite/tests/th/T21942.hs
new file mode 100644
index 0000000000..d237d6f6ba
--- /dev/null
+++ b/testsuite/tests/th/T21942.hs
@@ -0,0 +1,8 @@
+{-# LANGUAGE LinearTypes, TemplateHaskell #-}
+
+module Main where
+
+import Language.Haskell.TH
+
+main :: IO ()
+main = runQ [t| forall a m n. a %(m n) -> a |] >>= putStrLn . pprint
diff --git a/testsuite/tests/th/T21942.stdout b/testsuite/tests/th/T21942.stdout
new file mode 100644
index 0000000000..4afad5a865
--- /dev/null
+++ b/testsuite/tests/th/T21942.stdout
@@ -0,0 +1 @@
+forall a_0 m_1 n_2 . a_0 %(m_1 n_2) -> a_0
diff --git a/testsuite/tests/th/all.T b/testsuite/tests/th/all.T
index 3087fd19b2..b77bc737bb 100644
--- a/testsuite/tests/th/all.T
+++ b/testsuite/tests/th/all.T
@@ -554,3 +554,4 @@ test('T20868', normal, compile_and_run, [''])
test('Lift_ByteArray', normal, compile_and_run, [''])
test('T21920', normal, compile_and_run, [''])
test('T21723', normal, compile_and_run, [''])
+test('T21942', normal, compile_and_run, [''])