summaryrefslogtreecommitdiff
path: root/ghc/tests
diff options
context:
space:
mode:
Diffstat (limited to 'ghc/tests')
-rw-r--r--ghc/tests/ghci/ghci006.hs6
-rw-r--r--ghc/tests/ghci/ghci006.script6
-rw-r--r--ghc/tests/ghci/ghci006.stdout1
3 files changed, 13 insertions, 0 deletions
diff --git a/ghc/tests/ghci/ghci006.hs b/ghc/tests/ghci/ghci006.hs
new file mode 100644
index 0000000000..a09377cce2
--- /dev/null
+++ b/ghc/tests/ghci/ghci006.hs
@@ -0,0 +1,6 @@
+
+data Q = forall x . Show x => Q x
+showQ (Q x) = show x
+
+-- associated bug is that at the interpreter command line,
+-- showQ (Q "foo") crashed the interpreter. \ No newline at end of file
diff --git a/ghc/tests/ghci/ghci006.script b/ghc/tests/ghci/ghci006.script
new file mode 100644
index 0000000000..5b90605e35
--- /dev/null
+++ b/ghc/tests/ghci/ghci006.script
@@ -0,0 +1,6 @@
+:unset +s +t
+:s -fglasgow-exts
+-- test for contexts on existential types crashing the interpreter
+:l ghci006
+showQ (Q "foo")
+
diff --git a/ghc/tests/ghci/ghci006.stdout b/ghc/tests/ghci/ghci006.stdout
new file mode 100644
index 0000000000..c0f609860a
--- /dev/null
+++ b/ghc/tests/ghci/ghci006.stdout
@@ -0,0 +1 @@
+\"foo\"