a129823 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Put fork and forceGC in an appropriate namespace

This needs a proper fix, but for now it makes programs which overload 'fork' work again.

commita129823471820081f8d9c6f154ac8083dfee9b1e authorEdwin Brady <ecb10@st-andrews.ac.uk> dateWed 6 May 2015, 01:11 (11 years ago) parent012be4a

1 file changed+9−8

unifiedsplit

libs/prelude/IO.idr+9−8

@@ -160,14 +160,15 @@ run__provider (MkIO f) = f (TheWorld prim__TheWorld)

160160prim_fork : PrimIO () -> PrimIO Ptr

161161prim_fork x = prim_io_return prim__vm -- compiled specially

162162

163−fork : IO' l () -> IO' l Ptr

164−fork (MkIO f) = MkIO (\w => prim_io_bind

165− (prim_fork (prim_io_bind (f w)

166− (\ x => prim_io_return x)))

167− (\x => prim_io_return x))

168−

169−forceGC : IO ()

170−forceGC = foreign FFI_C "idris_forceGC" (Ptr -> IO ()) prim__vm

163+namespace IO

164+ fork : IO' l () -> IO' l Ptr

165+ fork (MkIO f) = MkIO (\w => prim_io_bind

166+ (prim_fork (prim_io_bind (f w)

167+ (\ x => prim_io_return x)))

168+ (\x => prim_io_return x))

169+

170+ forceGC : IO ()

171+ forceGC = foreign FFI_C "idris_forceGC" (Ptr -> IO ()) prim__vm

171172

172173--------- The Javascript/Node FFI

173174