summaryrefslogtreecommitdiff
path: root/tests/examples/ghc86/haddockC027.hs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/examples/ghc86/haddockC027.hs')
-rw-r--r--tests/examples/ghc86/haddockC027.hs25
1 files changed, 25 insertions, 0 deletions
diff --git a/tests/examples/ghc86/haddockC027.hs b/tests/examples/ghc86/haddockC027.hs
new file mode 100644
index 0000000..564a825
--- /dev/null
+++ b/tests/examples/ghc86/haddockC027.hs
@@ -0,0 +1,25 @@
+{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
+{-# LANGUAGE RankNTypes #-}
+
+module ShouldCompile where
+
+-- I bet this test is a mistake! From the layout it
+-- looks as if 'test' takes three args, the latter two
+-- of higher rank. But the parens around these args are
+-- missing, so it parses as
+-- test :: [a]
+-- -> forall a. Ord a
+-- => [b]
+-- -> forall c. Num c
+-- => [c]
+-- -> [a]
+--
+-- But maybe that what was intended; I'm not sure
+-- Anyway it should typecheck!
+
+test :: [a] -- ^ doc1
+ -> forall b. (Ord b) => [b] {-^ doc2 -}
+ -> forall c. (Num c) => [c] -- ^ doc3
+ -> [a]
+test xs ys zs = xs
+