diff options
| author | Mario Blažević <blamario@protonmail.com> | 2022-08-14 11:24:40 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-08-22 22:06:21 -0400 |
| commit | 33968354176dcf68d4dbd717d2a0d77474edc302 (patch) | |
| tree | 7f280826c7d297e55ddef1d7f377ef3471e42a47 /testsuite | |
| parent | fe4ff0f7cd50361cade3dd4bef15065dff075bfc (diff) | |
| download | haskell-33968354176dcf68d4dbd717d2a0d77474edc302.tar.gz | |
Test for issue #21942
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/th/T21942.hs | 8 | ||||
| -rw-r--r-- | testsuite/tests/th/T21942.stdout | 1 | ||||
| -rw-r--r-- | testsuite/tests/th/all.T | 1 |
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, ['']) |