diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2021-07-30 09:38:54 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-08-02 04:19:09 -0400 |
| commit | 34e352173dd1fc3cd86c49380fda5a4eb5dd7aef (patch) | |
| tree | 014808c192a3729418d3c465cb3b5b70a6a2a8db /testsuite | |
| parent | e15381842d41a79a40a64d34ae0798aff8e6a989 (diff) | |
| download | haskell-34e352173dd1fc3cd86c49380fda5a4eb5dd7aef.tar.gz | |
Catch type-checker exceptions when splicing
In GHC.Tc.Gen.Splice.tcTopSpliceExpr we were forgetting to
catch exceptions. As a result we missed the kind error
in the unsolved constraints.
This patch has an easy fix, which cures #20179
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/tests/th/T20179.hs | 7 | ||||
| -rw-r--r-- | testsuite/tests/th/T20179.stderr | 10 | ||||
| -rw-r--r-- | testsuite/tests/th/all.T | 1 |
3 files changed, 18 insertions, 0 deletions
diff --git a/testsuite/tests/th/T20179.hs b/testsuite/tests/th/T20179.hs new file mode 100644 index 0000000000..a01f573979 --- /dev/null +++ b/testsuite/tests/th/T20179.hs @@ -0,0 +1,7 @@ +{-# LANGUAGE TemplateHaskell #-} +module Bug where + +$(let slurmp :: [Maybe] + slurmp = [] + + in pure []) diff --git a/testsuite/tests/th/T20179.stderr b/testsuite/tests/th/T20179.stderr new file mode 100644 index 0000000000..28eb54d698 --- /dev/null +++ b/testsuite/tests/th/T20179.stderr @@ -0,0 +1,10 @@ + +T20179.hs:4:18: error: + • Expecting one more argument to ‘Maybe’ + Expected a type, but ‘Maybe’ has kind ‘* -> *’ + • In the type signature: slurmp :: [Maybe] + In the expression: + let + slurmp :: [Maybe] + slurmp = [] + in pure [] diff --git a/testsuite/tests/th/all.T b/testsuite/tests/th/all.T index a19ad09ec9..77ed446d95 100644 --- a/testsuite/tests/th/all.T +++ b/testsuite/tests/th/all.T @@ -531,3 +531,4 @@ test('T19470', only_ways(['ghci']), ghci_script, ['T19470.script']) test('T19737', normal, compile, ['']) test('T19759', normal, compile, ['']) test('T20060', normal, compile, ['']) +test('T20179', normal, compile_fail, ['']) |