summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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'])