Run boxes only

Author: phischu

libraries/common/io.effekt

@@ -16,8 +16,7 @@ extern async def spawn(task: Task[Unit]): Unit =
   js "$effekt.capture(k => { setTimeout(() => k($effekt.unit), 0); return $effekt.run(${task}) })"
   llvm """
     call void @c_yield(%Stack %stack)
-    %unboxed = call ccc %Neg @coercePosNeg(%Pos ${task})
-    call void @run(%Neg %unboxed)
+    call void @run(%Pos %task)
     ret void
   """
 

libraries/llvm/io.c

@@ -401,7 +401,7 @@ void c_tcp_accept_cb(uv_stream_t* server, int status) {
     }
 
     sharePositive(accept_closure->handler);
-    run_Int(unbox(accept_closure->handler), (int64_t)client);
+    run_Int(accept_closure->handler, (int64_t)client);
 }
 
 void c_tcp_accept(Int listener, struct Pos handler, Stack stack) {

libraries/llvm/rts.ll

@@ -706,7 +706,10 @@ define void @resume_Pos(%Stack %stack, %Pos %argument) {
     ret void
 }
 
-define void @run(%Neg %f) {
+define void @run(%Pos %boxed) {
+    ; unbox
+    %f = call %Neg @coercePosNeg(%Pos %boxed)
+
     ; fresh stack
     %stack = call %Stack @withEmptyStack()
 
@@ -721,7 +724,10 @@ define void @run(%Neg %f) {
     ret void
 }
 
-define void @run_Int(%Neg %f, i64 %argument) {
+define void @run_Int(%Pos %boxed, i64 %argument) {
+    ; unbox
+    %f = call %Neg @coercePosNeg(%Pos %boxed)
+
     ; fresh stack
     %stack = call %Stack @withEmptyStack()
 
@@ -736,7 +742,10 @@ define void @run_Int(%Neg %f, i64 %argument) {
     ret void
 }
 
-define void @run_Pos(%Neg %f, %Pos %argument) {
+define void @run_Pos(%Pos %boxed, %Pos %argument) {
+    ; unbox
+    %f = call %Neg @coercePosNeg(%Pos %boxed)
+
     ; fresh stack
     %stack = call %Stack @withEmptyStack()
 

libraries/llvm/types.c

@@ -34,15 +34,12 @@ typedef struct StackValue* Stack;
 
 // Defined in rts.ll
 
-extern struct Pos box(struct Neg);
-extern struct Neg unbox(struct Pos);
-
 extern void resume_Int(Stack, Int);
 extern void resume_Pos(Stack, struct Pos);
 
-extern void run(struct Neg);
-extern void run_Int(struct Neg, Int);
-extern void run_Pos(struct Neg, struct Pos);
+extern void run(struct Pos);
+extern void run_Int(struct Pos, Int);
+extern void run_Pos(struct Pos, struct Pos);
 
 // Reference counting primitives defined in LLVM
 extern void eraseNegative(struct Neg);