From: sewardj <unknown>
Date: Wed, 2 May 2001 16:15:09 +0000 (+0000)
Subject: [project @ 2001-05-02 16:15:09 by sewardj]
X-Git-Tag: Approximately_9120_patches~2033
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=8f1b16205a410c2a2421303b2d951824a9f8c489;p=ghc-hetmet.git

[project @ 2001-05-02 16:15:09 by sewardj]
Add test to check contexts on existential types in the interpreter.
---

diff --git a/ghc/tests/ghci/ghci006.hs b/ghc/tests/ghci/ghci006.hs
new file mode 100644
index 0000000..a09377c
--- /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 0000000..5b90605
--- /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 0000000..c0f6098
--- /dev/null
+++ b/ghc/tests/ghci/ghci006.stdout
@@ -0,0 +1 @@
+\"foo\"