git.iko.soy/Idris-dev
on master help sign in
Revert changes to call__IO to fix JS Backend
76ec3feSam Elliott
libs/prelude/IO.idr+1−1
compare with master
unifiedsplit
@@ -153,7 +153,7 @@ IO : Type -> Type
153IO = IO' FFI_C
153IO = IO' FFI_C
154
154
155run__provider : IO' l a -> PrimIO a
155run__provider : IO' l a -> PrimIO a
156−run__provider = call__IO
156+run__provider (MkIO f) = f (TheWorld prim__TheWorld)
157
157
158prim_fork : PrimIO () -> PrimIO Ptr
158prim_fork : PrimIO () -> PrimIO Ptr
159prim_fork x = prim_io_return prim__vm -- compiled specially
159prim_fork x = prim_io_return prim__vm -- compiled specially