From b95b3fbd402d53525948df03c82b774adfe7f13f Mon Sep 17 00:00:00 2001
From: Simon Peyton Jones <simonpj@microsoft.com>
Date: Fri, 7 Mar 2014 17:15:15 +0000
Subject: [PATCH] Test Trac #8856
(cherry picked from commit 062391be4f06aa408187582c4a40f1cea80429c3)
---
testsuite/tests/typecheck/should_compile/T8856.hs | 6 ++++++
testsuite/tests/typecheck/should_compile/all.T | 1 +
2 files changed, 7 insertions(+)
create mode 100644 testsuite/tests/typecheck/should_compile/T8856.hs
diff --git a/testsuite/tests/typecheck/should_compile/T8856.hs b/testsuite/tests/typecheck/should_compile/T8856.hs
new file mode 100644
index 000000000000..6605e479fda5
--- /dev/null
+++ b/testsuite/tests/typecheck/should_compile/T8856.hs
@@ -0,0 +1,6 @@
+{-# LANGUAGE ScopedTypeVariables, RankNTypes, PolyKinds #-}
+module T8856 where
+
+import Data.Proxy
+
+foo = (undefined :: Proxy a) :: forall a. Proxy a
diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T
index 35b5dd2e9006..373e739a3f1c 100644
--- a/testsuite/tests/typecheck/should_compile/all.T
+++ b/testsuite/tests/typecheck/should_compile/all.T
@@ -417,3 +417,4 @@ test('T8565', normal, compile, [''])
test('T8644', normal, compile, [''])
test('T8762', normal, compile, [''])
test('MutRec', normal, compile, [''])
+test('T8856', normal, compile, [''])
--
GitLab