4ae6965 · rowtype-yoga/purescript-native

examples/failing/Eff.pursnew file+12

compare with golang

unifiedsplit

@@ -0,0 +1,12 @@

1+module Main where

2+

3+import Prelude

4+import Control.Monad.Eff

5+import Control.Monad.ST

6+import Debug.Trace

7+

8+test = pureST (do

9+ ref <- newSTRef 0

10+ trace "ST"

11+ modifySTRef ref $ \n -> n + 1

12+ readSTRef ref)

examples/passing/Eff.purs+6

@@ -14,6 +14,12 @@ test2 = runPure (runST (do

14 modifySTRef ref $ \n -> n + 1

15 readSTRef ref))

16

17+test3 = pureST (do

18+ ref <- newSTRef 0

19+ modifySTRef ref $ \n -> n + 1

20+ readSTRef ref)

21+

17main = do

22main = do

18 test1

23 test1

19 Debug.Trace.print test2

24 Debug.Trace.print test2

25+ Debug.Trace.print test3

prelude/README.md+2

@@ -371,6 +371,8 @@

371

372 runST :: forall a r. (forall h. Eff (st :: ST h | r) a) -> Eff r a

373

374+ pureST :: forall a. (forall h r. Eff (st :: ST h | r) a) -> a

375+

374 runSTArray :: forall a r. (forall h. Eff (st :: ST h | r) (STArray h a)) -> Eff r [a]

376 runSTArray :: forall a r. (forall h. Eff (st :: ST h | r) (STArray h a)) -> Eff r [a]

375

377

376 writeSTRef :: forall a h r. STRef h a -> a -> Eff (st :: ST h | r) a

378 writeSTRef :: forall a h r. STRef h a -> a -> Eff (st :: ST h | r) a

prelude/prelude.purs+2

@@ -915,3 +915,5 @@ module Control.Monad.ST where

915 \ return f;\

916 \}" :: forall a r. (forall h. Eff (st :: ST h | r) a) -> Eff r a

917

918+ pureST :: forall a. (forall h r. Eff (st :: ST h | r) a) -> a

919+ pureST st = runPure (runST st)