summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRyan Scott <ryan.gl.scott@gmail.com>2020-09-26 07:35:44 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-09-29 00:33:57 -0400
commit4365d77a0b306ada61654c3648b844cfa0f4fdcf (patch)
treea6b4265705e7761cdbe9ba5cdb39e9a1667848a3
parent74c797f6b72c4d01f5e0092dfac1461f3f3dd7a2 (diff)
downloadhaskell-4365d77a0b306ada61654c3648b844cfa0f4fdcf.tar.gz
Add regression test #18501
ghc/ghc!3220 ended up fixing #18501. This patch adds a regression test for #18501 to ensure that it stays fixed.
-rw-r--r--testsuite/tests/ghci/scripts/T18501.script3
-rw-r--r--testsuite/tests/ghci/scripts/T18501.stdout1
-rwxr-xr-xtestsuite/tests/ghci/scripts/all.T1
3 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/scripts/T18501.script b/testsuite/tests/ghci/scripts/T18501.script
new file mode 100644
index 0000000000..64975cbc46
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T18501.script
@@ -0,0 +1,3 @@
+:set -XAllowAmbiguousTypes
+class Foo a where foo :: String
+:t foo
diff --git a/testsuite/tests/ghci/scripts/T18501.stdout b/testsuite/tests/ghci/scripts/T18501.stdout
new file mode 100644
index 0000000000..c319c0a5f6
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T18501.stdout
@@ -0,0 +1 @@
+foo :: Foo a => String
diff --git a/testsuite/tests/ghci/scripts/all.T b/testsuite/tests/ghci/scripts/all.T
index 875706b233..df859c6c3a 100755
--- a/testsuite/tests/ghci/scripts/all.T
+++ b/testsuite/tests/ghci/scripts/all.T
@@ -318,4 +318,5 @@ test('T17403', normal, ghci_script, ['T17403.script'])
test('T17431', normal, ghci_script, ['T17431.script'])
test('T17549', normal, ghci_script, ['T17549.script'])
test('T17669', [extra_run_opts('-fexternal-interpreter -fobject-code'), expect_broken(17669)], ghci_script, ['T17669.script'])
+test('T18501', normal, ghci_script, ['T18501.script'])
test('T18644', normal, ghci_script, ['T18644.script'])