diff options
| -rw-r--r-- | testsuite/tests/ghci/scripts/T10249.script | 1 | ||||
| -rw-r--r-- | testsuite/tests/ghci/scripts/T10249.stderr | 8 | ||||
| -rwxr-xr-x | testsuite/tests/ghci/scripts/all.T | 1 |
3 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/scripts/T10249.script b/testsuite/tests/ghci/scripts/T10249.script new file mode 100644 index 0000000000..c9cdc63b07 --- /dev/null +++ b/testsuite/tests/ghci/scripts/T10249.script @@ -0,0 +1 @@ +_
\ No newline at end of file diff --git a/testsuite/tests/ghci/scripts/T10249.stderr b/testsuite/tests/ghci/scripts/T10249.stderr new file mode 100644 index 0000000000..ade995051e --- /dev/null +++ b/testsuite/tests/ghci/scripts/T10249.stderr @@ -0,0 +1,8 @@ + +<interactive>:1:1: error: + • Found hole: _ :: t + Where: ‘t’ is a rigid type variable bound by + the inferred type of it :: t at <interactive>:1:1 + • In the expression: _ + In an equation for ‘it’: it = _ + • Relevant bindings include it :: t (bound at <interactive>:1:1) diff --git a/testsuite/tests/ghci/scripts/all.T b/testsuite/tests/ghci/scripts/all.T index 53cb1e3336..b89d1c48fd 100755 --- a/testsuite/tests/ghci/scripts/all.T +++ b/testsuite/tests/ghci/scripts/all.T @@ -268,3 +268,4 @@ test('T12523', normal, ghci_script, ['T12523.script']) test('T12024', normal, ghci_script, ['T12024.script']) test('T12447', expect_broken(12447), ghci_script, ['T12447.script']) test('T12550', expect_broken(12550), ghci_script, ['T12550.script']) +test('T10249', normal, ghci_script, ['T10249.script']) |