align cuda with c

HigherOrderCO · Aug 5, 2024 · be6ad6f · be6ad6f
1 parent 352e2e2
commit be6ad6f
Show file tree

Hide file tree

Showing 2 changed files with 157 additions and 64 deletions.
diff --git a/src/run.c b/src/run.c
@@ -352,6 +352,7 @@ Port inject_io_err_name(Net* net) {
   return inject_io_err(net, io_error);
 }
 
+/// Returns a λ-Encoded Ctr for a Result/Err(IOError/Inner(val))
 Port inject_io_err_inner(Net* net, Port val) {
   IOError io_error = {
     .tag = IO_ERR_INNER,