Revert changes to call__IO to fix JS Backend
commit76ec3fe9ebc24a46153fa7226422bece6605c8ce
authorSam Elliott <sam@lenary.co.uk>
dateMon 6 Apr 2015, 09:47 (12 years ago)
parent674459b
libs/prelude/IO.idr+1−1
@@ -153,7 +153,7 @@ IO : Type -> Type
153153IO = IO' FFI_C
154154
155155run__provider : IO' l a -> PrimIO a
156−run__provider = call__IO
156+run__provider (MkIO f) = f (TheWorld prim__TheWorld)
157157
158158prim_fork : PrimIO () -> PrimIO Ptr
159159prim_fork x = prim_io_return prim__vm -- compiled specially