diff options
| -rw-r--r-- | noupdate.hs | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/noupdate.hs b/noupdate.hs index 2caae1d0f3..86d9a64f80 100644 --- a/noupdate.hs +++ b/noupdate.hs @@ -1,4 +1,4 @@ -{-# OPTIONS_GHC -ddump-cmm -ddump-stg-final #-} +{-# OPTIONS_GHC -O2 -ddump-cmm -ddump-stg-final #-} import Debug.Trace import Control.Monad import GHC.Magic @@ -19,6 +19,8 @@ main = do replicateM_ 2 $ updating_local putStrLn "evaluating a top level reentrant thunk 2 times:" replicateM_ 2 $ reentrant_local + let y = bar "dougrulz" + replicateM_ 2 $ print y @@ -30,6 +32,16 @@ main = do updatingThunk :: IO Int updatingThunk = trace "updatingThunk" $ length . show <$> getCurrentTime +{-# noinline foo #-} +foo () = (trace "reentrantThunk" $ length . show <$> getCurrentTime) + {-# noinline reentrantThunk #-} reentrantThunk :: IO Int -reentrantThunk = noupdate (trace "reentrantThunk" $ length . show <$> getCurrentTime) +reentrantThunk = noupdate foo () + + +{-# noinline bar #-} +bar :: String -> Int +bar s = let + x = noupdate (length s) + in x |