ApiAnnotations : Nested forall loses forall annotation
[ghc.git] / testsuite / tests / ghc-api / annotations / Test10278.hs
1 {-# LANGUAGE ScopedTypeVariables #-}
2 module Test10278 where
3
4 extremumNewton :: forall tag. forall tag1. tag -> tag1 -> Int
5 extremumNewton = undefined
6
7 extremumNewton1 :: (Eq a, Fractional a) =>
8 (forall tag. forall tag1.
9 Tower tag1 (Tower tag a)
10 -> Tower tag1 (Tower tag a))
11 -> a -> [a]
12 extremumNewton1 f x0 = zeroNewton (diffUU f) x0