summaryrefslogtreecommitdiff
path: root/tests/examples/ghc86/haddockC027.hs
blob: 564a82571b7774e9de68c4482dbb26a2d1aa8e18 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
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