Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / simplCore / should_run / T7101.hs
1 {-# LANGUAGE ImplicitParams, RankNTypes #-}
2
3 module Main where
4
5 f :: (?x :: Int) => ((?x :: Int) => Int) -> Bool -> Int
6 f g False = g
7 f g True = let ?x = ?x + 1
8 in f g False
9
10 h :: (?x :: Int) => Int
11 h = ?x
12
13 main :: IO ()
14 main = print (let ?x = 0 in f h True)