git.iko.soy/Idris-dev
on master help sign in
Put fork and forceGC in an appropriate namespace
a129823Edwin Brady
libs/prelude/IO.idr+9−8
compare with master
unifiedsplit
@@ -160,14 +160,15 @@ run__provider (MkIO f) = f (TheWorld prim__TheWorld)
160prim_fork : PrimIO () -> PrimIO Ptr
160prim_fork : PrimIO () -> PrimIO Ptr
161prim_fork x = prim_io_return prim__vm -- compiled specially
161prim_fork x = prim_io_return prim__vm -- compiled specially
162
162
163+namespace IO
163−fork : IO' l () -> IO' l Ptr
164+ fork : IO' l () -> IO' l Ptr
164−fork (MkIO f) = MkIO (\w => prim_io_bind
165+ fork (MkIO f) = MkIO (\w => prim_io_bind
165− (prim_fork (prim_io_bind (f w)
166+ (prim_fork (prim_io_bind (f w)
166− (\ x => prim_io_return x)))
167+ (\ x => prim_io_return x)))
167− (\x => prim_io_return x))
168+ (\x => prim_io_return x))
168−
169+
169−forceGC : IO ()
170+ forceGC : IO ()
170−forceGC = foreign FFI_C "idris_forceGC" (Ptr -> IO ()) prim__vm
171+ forceGC = foreign FFI_C "idris_forceGC" (Ptr -> IO ()) prim__vm
171
172
172--------- The Javascript/Node FFI
173--------- The Javascript/Node FFI
173
174