diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-09-28 01:38:55 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-10-05 13:59:33 -0400 |
| commit | 802b5e6fdd6dfc58396a9dca1903dc5a1d6634ca (patch) | |
| tree | 4d55590d9c88a456b2f4c9365e5e501b8db91367 /testsuite/tests/linear | |
| parent | bc5de347bccd7a2691a9e4b927ab80acb7e15991 (diff) | |
| download | haskell-802b5e6fdd6dfc58396a9dca1903dc5a1d6634ca.tar.gz | |
Fix linear types in TH splices (#18465)
Diffstat (limited to 'testsuite/tests/linear')
| -rw-r--r-- | testsuite/tests/linear/should_fail/LinearTHFail.hs | 11 | ||||
| -rw-r--r-- | testsuite/tests/linear/should_fail/LinearTHFail.stderr | 13 | ||||
| -rw-r--r-- | testsuite/tests/linear/should_fail/all.T | 1 |
3 files changed, 25 insertions, 0 deletions
diff --git a/testsuite/tests/linear/should_fail/LinearTHFail.hs b/testsuite/tests/linear/should_fail/LinearTHFail.hs new file mode 100644 index 0000000000..42878e5dad --- /dev/null +++ b/testsuite/tests/linear/should_fail/LinearTHFail.hs @@ -0,0 +1,11 @@ +{-# LANGUAGE TemplateHaskellQuotes, LinearTypes #-} + +module LinearTHFail where -- #18465 + +import Language.Haskell.TH + +f :: Q Exp %1 -> Q Exp +f x = [| Just $x |] + +g :: Code Q a %1 -> Code Q (Maybe a) +g x = [|| Just $$x ||] diff --git a/testsuite/tests/linear/should_fail/LinearTHFail.stderr b/testsuite/tests/linear/should_fail/LinearTHFail.stderr new file mode 100644 index 0000000000..58537e811e --- /dev/null +++ b/testsuite/tests/linear/should_fail/LinearTHFail.stderr @@ -0,0 +1,13 @@ + +LinearTHFail.hs:8:3: error: + • Couldn't match type ‘'Many’ with ‘'One’ + arising from multiplicity of ‘x’ + • In an equation for ‘f’: + f x + = [| Just $x |] + pending(rn) [<splice, x>] + +LinearTHFail.hs:11:3: error: + • Couldn't match type ‘'Many’ with ‘'One’ + arising from multiplicity of ‘x’ + • In an equation for ‘g’: g x = [|| Just $$x ||] diff --git a/testsuite/tests/linear/should_fail/all.T b/testsuite/tests/linear/should_fail/all.T index 272e9e2a35..5fa6fdb18f 100644 --- a/testsuite/tests/linear/should_fail/all.T +++ b/testsuite/tests/linear/should_fail/all.T @@ -30,3 +30,4 @@ test('LinearSequenceExpr', normal, compile_fail, ['']) test('LinearIf', normal, compile_fail, ['']) test('LinearPatternGuardWildcard', normal, compile_fail, ['']) test('LinearFFI', normal, compile_fail, ['']) +test('LinearTHFail', normal, compile_fail, ['']) |