From 8bf8ce1e7cb1b97a1f18ec6f5552e339808ffba9 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
---
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 00000000000..152747681c0
--- /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 00000000000..0ca95142bb7
--- /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 6c6923d42db..aacdd262b10 100755
--- a/testsuite/tests/ghci/scripts/all.T
+++ b/testsuite/tests/ghci/scripts/all.T
@@ -170,3 +170,4 @@ test('T8776', normal, ghci_script, ['T8776.script'])
test('ghci059', normal, ghci_script, ['ghci059.script'])
test('T8831', normal, ghci_script, ['T8831.script'])
test('T8917', normal, ghci_script, ['T8917.script'])
+test('T8931', normal, ghci_script, ['T8931.script'])
--
GitLab