1 files changed, 18 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/tc145.hs b/testsuite/tests/typecheck/should_compile/tc145.hs
new file mode 100644
index 0000000000..a11c5b93e5
--- /dev/null
+++ b/testsuite/tests/typecheck/should_compile/tc145.hs
@@ -0,0 +1,18 @@
+{-# LANGUAGE ImplicitParams, UnboxedTuples #-}
+
+-- Test two slightly exotic things about type signatures
+
+module ShouldCompile where
+
+	-- The for-all hoisting should hoist the
+	-- implicit parameter to give
+	-- 	r :: (?param::a) => a
+    r :: Int -> ((?param :: a) => a)
+    r = error "urk"
+
+	-- The unboxed tuple is OK because it is
+	-- used on the right hand end of an arrow	
+    type T = (# Int, Int #)
+
+    f :: Int -> T
+    f = error "urk"