blob: 8e03bc22139adaf6a1f415059b1cc3395aaee654 (
plain)
1
2
3
4
5
6
7
8
9
|
{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
module ShouldCompile where
test :: [a] -- ^ doc1
-> forall b. (Ord b) => [b] {-^ doc2 -}
-> forall c. (Num c) => [c] -- ^ doc3
-> [a]
test xs ys zs = xs
|