feat(res-to-affine): #488 partial-port slice 2 — pipe desugaring + if/else + blocks (Refs #488)

[hyperpolymath]

What

Slice 2 of #488 partial-port mode. Extends --partial (built on slice 1, #494) with the three highest-value gaps:

ReScript	AffineScript (--partial)
let piped = x => x->doStuff(1)	fn piped(x: _) -> _ { doStuff(x, 1) }
let chain = x => x->f->g(2)	fn chain(x: _) -> _ { g(f(x), 2) }
let clamp = x => if x > 0 { x } else { 0 }	fn clamp(x: _) -> _ { if x > 0 { x } else { 0 } }
let scaled = x => { let y = x + 1; y * 2 }	fn scaled(x: _) -> _ { let y = x + 1; y * 2 }

• Pipe-first -> desugars: a->f(b) → f(a, b), a->f → f(a). Chains desugar left-to-right for free through the recursion (x->f->g(2) → g(f(x), 2)) — ReScript parses pipes left-nested.
• if/else → AffineScript if c { … } else { … }.
• Blocks with let statements → { let y = …; y * 2 }; a block function body fills the fn { … } directly (no double braces).

walker: translate_pipe / translate_if / translate_as_block / translate_block(_inner) / translate_block_let added to the expression rec group; partial_function unwraps a block body. Array / record / object literals etc. still become () /* TODO */ holes.

Verification (local, apt-bootstrapped toolchain)

Check	Result
full dune build	✅ exit 0
dune runtest tools/res-to-affine/	✅ 30/30 walker (3 new) against pinned grammar 990214a
parse check — main.exe check on the skeleton	✅ parses (resolution/type errors only, no parse error)
doc-truthing + no-extension-ts guards	✅ pass

Next under #488

record/array/object literals, labelled args, combining --partial with --translate, and module-qualified-reference resolution.

Refs #488

https://claude.ai/code/session_017T8SzHr2yXav8hm4Ho76Uw

---

Generated by Claude Code

[github-actions]

🔍 Hypatia Security Scan

Findings: 83 issues detected

Severity	Count
🔴 Critical	2
🟠 High	13
🟡 Medium	68

⚠️ Action Required: Critical security issues found!

View findings

[
  {
    "reason": "Action perpolymath/standards/.github/workflows/governance-reusable.yml@main\n needs attention",
    "type": "unpinned_action",
    "file": "governance.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action ons/checkout@v6\n    needs attention",
    "type": "unpinned_action",
    "file": "publish-jsr.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action land/setup-deno@v2\n    needs attention",
    "type": "unpinned_action",
    "file": "publish-jsr.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in affine-vscode-publish.yml",
    "type": "missing_timeout_minutes",
    "file": "affine-vscode-publish.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in casket-pages.yml",
    "type": "missing_timeout_minutes",
    "file": "casket-pages.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in casket-pages.yml",
    "type": "missing_timeout_minutes",
    "file": "casket-pages.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in ci.yml",
    "type": "missing_timeout_minutes",
    "file": "ci.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in ci.yml",
    "type": "missing_timeout_minutes",
    "file": "ci.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in ci.yml",
    "type": "missing_timeout_minutes",
    "file": "ci.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in ci.yml",
    "type": "missing_timeout_minutes",
    "file": "ci.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence