[commit: testsuite] master: Test Trac #8649 (d63acc8)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/testsuite

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/d63acc8fd99553b2fcca02b58519877827b913ac/testsuite

>---------------------------------------------------------------

commit d63acc8fd99553b2fcca02b58519877827b913ac
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri Jan 10 09:22:57 2014 +0000

    Test Trac #8649


>---------------------------------------------------------------

d63acc8fd99553b2fcca02b58519877827b913ac
 tests/ghci/scripts/T8649.script |    4 ++++
 tests/ghci/scripts/T8649.stderr |    8 ++++++++
 tests/ghci/scripts/all.T        |    1 +
 3 files changed, 13 insertions(+)

diff --git a/tests/ghci/scripts/T8649.script b/tests/ghci/scripts/T8649.script
new file mode 100644
index 0000000..017a820
--- /dev/null
+++ b/tests/ghci/scripts/T8649.script
@@ -0,0 +1,4 @@
+data X = Y Int
+let f (Y i) = i
+data X = Y Int | Z String
+f (Y 3)
diff --git a/tests/ghci/scripts/T8649.stderr b/tests/ghci/scripts/T8649.stderr
new file mode 100644
index 0000000..2bd4584
--- /dev/null
+++ b/tests/ghci/scripts/T8649.stderr
@@ -0,0 +1,8 @@
+
+<interactive>:5:4:
+    Couldn't match expected type ‛Ghci1.X’
+                with actual type ‛X’
+    NB: ‛Ghci1.X’ is defined at <interactive>:2:1-14
+        ‛X’ is defined at <interactive>:4:1-25
+    In the first argument of ‛f’, namely ‛(Y 3)’
+    In the expression: f (Y 3)
diff --git a/tests/ghci/scripts/all.T b/tests/ghci/scripts/all.T
index e7a520c..1f051c8 100755
--- a/tests/ghci/scripts/all.T
+++ b/tests/ghci/scripts/all.T
@@ -163,3 +163,4 @@ test('T8535', normal, ghci_script, ['T8535.script'])
 test('T8639', normal, ghci_script, ['T8639.script'])
 test('T8640', normal, ghci_script, ['T8640.script'])
 test('T8579', normal, ghci_script, ['T8579.script'])
+test('T8649', normal, ghci_script, ['T8649.script'])