blob: f2ebfa22ec0ca036f1c2af63fe2464471192d061 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
{-# LANGUAGE TemplateHaskell #-}
module Main where
import Data.IORef (IORef, atomicModifyIORef', newIORef)
import InitOnce
globalRef :: IORef Int
globalRef = $$(once [|| newIORef 0 ||])
{-# NOINLINE foo #-}
foo :: IO String
foo = atomicModifyIORef' globalRef (\i -> (i + 1, show i))
main :: IO ()
main = do
putStrLn =<< foo -- 0
putStrLn =<< foo -- 1
|