~jojo/Carth

008911c0f627aa0ce24f84561554336d65906355 — JoJo 1 year, 1 month ago d09e75d
std: Fix io/pure always wrapping Unit
1 files changed, 1 insertions(+), 1 deletions(-)

M std/io.carth
M std/io.carth => std/io.carth +1 -1
@@ 7,7 7,7 @@
                     real-world
                     xs)])))

(define (io/pure a) (IO (fun (real-world) [Unit real-world])))
(define (io/pure a) (IO (fun (real-world) [a real-world])))

(define: (io/map f (IO ma))
    (forall (a b) (Fun (Fun a b) (IO a) (IO b)))