[1 of 1] Compiling Main ( seq.hs, seq.o ) ==================== Tidy Core ==================== Result size of Tidy Core = {terms: 7, types: 6, coercions: 0} main :: IO () [GblId, Str=DmdType] main = print @ Integer GHC.Show.$fShowInteger (__integer 5) :Main.main :: IO () [GblId, Str=DmdType] :Main.main = GHC.TopHandler.runMainIO @ () main Linking seq ... qrilka@qdesktop ~ $ cat seq.hs main = print $ (\True y -> ()) False `seq` 5
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2015-10-03 11:35 am (UTC)qrilka@qdesktop ~ $ ghc -ddump-simpl seq.hs
[1 of 1] Compiling Main ( seq.hs, seq.o ) ==================== Tidy Core ==================== Result size of Tidy Core = {terms: 7, types: 6, coercions: 0} main :: IO () [GblId, Str=DmdType] main = print @ Integer GHC.Show.$fShowInteger (__integer 5) :Main.main :: IO () [GblId, Str=DmdType] :Main.main = GHC.TopHandler.runMainIO @ () main Linking seq ... qrilka@qdesktop ~ $ cat seq.hs main = print $ (\True y -> ()) False `seq` 5Или есть вариант, когда такая конструкция будет иметь смысл в реальной жизни?