refactor: cleanup

src/ir/call/call.fnk

@@ -119,11 +119,11 @@ transform_all_args = fn [expr=false, ...exprs], args_id, ctx, out=[]:
       transform_all_args exprs, next_args_id, next_ctx, [...out, ...arg]
 
     else:
-      [arg, next_args_id, foo_ctx] = transform_arg expr, args_id, ctx
+      [arg, next_args_id, arg_ctx] = transform_arg expr, args_id, ctx
       next_ctx = rec:
-        ...foo_ctx
+        ...arg_ctx
         partial_ident: ctx.partial_ident
-        has_partial: ctx.has_partial or foo_ctx.has_partial
+        has_partial: ctx.has_partial or arg_ctx.has_partial
       transform_all_args exprs, next_args_id, next_ctx, [...out, ...arg]
 
 

src/ir/call/pipe.fnk

@@ -31,17 +31,13 @@ pipe_all =  fn [expr=false, ...exprs], prev_res_id, ctx, out=[]:
       pipe_all exprs, res_id, end_ctx, [...out, ...callee, ...call]
 
     else:
-      # [res, res_id, {partial_ident, has_partial, ...next_ctx}] = transform expr, 'res', {...ctx, partial_ident: prev_res_id}
-      # pipe_all exprs, res_id, next_ctx, [...out, ...res]
-
-      [callee, callee_id, {has_partial: _, partial_ident: _, ...next_ctx}] = transform_with_partial expr, 'pfn', ctx
+      [callee, callee_id, step_ctx] = transform_with_partial expr, 'pfn', ctx
+      {has_partial: _, partial_ident: _, ...next_ctx} = step_ctx
       [call, res_id, end_ctx] = apply_step callee_id, prev_res_id, expr, next_ctx
       pipe_all exprs, res_id, end_ctx, [...out, ...callee, ...call]
 
 
 
-
-
 transform_pipe = fn expr, result, ctx:
   [val, val_id, pipe_ctx] = match expr.args:
     [?]:
@@ -51,7 +47,6 @@ transform_pipe = fn expr, result, ctx:
       [[], false, ctx]
 
   [calls, res_id, next_ctx] = pipe_all expr.exprs, val_id, pipe_ctx
-  # TODO can pipeall not handle it?
   [res, , end_ctx] = let res_id, result, expr, next_ctx
   [[...val, ...calls, ...res], end_ctx]
 

src/ir/conditionals/match.fnk

@@ -199,12 +199,10 @@ match_rec = fn [val_id, val_prereq], expr, gen_true, else_id, ctx, match_expr:
 
   [if_exp, , cn_ctx] = cif is_rec_id, match_id, else_id, , expr, cif_ctx
 
-
   body = list:
     ...val_prereq
-    # TODO: move down like in list?
-    ...props_match
     ...rec_check
+    ...props_match
     ...if_exp
 
   cn [], body, 'match_rec', expr, cn_ctx

src/ir/literals/init.fnk

@@ -7,6 +7,7 @@
 {transform_keyword} = import './keywords.fnk'
 
 
+
 add_literals = fn ctx:
   pipe ctx:
     add 'number', any, transform_number

src/ir/logical/init.fnk

@@ -19,5 +19,4 @@ add_logical = fn ctx:
     add any, 'and', transform_logical
     add any, 'or', transform_logical
     add any, 'not', transform_not
-    # TODO: should this live in iterables?
     add any, 'in', transform_in

src/js/async/init.fnk

@@ -9,7 +9,6 @@ types = import '@babel/types'
 
 
 transform_async = fn path:
-  # TODO: should avoid mutating nodes
   match path:
     isArrowFunctionExpression ?:
       set_props path.node, {async: true}

src/js/context.fnk

@@ -28,8 +28,8 @@ add_runtime_requirement = fn func, {runtime, ...ctx}:
   {...ctx, runtime: {...runtime, (func): true}}
 
 
+# TODO: inlining should be handled at optimization level in ir
 get_js_literal = fn id, ctx:
-  # TODO: inlining should be handled at optimization level in ir
   {js=get_js id, ctx} = get_value id, ctx
   js
 

src/optimize/tail-calls.fnk

@@ -55,7 +55,6 @@ optimize_af = fn [expr, res], exprs, ctx:
 
 
 
-
 optimize_tails = fn [expr=false, ...exprs], ctx, out=[]:
   match expr:
     false: