@algosail/lang 0.2.11 → 0.5.0

package/test/codegen/e2e-prelude-ffi-adt/app/main.sail

@@ -0,0 +1,28 @@
+-- E2E: три .sail, FFI, prelude (num/str/list); Point, rot, list, over/nip, quotation+call. --
++Lib ./lib.sail
++Extra ./extra.sail
++Nums @algosail/prelude/num
++Str @algosail/prelude/str
++Help ( @prefix @numToStr @tagPrefix ) ../ffi/helpers.js
+
+@main ( -> Str )
+  3 4 ~Lib/point
+  ~Lib/sumCoords
+  ( ~Nums/inc )
+  call
+  ( ~Nums/inc )
+  call
+  ~Extra/double
+  ~Lib/rotSum
+  ~Nums/add
+  ~Lib/listMarker
+  ~Nums/add
+  10
+  3
+  ~Lib/secondPlusTop
+  ~Nums/add
+  ~Help/numToStr
+  ~Help/tagPrefix
+  swap
+  ~Str/concat
+  ~Help/prefix

package/test/codegen/e2e-prelude-ffi-adt/artifacts/.gitignore

@@ -0,0 +1,2 @@
+*
+!.gitignore

package/test/codegen/e2e-prelude-ffi-adt/ffi/helpers.js

@@ -0,0 +1,27 @@
+/**
+ * Локальный FFI для e2e: префикс строки и Num → Str.
+ */
+
+/**
+ * @sail
+ * @prefix ( Str -> Str )
+ */
+export function prefix (s) {
+  return `v:${s}`
+}
+
+/**
+ * @sail
+ * @numToStr ( Num -> Str )
+ */
+export function numToStr (n) {
+  return String(n)
+}
+
+/**
+ * @sail
+ * @tagPrefix ( -> Str )
+ */
+export function tagPrefix () {
+  return 'n='
+}

package/test/codegen/e2e-prelude-ffi-adt.test.js

@@ -0,0 +1,100 @@
+/**
+ * E2E: три .sail, локальный FFI, prelude num/str/list; Point, rot, list, swap/over/nip/dup,
+ * quotation+call (эмиттер может сжать в Nums.inc), второй sail-модуль + extra.sail.
+ */
+import test from 'brittle'
+import fs from 'node:fs'
+import path from 'node:path'
+import { fileURLToPath } from 'node:url'
+import { pathToFileURL } from 'node:url'
+import {
+  compileSailToOutDir,
+  createReadFileUtf8,
+  createResolvePackage
+} from '../../index.js'
+
+const __dirname = path.dirname(fileURLToPath(import.meta.url))
+/** Корень монорепозитория `sail/` (родитель `lang/`). */
+const monorepoRoot = path.resolve(__dirname, '..', '..', '..')
+const fixtureRoot = path.join(__dirname, 'e2e-prelude-ffi-adt')
+const entryPath = path.join(fixtureRoot, 'app', 'main.sail')
+const artifactsDir = path.join(fixtureRoot, 'artifacts')
+
+test('e2e: prelude + FFI + ADT — compile в artifacts/ и исполнение main()', async function (t) {
+  fs.rmSync(artifactsDir, { recursive: true, force: true })
+  fs.mkdirSync(artifactsDir, { recursive: true })
+  fs.writeFileSync(
+    path.join(artifactsDir, '.gitignore'),
+    '*\n!.gitignore\n',
+    'utf8'
+  )
+
+  const readFile = createReadFileUtf8()
+  const resolvePackage = createResolvePackage({ projectRoot: monorepoRoot })
+
+  const r = await compileSailToOutDir({
+    entryPath,
+    outDir: artifactsDir,
+    sourceRoot: monorepoRoot,
+    readFile,
+    resolvePackage
+  })
+  t.ok(r.ok === true, r.ok === false ? JSON.stringify(r.diagnostics) : 'compile ok')
+  if (!r.ok || !Array.isArray(r.emitted)) {
+    t.end()
+    return
+  }
+
+  t.ok(r.emitted.length >= 4, 'main + lib + extra + проектный FFI')
+
+  const norm = (p) => p.replace(/\\/g, '/')
+  const mainJs = r.emitted.find((p) => norm(p).endsWith('e2e-prelude-ffi-adt/app/main.js'))
+  const libJs = r.emitted.find((p) => norm(p).endsWith('e2e-prelude-ffi-adt/app/lib.js'))
+  const extraJs = r.emitted.find((p) => norm(p).endsWith('e2e-prelude-ffi-adt/app/extra.js'))
+  t.ok(mainJs != null && fs.existsSync(mainJs), 'main.js в emitted')
+  t.ok(libJs != null && fs.existsSync(libJs), 'lib.js в emitted')
+  t.ok(extraJs != null && fs.existsSync(extraJs), 'extra.js в emitted')
+
+  const mainSrc = fs.readFileSync(/** @type {string} */ (mainJs), 'utf8')
+  t.ok(mainSrc.includes('__adt_Lib__point'), 'product ADT → конструктор')
+  t.ok(
+    /import\s+\*\s+as\s+Nums\s+from\s+['"]@algosail\/prelude\/num['"]/.test(mainSrc),
+    'prelude num — npm-спецификатор'
+  )
+  t.ok(
+    /import\s+\*\s+as\s+Str\s+from\s+['"]@algosail\/prelude\/str['"]/.test(mainSrc),
+    'prelude str'
+  )
+  t.ok(
+    !r.emitted.some((p) => norm(p).includes('/prelude/lib/')),
+    'пакет @algosail/prelude не копируется в out-dir'
+  )
+  t.ok(mainSrc.includes('Nums.inc'), 'quotation/call → inc (или цепочка inc)')
+  t.ok(mainSrc.includes('Lib.sumCoords'), 'импорт второго sail-модуля')
+  t.ok(mainSrc.includes('Extra.double'), 'третий модуль extra.sail')
+  t.ok(mainSrc.includes('Lib.rotSum'), 'rot + add в lib')
+  t.ok(mainSrc.includes('Lib.listMarker'), 'listMarker в lib (внутри — prelude list)')
+  t.ok(mainSrc.includes('Lib.secondPlusTop'), 'swap/over/add/nip')
+
+  const libSrc = fs.readFileSync(/** @type {string} */ (libJs), 'utf8')
+  t.ok(libSrc.includes('Nums.add'), 'геттеры Point + add')
+  t.ok(
+    /import\s+\*\s+as\s+Lists\s+from\s+['"]@algosail\/prelude\/list['"]/.test(libSrc),
+    'lib: npm @algosail/prelude/list'
+  )
+  t.ok(
+    /Lists\.(listOfOne|listLength)/.test(libSrc),
+    'lib: listOfOne / listLength'
+  )
+
+  const extraSrc = fs.readFileSync(/** @type {string} */ (extraJs), 'utf8')
+  t.ok(extraSrc.includes('Nums.add'), 'extra: dup → add (double)')
+
+  const mod = await import(pathToFileURL(/** @type {string} */ (mainJs)).href)
+  t.is(
+    mod.main(),
+    'v:n=41',
+    'цепочка: point+sum=7, +2 inc=9, double=18, +rotSum=27, +list=28, +secondPlusTop(10,3)=41'
+  )
+  t.end()
+})

package/test/codegen/emit-adt-stage6.test.js

@@ -0,0 +1,168 @@
+/**
+ * L5 этап 6: ADT autogen, list literal, слоты (RFC-0.1 §7–8, RFC-compile §8).
+ */
+import test from 'brittle'
+import path from 'node:path'
+import { typecheckSail } from '../../index.js'
+import {
+  emitModuleEsmSource,
+  resolveCompileLayout
+} from '../../lib/codegen/index.js'
+
+const root = path.resolve('/virtual/sail-codegen-adt6')
+
+function vfs (files) {
+  const norm = Object.fromEntries(
+    Object.entries(files).map(([k, v]) => [path.normalize(k), v])
+  )
+  return (p) => norm[path.normalize(p)] ?? null
+}
+
+test('stage6: Maybe — локальный autogen, maybe без export, вызов w', function (t) {
+  const sourceRoot = path.join(root, 'maybe')
+  const main = path.join(sourceRoot, 'main.sail')
+  const src = [
+    '&Maybe a',
+    '| Nothing',
+    '| Just a',
+    '',
+    '@nothingQuot ( -> q:( ~s -> ~s ) )',
+    '  ( )',
+    '',
+    '@justQuot ( -> q:( ~s a -> ~s ) )',
+    '  ( drop )',
+    '',
+    '@w ( ~s (Maybe a) -> ~s )',
+    '  /nothingQuot',
+    '  /justQuot',
+    '  /maybe',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const layout = resolveCompileLayout({
+    entryPath: main,
+    outDir: path.join(sourceRoot, '_out'),
+    sourceRoot
+  })
+  const g = emitModuleEsmSource({ env: r.env, modulePath: main, layout })
+  t.ok(g.ok, g.ok === false ? g.diagnostics?.[0]?.message : '')
+  const s = g.source
+  t.ok(/\bfunction maybe\s*\(/.test(s), 'локальная function maybe')
+  t.ok(!/\bexport function maybe\b/.test(s), 'maybe не экспортируется')
+  t.ok(/\bexport function w\b/.test(s), 'w экспортируется')
+  t.ok(/maybe\(p0, p1,/.test(s), 'maybe с префиксом стека s + дискриминант')
+  t.end()
+})
+
+test('stage6: только /just — в файле нет function maybe', function (t) {
+  const sourceRoot = path.join(root, 'just-only')
+  const main = path.join(sourceRoot, 'main.sail')
+  const src = [
+    '&Maybe a',
+    '| Nothing',
+    '| Just a',
+    '',
+    '@main ( Num -> (Maybe a) )',
+    '  /just',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const layout = resolveCompileLayout({
+    entryPath: main,
+    outDir: path.join(sourceRoot, '_out'),
+    sourceRoot
+  })
+  const g = emitModuleEsmSource({ env: r.env, modulePath: main, layout })
+  t.ok(g.ok)
+  t.ok(/\bfunction just\b/.test(g.source), 'just autogen')
+  t.ok(!/\bfunction maybe\b/.test(g.source), 'неиспользуемый maybe не эмитится')
+  t.ok(!/\bexport function just\b/.test(g.source), 'just не export')
+  t.end()
+})
+
+test('stage6: Point — point, withPoint, геттер', function (t) {
+  const sourceRoot = path.join(root, 'point')
+  const main = path.join(sourceRoot, 'main.sail')
+  const src = [
+    '&Point',
+    ':x Num',
+    ':y Num',
+    '',
+    '@mk ( -> Point )',
+    '  1 2 /point',
+    '',
+    '@q ( -> q:( ~s Num Num -> ~s ) )',
+    '  ( nip drop )',
+    '',
+    '@w ( Point -> )',
+    '  /q',
+    '  /withPoint',
+    '',
+    '@getx ( Point -> Num )',
+    '  /xPoint',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const layout = resolveCompileLayout({
+    entryPath: main,
+    outDir: path.join(sourceRoot, '_out'),
+    sourceRoot
+  })
+  const g = emitModuleEsmSource({ env: r.env, modulePath: main, layout })
+  t.ok(g.ok, g.ok === false ? g.diagnostics?.[0]?.message : '')
+  const s = g.source
+  t.ok(/\bfunction point\s*\(/.test(s), 'point')
+  t.ok(/\bfunction withPoint\s*\(/.test(s), 'withPoint')
+  t.ok(/\bfunction xPoint\s*\(/.test(s), 'xPoint')
+  t.ok(!/\bexport function point\b/.test(s), 'point не export')
+  t.ok(/return \{ "x": p\d+, "y": p\d+ \}/.test(s), 'product ctor — plain object')
+  t.end()
+})
+
+test('stage6: list literal → JS массив', function (t) {
+  const sourceRoot = path.join(root, 'listlit')
+  const main = path.join(sourceRoot, 'main.sail')
+  const src = ['@f ( -> (List Num) )', '  [ 1 2 3 ]', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const layout = resolveCompileLayout({
+    entryPath: main,
+    outDir: path.join(sourceRoot, '_out'),
+    sourceRoot
+  })
+  const g = emitModuleEsmSource({ env: r.env, modulePath: main, layout })
+  t.ok(g.ok)
+  t.ok(/\[1, 2, 3\]/.test(g.source), 'литерал списка')
+  t.end()
+})
+
+test('stage6: квалифицированный autogen ~Lib/just — локальная __adt_*', function (t) {
+  const sourceRoot = path.join(root, 'qual')
+  const main = path.join(sourceRoot, 'main.sail')
+  const lib = path.join(sourceRoot, 'lib.sail')
+  const files = {
+    [lib]: ['&Maybe a', '| Nothing', '| Just a', ''].join('\n'),
+    [main]: [
+      '+Lib ( &Maybe ) ./lib.sail',
+      '',
+      '@main ( -> (Maybe Num) )',
+      '  42 ~Lib/just',
+      ''
+    ].join('\n')
+  }
+  const r = typecheckSail({ entryPath: main, readFile: vfs(files) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const layout = resolveCompileLayout({
+    entryPath: main,
+    outDir: path.join(sourceRoot, '_out'),
+    sourceRoot
+  })
+  const g = emitModuleEsmSource({ env: r.env, modulePath: main, layout })
+  t.ok(g.ok, g.ok === false ? g.diagnostics?.[0]?.message : '')
+  t.ok(/function __adt_Lib__just/.test(g.source), 'mangled qualified just')
+  t.ok(g.source.includes('import * as Lib'), 'импорт Lib для резолва')
+  t.end()
+})

package/test/codegen/emit-async-stage5.test.js

@@ -0,0 +1,164 @@
+/**
+ * L5 этап 5: +Async / await (RFC-compile §10; IR вариант B для `-Async`, await по сигнатуре callee).
+ */
+import test from 'brittle'
+import fs from 'node:fs'
+import os from 'node:os'
+import path from 'node:path'
+import { pathToFileURL } from 'node:url'
+import { typecheckSail } from '../../index.js'
+import {
+  compileSailToOutDir,
+  emitModuleEsmSource,
+  resolveCompileLayout
+} from '../../lib/codegen/index.js'
+import { irStepsCallsPropagatingAsyncCallee } from '../../lib/codegen/emit-body.js'
+import { createCalleeAsyncResolverForModule } from '../../lib/codegen/emit-module.js'
+import { buildModuleIr } from '../../lib/ir/index.js'
+
+const root = path.resolve('/virtual/sail-codegen-async5')
+
+function vfs (files) {
+  const norm = Object.fromEntries(
+    Object.entries(files).map(([k, v]) => [path.normalize(k), v])
+  )
+  return (p) => norm[path.normalize(p)] ?? null
+}
+
+test('irStepsCallsPropagatingAsyncCallee: обход call/quotation по сигнатурам (вариант B)', function (t) {
+  const main = path.join(root, 'scan.sail')
+  const src = [
+    '@asyncCallee ( -> +Async )',
+    '',
+    '@good ( -> +Async )',
+    '  ( /asyncCallee )',
+    '  call',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const norm = path.normalize(main)
+  const payload = buildModuleIr(r.env, norm, {
+    moduleStatus: 'ok',
+    valueBindings: true
+  })
+  const good = payload.words.find((w) => w.name === 'good')
+  t.ok(good && Array.isArray(good.irSteps))
+  const resolver = createCalleeAsyncResolverForModule(r.env, norm, payload)
+  t.ok(
+    irStepsCallsPropagatingAsyncCallee(good.irSteps, resolver),
+    'по сигнатуре asyncCallee внутри call'
+  )
+  t.end()
+})
+
+test('emit stage5: caller — async function и await asyncCallee', function (t) {
+  const main = path.join(root, 'caller.sail')
+  const src = [
+    '@asyncCallee ( -> +Async )',
+    '',
+    '@caller ( -> +Async )',
+    '  /asyncCallee',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const layout = resolveCompileLayout({
+    entryPath: main,
+    outDir: path.join(root, '_out'),
+    sourceRoot: root
+  })
+  const gen = emitModuleEsmSource({ env: r.env, modulePath: main, layout })
+  t.ok(gen.ok, gen.ok === false ? gen.diagnostics?.[0]?.message : '')
+  t.ok(
+    /\bexport async function caller\s*\(/.test(gen.source),
+    'caller: export async function'
+  )
+  t.ok(
+    /await\s+asyncCallee\s*\(/.test(gen.source),
+    'тело caller: await asyncCallee('
+  )
+  t.end()
+})
+
+test('emit stage5: good — quotation+call, await внутри async function good', function (t) {
+  const main = path.join(root, 'good.sail')
+  const src = [
+    '@asyncCallee ( -> +Async )',
+    '',
+    '@good ( -> +Async )',
+    '  ( /asyncCallee )',
+    '  call',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const layout = resolveCompileLayout({
+    entryPath: main,
+    outDir: path.join(root, '_out'),
+    sourceRoot: root
+  })
+  const gen = emitModuleEsmSource({ env: r.env, modulePath: main, layout })
+  t.ok(gen.ok, gen.ok === false ? gen.diagnostics?.[0]?.message : '')
+  t.ok(/\bexport async function good\s*\(/.test(gen.source), 'good: async')
+  t.ok(/await\s+asyncCallee\s*\(/.test(gen.source), 'инлайн тело: await asyncCallee')
+  t.end()
+})
+
+test('emit stage5: wrap (-Async) — async + await по сигнатуре callee (§10.5, вариант B)', function (t) {
+  const main = path.join(root, 'wrap.sail')
+  const src = [
+    '@asyncCallee ( -> +Async )',
+    '',
+    '@wrap ( -> -Async )',
+    '  /asyncCallee',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const layout = resolveCompileLayout({
+    entryPath: main,
+    outDir: path.join(root, '_out'),
+    sourceRoot: root
+  })
+  const gen = emitModuleEsmSource({ env: r.env, modulePath: main, layout })
+  t.ok(gen.ok, gen.ok === false ? gen.diagnostics?.[0]?.message : '')
+  t.ok(/\bexport async function wrap\s*\(/.test(gen.source), 'wrap: async')
+  t.ok(/await\s+asyncCallee\s*\(/.test(gen.source), 'await asyncCallee')
+  t.end()
+})
+
+test('compile stage5: сгенерированный ESM парсится и asyncCaller завершает Promise', async function (t) {
+  const main = path.join(root, 'chain.sail')
+  const src = [
+    '@asyncCallee ( -> +Async Num )',
+    '',
+    '  7',
+    '',
+    '@caller ( -> +Async Num )',
+    '',
+    '  /asyncCallee',
+    ''
+  ].join('\n')
+  const outDir = fs.mkdtempSync(path.join(os.tmpdir(), 'sail-cg-async5-'))
+  const layout = resolveCompileLayout({
+    entryPath: main,
+    outDir,
+    sourceRoot: root
+  })
+  const r = await compileSailToOutDir({
+    entryPath: main,
+    outDir,
+    readFile: vfs({ [main]: src }),
+    layout
+  })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const jsPath = path.join(outDir, 'chain.js')
+  t.ok(fs.existsSync(jsPath))
+  const mod = await import(pathToFileURL(jsPath).href)
+  t.is(typeof mod.caller, 'function')
+  const val = await mod.caller()
+  t.is(val, 7)
+  fs.rmSync(outDir, { recursive: true, force: true })
+  t.end()
+})

package/test/codegen/emit-body-stage2.test.js

@@ -0,0 +1,139 @@
+/**
+ * L5 этап 2: quotation, `call`, значения Quote (RFC-compile §6.3).
+ */
+import test from 'brittle'
+import path from 'node:path'
+import { typecheckSail } from '../../index.js'
+import { buildModuleIr } from '../../lib/ir/index.js'
+import { emitWordBodyIr } from '../../lib/codegen/emit-body.js'
+
+const root = path.resolve('/virtual/sail-codegen-stage2')
+function vfs (files) {
+  const norm = Object.fromEntries(
+    Object.entries(files).map(([k, v]) => [path.normalize(k), v])
+  )
+  return (p) => norm[path.normalize(p)] ?? null
+}
+
+test('emit-body stage2: ( 1 ) call — инлайн, без const qN до вызова', function (t) {
+  const main = path.join(root, 'call-num.sail')
+  const src = ['@w ( -> Num )', '', '  ( 1 )', '', '  call', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const norm = path.normalize(main)
+  const payload = buildModuleIr(r.env, norm, {
+    moduleStatus: 'ok',
+    valueBindings: true
+  })
+  const w = payload.words.find((x) => x.name === 'w')
+  const { source } = emitWordBodyIr(w.irSteps, {
+    normalizedSig: w.normalizedSig,
+    wordName: 'w',
+    strict: true,
+    entryStackIds: w.entryStackIds
+  })
+  // Эвристика этапа 2: литеральная quotation не оборачивается в функцию до call
+  t.ok(
+    !/\bconst\s+q\d+\s*=/.test(source),
+    'не должно быть const qN = (отложенная эмиссия + инлайн при call)'
+  )
+  t.ok(/const v\d+ = 1/.test(source), 'литерал 1 внутри инлайна')
+  t.ok(/\breturn\s+v\d+/.test(source), 'return одного значения')
+  t.end()
+})
+
+test('emit-body stage2: передача Quote в локальное слово — const qN в точке вызова', function (t) {
+  const main = path.join(root, 'hof.sail')
+  const src = [
+    '@apply0 ( q:( -> Num ) -> Num )',
+    '',
+    '  call',
+    '',
+    '@main ( -> Num )',
+    '',
+    '  ( 7 )',
+    '',
+    '  /apply0',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const norm = path.normalize(main)
+  const payload = buildModuleIr(r.env, norm, {
+    moduleStatus: 'ok',
+    valueBindings: true
+  })
+  const mainWord = payload.words.find((x) => x.name === 'main')
+  const { source } = emitWordBodyIr(mainWord.irSteps, {
+    normalizedSig: mainWord.normalizedSig,
+    wordName: 'main',
+    strict: true,
+    entryStackIds: mainWord.entryStackIds
+  })
+  t.ok(/\bconst\s+q\d+\s*=/.test(source), 'именованная функция-quotation const qN')
+  t.ok(/apply0\s*\(\s*q\d+\s*\)/.test(source), 'вызов apply0(qN)')
+  t.end()
+})
+
+test('emit-body stage2: исполнение ( 1 ) call через new Function', function (t) {
+  const main = path.join(root, 'exec-call.sail')
+  const src = ['@w ( -> Num )', '', '  ( 1 )', '', '  call', ''].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const norm = path.normalize(main)
+  const payload = buildModuleIr(r.env, norm, {
+    moduleStatus: 'ok',
+    valueBindings: true
+  })
+  const w = payload.words.find((x) => x.name === 'w')
+  const { source } = emitWordBodyIr(w.irSteps, {
+    normalizedSig: w.normalizedSig,
+    wordName: 'w',
+    strict: true,
+    entryStackIds: w.entryStackIds
+  })
+  const fn = new Function(`${source}`)
+  t.is(fn(), 1)
+  t.end()
+})
+
+test('emit-body stage2: исполнение main с apply0 и qN', function (t) {
+  const main = path.join(root, 'exec-hof.sail')
+  const src = [
+    '@apply0 ( q:( -> Num ) -> Num )',
+    '',
+    '  call',
+    '',
+    '@main ( -> Num )',
+    '',
+    '  ( 7 )',
+    '',
+    '  /apply0',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics?.map((d) => d.message).join('; '))
+  const norm = path.normalize(main)
+  const payload = buildModuleIr(r.env, norm, {
+    moduleStatus: 'ok',
+    valueBindings: true
+  })
+  const apply0w = payload.words.find((x) => x.name === 'apply0')
+  const mainWord = payload.words.find((x) => x.name === 'main')
+  const bodyApply0 = emitWordBodyIr(apply0w.irSteps, {
+    normalizedSig: apply0w.normalizedSig,
+    wordName: 'apply0',
+    strict: true,
+    entryStackIds: apply0w.entryStackIds
+  }).source
+  const bodyMain = emitWordBodyIr(mainWord.irSteps, {
+    normalizedSig: mainWord.normalizedSig,
+    wordName: 'main',
+    strict: true,
+    entryStackIds: mainWord.entryStackIds
+  }).source
+  const wrapped = `function apply0(q){${bodyApply0}}\nfunction main(){${bodyMain}}\nreturn main();`
+  const fn = new Function(wrapped)
+  t.is(fn(), 7)
+  t.end()
+})