summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci
diff options
context:
space:
mode:
authorJoachim Breitner <mail@joachim-breitner.de>2021-10-07 15:21:25 +0200
committerMarge Bot <ben+marge-bot@smart-cactus.org>2021-10-07 20:20:36 -0400
commit01f5324f8eaa2ce28d617922bc4d3b680ad4fc38 (patch)
treecaa88454e6ef6b3a7063da40c1039edeff9a0fe1 /testsuite/tests/ghci
parent4d44058d63182963b3cab069dd5e8975ef06b91a (diff)
downloadhaskell-01f5324f8eaa2ce28d617922bc4d3b680ad4fc38.tar.gz
Recover test case for T11547
commit 98c7749 has reverted commit 59d7ee53, including the test that that file added. That test case is still valuable, so I am re-adding it. I add it with it’s current (broken) behavior so that whoever fixes it intentionally or accidentially will notice and then commit the actual desired behavior (which is kinda unspecified, see https://gitlab.haskell.org/ghc/ghc/-/issues/20455#note_382030)
Diffstat (limited to 'testsuite/tests/ghci')
-rw-r--r--testsuite/tests/ghci/scripts/T11547.script9
-rw-r--r--testsuite/tests/ghci/scripts/T11547.stderr5
-rw-r--r--testsuite/tests/ghci/scripts/T11547.stdout4
-rwxr-xr-xtestsuite/tests/ghci/scripts/all.T1
4 files changed, 19 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/scripts/T11547.script b/testsuite/tests/ghci/scripts/T11547.script
new file mode 100644
index 0000000000..c4c15d6f78
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T11547.script
@@ -0,0 +1,9 @@
+foo = foo
+:t Ghci1.foo
+foo = foo
+:t Ghci2.foo
+:t Ghci1.foo
+data Foo = Foo | Bar
+data Foo = Bar
+:t Foo
+:t Ghci3.Bar
diff --git a/testsuite/tests/ghci/scripts/T11547.stderr b/testsuite/tests/ghci/scripts/T11547.stderr
new file mode 100644
index 0000000000..2623e4659f
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T11547.stderr
@@ -0,0 +1,5 @@
+
+<interactive>:1:1: error:
+ • GHC internal error: ‘Ghci1.foo’ is not in scope during type checking, but it passed the renamer
+ tcl_env of environment: []
+ • In the expression: Ghci1.foo
diff --git a/testsuite/tests/ghci/scripts/T11547.stdout b/testsuite/tests/ghci/scripts/T11547.stdout
new file mode 100644
index 0000000000..f808e0c90e
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T11547.stdout
@@ -0,0 +1,4 @@
+Ghci1.foo :: t
+Ghci2.foo :: t
+Foo :: Ghci3.Foo
+Ghci3.Bar :: Ghci3.Foo
diff --git a/testsuite/tests/ghci/scripts/all.T b/testsuite/tests/ghci/scripts/all.T
index 93199562f3..d8c80e9543 100755
--- a/testsuite/tests/ghci/scripts/all.T
+++ b/testsuite/tests/ghci/scripts/all.T
@@ -254,6 +254,7 @@ test('T11376', normal, ghci_script, ['T11376.script'])
test('T12007', normal, ghci_script, ['T12007.script'])
test('T11975', normal, ghci_script, ['T11975.script'])
test('T10963', normal, ghci_script, ['T10963.script'])
+test('T11547', normal, ghci_script, ['T11547.script'])
test('T11721', normal, ghci_script, ['T11721.script'])
test('T12005', normal, ghci_script, ['T12005.script'])
test('T12023', normal, makefile_test, [])