summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--testsuite/tests/linear/should_compile/LinearTH3.hs7
-rw-r--r--testsuite/tests/linear/should_compile/all.T1
2 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/linear/should_compile/LinearTH3.hs b/testsuite/tests/linear/should_compile/LinearTH3.hs
new file mode 100644
index 0000000000..7254dd8b92
--- /dev/null
+++ b/testsuite/tests/linear/should_compile/LinearTH3.hs
@@ -0,0 +1,7 @@
+{-# LANGUAGE TemplateHaskell, LinearTypes #-}
+module LinearTH3 where -- #18736
+
+import Language.Haskell.TH
+
+idenq :: Quote m => Code m (a %1 -> a)
+idenq = [|| \x -> x ||]
diff --git a/testsuite/tests/linear/should_compile/all.T b/testsuite/tests/linear/should_compile/all.T
index b72d1f2f3d..cea6db8d73 100644
--- a/testsuite/tests/linear/should_compile/all.T
+++ b/testsuite/tests/linear/should_compile/all.T
@@ -33,5 +33,6 @@ test('MultConstructor', normal, compile, [''])
test('LinearLetRec', expect_broken(405), compile, ['-O -dlinear-core-lint'])
test('LinearTH1', normal, compile, [''])
test('LinearTH2', normal, compile, [''])
+test('LinearTH3', normal, compile, [''])
test('LinearHole', normal, compile, [''])
test('T18731', normal, compile, [''])