jsval-gc.hs

{-# LANGUAGE MagicHash #-}
{-# LANGUAGE StrictData #-}
{-# LANGUAGE UnboxedTuples #-}
{-# OPTIONS_GHC -Wall -O2 #-}

import Data.Foldable
import GHC.Exts
import GHC.Types
import System.Mem

data JSVal
  = JSVal Int (MutVar# RealWorld ())

fin :: Int -> State# RealWorld -> (# State# RealWorld, () #)
fin i = case putStrLn $ "FIN " <> show i of
  IO m -> m

newJSVal :: Int -> IO JSVal
newJSVal i = IO $ \s0 -> case newMutVar# () s0 of
  (# s1, v #) -> case mkWeak# v () (fin i) s1 of
    (# s2, _ #) -> (# s2, JSVal i v #)

main :: IO ()
main = do
  for_ [0 .. 8] newJSVal
  x <- newJSVal 233
  performGC
  let JSVal v _ = x
  print v