diff options
author | Ben Gamari <bgamari.foss@gmail.com> | 2017-07-20 19:24:00 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2017-07-20 19:24:01 -0400 |
commit | 36e8bcba08446dbc4e7532ef9db5517c13977bf9 (patch) | |
tree | 4b46040211993cd0a6f21c50a3bae6c8b9929570 /testsuite | |
parent | ccac387bd90da8e1b6998e8480897a0bf0694310 (diff) | |
download | haskell-36e8bcba08446dbc4e7532ef9db5517c13977bf9.tar.gz |
HsPat: Assume that no spliced patterns are irrefutable
This is a conservative assumption which will limit some uses of spliced
patterns, but it fixes #13984.
Test Plan: Validate
Reviewers: RyanGlScott, AaronFriel, austin
Reviewed By: RyanGlScott
Subscribers: rwbarton, thomie
GHC Trac Issues: #13984
Differential Revision: https://phabricator.haskell.org/D3766
Diffstat (limited to 'testsuite')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/T13984.hs | 9 | ||||
-rw-r--r-- | testsuite/tests/typecheck/should_compile/all.T | 1 |
2 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T13984.hs b/testsuite/tests/typecheck/should_compile/T13984.hs new file mode 100644 index 0000000000..a17e48c7da --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/T13984.hs @@ -0,0 +1,9 @@ +{-# LANGUAGE TemplateHaskell #-} +module Panic where + +import Language.Haskell.TH + +expr :: IO Exp +expr = runQ $ do + name <- newName "foo" + [| do $(varP name) <- pure (); pure () |] diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T index ee37b9ac7a..2ce4e91fa8 100644 --- a/testsuite/tests/typecheck/should_compile/all.T +++ b/testsuite/tests/typecheck/should_compile/all.T @@ -570,3 +570,4 @@ test('T13879', normal, compile, ['']) test('T13881', normal, compile, ['']) test('T13915a', normal, multimod_compile, ['T13915a', '-v0']) test('T13915b', normal, compile, ['']) +test('T13984', normal, compile, ['']) |