Tweaks and typos in manual, note refs, comments
[ghc.git] / testsuite / tests / typecheck / should_fail / T10619.hs
1 {-# LANGUAGE RankNTypes #-}
2
3 module T10619 where
4
5 -- tests that type checking doesn't care about order. all of these
6 -- should fail and be reported.
7
8 foo _ = if True
9 then ((\x -> x) :: (forall a. a -> a) -> forall b. b -> b)
10 else \y -> y
11
12 bar _ = if True
13 then \y -> y
14 else ((\x -> x) :: (forall a. a -> a) -> forall b. b -> b)
15
16 baz True = (\x -> x) :: (forall a. a -> a) -> forall b. b -> b
17 baz False = \y -> y
18
19 quux False = \y -> y
20 quux True = (\x -> x) :: (forall a. a -> a) -> forall b. b -> b