From 2689f20917db23b44b3c6c219acd0da229fe25cf Mon Sep 17 00:00:00 2001
From: Simon Peyton Jones <simonpj@microsoft.com>
Date: Thu, 3 Apr 2014 13:34:52 +0100
Subject: [PATCH] Test Trac #8931
(cherry picked from commit 8bf8ce1e7cb1b97a1f18ec6f5552e339808ffba9)
---
testsuite/tests/ghci/scripts/T8931.script | 3 +++
testsuite/tests/ghci/scripts/T8931.stdout | 1 +
testsuite/tests/ghci/scripts/all.T | 1 +
3 files changed, 5 insertions(+)
create mode 100644 testsuite/tests/ghci/scripts/T8931.script
create mode 100644 testsuite/tests/ghci/scripts/T8931.stdout
diff --git a/testsuite/tests/ghci/scripts/T8931.script b/testsuite/tests/ghci/scripts/T8931.script
new file mode 100644
index 000000000000..152747681c00
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T8931.script
@@ -0,0 +1,3 @@
+:m +Data.Typeable
+let {f :: Typeable a => (a->Bool) -> Bool; f _ = True}
+f (\x -> (x == 3))
diff --git a/testsuite/tests/ghci/scripts/T8931.stdout b/testsuite/tests/ghci/scripts/T8931.stdout
new file mode 100644
index 000000000000..0ca95142bb71
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/T8931.stdout
@@ -0,0 +1 @@
+True
diff --git a/testsuite/tests/ghci/scripts/all.T b/testsuite/tests/ghci/scripts/all.T
index e985ce112eff..6991603563bf 100755
--- a/testsuite/tests/ghci/scripts/all.T
+++ b/testsuite/tests/ghci/scripts/all.T
@@ -169,3 +169,4 @@ test('T8696', normal, ghci_script, ['T8696.script'])
test('T8776', normal, ghci_script, ['T8776.script'])
test('T8831', normal, ghci_script, ['T8831.script'])
test('T8917', normal, ghci_script, ['T8917.script'])
+test('T8931', normal, ghci_script, ['T8931.script'])
--
GitLab