SCC analysis for instances as well as types/classes
[ghc.git] / testsuite / tests / typecheck / should_compile / T8474.hs
1 {-# LANGUAGE ImplicitParams #-}
2 module T8474 where
3
4 data D = D Int deriving Show
5
6 -- In 7.7 this took exponential time!
7 slow_to_compile :: IO ()
8 slow_to_compile = do
9 tst1 <- return 1
10
11 let ?tst1 = tst1
12 {-
13 let ?tst2 = tst1
14 let ?tst3 = tst1
15 let ?tst4 = tst1
16 let ?tst5 = tst1
17 let ?tst6 = tst1
18 let ?tst7 = tst1
19 -}
20
21 print $ D ?tst1