[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
Other options:
no subject
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Или есть вариант, когда такая конструкция будет иметь смысл в реальной жизни?