diff options
-rw-r--r-- | testsuite/tests/linear/should_compile/LinearTH3.hs | 7 | ||||
-rw-r--r-- | testsuite/tests/linear/should_compile/all.T | 1 |
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, ['']) |