@algosail/lang 0.2.12 → 0.5.0

package/test/conformance/conformance-ir-l4.test.js

@@ -0,0 +1,38 @@
+/**
+ * L4 фаза 7: эталонные accept-кейсы (L2/L3) → сериализованный IR (RFC-conformance §5, RFC-IR §8).
+ * Не гоняет L5 codegen; только typecheck + buildSerializedIrDocumentFromEnv.
+ */
+import test from 'brittle'
+import { typecheckSail } from '../../index.js'
+import { buildSerializedIrDocumentFromEnv } from '../../lib/ir/index.js'
+import {
+  absoluteConformanceEntryPath,
+  filterCasesForL3TypecheckRunner,
+  loadConformanceSuite,
+  typecheckConformanceCase
+} from './conformance-runner.js'
+import { assertSerializedIrDocumentOk } from '../ir/ir-document-assert.js'
+
+const suite = loadConformanceSuite()
+
+const acceptL2L3 = filterCasesForL3TypecheckRunner(suite.cases).filter(
+  (c) => c.expect === 'accept'
+)
+
+for (const c of acceptL2L3) {
+  test(`conformance IR L4 smoke: ${c.id}`, function (t) {
+    const r = typecheckConformanceCase(c, typecheckSail)
+    t.ok(r.ok === true, `typecheck accept: ${c.id}`)
+    const entryPath = absoluteConformanceEntryPath(c)
+    const doc = buildSerializedIrDocumentFromEnv(r.env, entryPath, {
+      moduleStatus: 'ok'
+    })
+    assertSerializedIrDocumentOk(t, doc, {
+      expectedModulePath: entryPath,
+      expectMetaStatus: 'ok',
+      requireNonEmptyWords: true,
+      requireResolvedImportsWhenPresent: c.id === 'accept-cross-module-word'
+    })
+    t.end()
+  })
+}

package/test/conformance/conformance-l5-codegen.test.js

@@ -0,0 +1,111 @@
+/**
+ * Эталонный набор conformance: L5 codegen по `suite.json` (RFC-conformance §5–§7).
+ * Кейсы: `expect === 'accept'` и `requireJs === true`; опционально `requireIr` + `expectIrSchema`.
+ */
+import test from 'brittle'
+import fs from 'node:fs'
+import os from 'node:os'
+import path from 'node:path'
+import { typecheckSail } from '../../index.js'
+import { compileSailToOutDir } from '../../lib/codegen/index.js'
+import { sailModuleToOutputJsPath } from '../../lib/codegen/out-layout.js'
+import { buildSerializedIrDocumentFromEnv } from '../../lib/ir/index.js'
+import { assertSerializedIrDocumentOk } from '../ir/ir-document-assert.js'
+import {
+  EXPECTED_CONFORMANCE_SUITE_VERSION,
+  absoluteConformanceEntryPath,
+  assertConformanceTypecheckOutcome,
+  buildConformanceReadFile,
+  conformanceRoot,
+  filterCasesForL5CodegenRunner,
+  loadConformanceSuite,
+  typecheckConformanceCase
+} from './conformance-runner.js'
+
+const suite = loadConformanceSuite()
+
+test('conformance L5: conformanceSuiteVersion совпадает с ожиданием раннера', function (t) {
+  t.is(
+    suite.conformanceSuiteVersion,
+    EXPECTED_CONFORMANCE_SUITE_VERSION,
+    'обновите EXPECTED_CONFORMANCE_SUITE_VERSION в conformance-runner.js при bump suite.json (RFC-conformance §7)'
+  )
+  t.end()
+})
+
+const l5CodegenCases = filterCasesForL5CodegenRunner(suite.cases)
+
+for (const c of l5CodegenCases) {
+  test(`conformance L5 codegen: ${c.id}`, async function (t) {
+    const baseDir = conformanceRoot()
+    const readFile = buildConformanceReadFile(c, baseDir)
+    const entryPath = absoluteConformanceEntryPath(c, baseDir)
+    const sourceRoot = baseDir
+
+    const tc = typecheckConformanceCase(c, typecheckSail, baseDir)
+    assertConformanceTypecheckOutcome(t, c, tc)
+
+    if (c.requireIr === true) {
+      const doc = buildSerializedIrDocumentFromEnv(tc.env, entryPath, {
+        moduleStatus: 'ok'
+      })
+      if (c.expectIrSchema != null) {
+        t.is(
+          /** @type {{ irSchemaVersion?: string }} */ (doc).irSchemaVersion,
+          c.expectIrSchema,
+          'expectIrSchema из suite.json'
+        )
+      }
+      assertSerializedIrDocumentOk(t, doc, {
+        expectedModulePath: entryPath,
+        expectMetaStatus: 'ok',
+        requireNonEmptyWords: true,
+        requireResolvedImportsWhenPresent:
+          c.id === 'accept-l5-cross-module-codegen'
+      })
+    }
+
+    const outDir = fs.mkdtempSync(path.join(os.tmpdir(), 'sail-l5-conf-'))
+    try {
+      const r = await compileSailToOutDir({
+        entryPath,
+        outDir,
+        sourceRoot,
+        readFile
+      })
+      t.ok(r.ok === true, `compileSailToOutDir ok: ${JSON.stringify(r.diagnostics)}`)
+      t.ok(
+        r.ok === true && Array.isArray(r.emitted) && r.emitted.length > 0,
+        'emitted — непустой список путей'
+      )
+      if (!r.ok || !Array.isArray(r.emitted)) {
+        t.end()
+        return
+      }
+      for (const p of r.emitted) {
+        t.ok(fs.existsSync(p), `файл существует: ${p}`)
+        const st = fs.statSync(p)
+        t.ok(st.isFile() && st.size > 0, `непустой файл: ${p}`)
+        const text = fs.readFileSync(p, 'utf8')
+        t.ok(text.includes('export function'), 'эвристика ESM: export function')
+        t.ok(!/\bimport\s*\(\s*\)/.test(text), 'без динамического import() для sail-графа')
+      }
+
+      if (c.id === 'accept-l5-cross-module-codegen') {
+        const layout = { sourceRoot, outDir, entryPath }
+        const mainJs = sailModuleToOutputJsPath(layout, entryPath)
+        t.ok(mainJs.ok, 'путь JS для entry')
+        const mainPath = mainJs.path
+        t.ok(r.emitted.includes(mainPath), 'entry .js в emitted')
+        const mainText = fs.readFileSync(mainPath, 'utf8')
+        t.ok(
+          /\bimport\s+/.test(mainText) && /\bfrom\s+['"]/.test(mainText),
+          'статический import (RFC-compile §9)'
+        )
+      }
+    } finally {
+      fs.rmSync(outDir, { recursive: true, force: true })
+    }
+    t.end()
+  })
+}

package/test/conformance/conformance-runner.js

@@ -0,0 +1,91 @@
+/**
+ * Раннер эталонного набора conformance для `typecheckSail` (RFC-conformance-0.1 §5, §7).
+ * Читает `conformance/suite.json` от корня репозитория; VFS из `entry` и `contextFiles`.
+ */
+import { readFileSync } from 'node:fs'
+import { fileURLToPath } from 'node:url'
+import path from 'node:path'
+
+const __dirname = path.dirname(fileURLToPath(import.meta.url))
+
+/** Ожидаемая версия набора; при bump в conformance/suite.json обновить здесь (RFC-conformance §7). */
+export const EXPECTED_CONFORMANCE_SUITE_VERSION = '0.1.7'
+
+export function repoRootFromConformanceTest () {
+  return path.normalize(path.join(__dirname, '..', '..', '..'))
+}
+
+export function conformanceRoot () {
+  return path.join(repoRootFromConformanceTest(), 'conformance')
+}
+
+export function loadConformanceSuite () {
+  const root = conformanceRoot()
+  const p = path.join(root, 'suite.json')
+  const text = readFileSync(p, 'utf8')
+  return JSON.parse(text)
+}
+
+/** Кейсы, для которых достаточно resolve + typecheck (без L5 JS/IR). */
+export function filterCasesForL3TypecheckRunner (cases) {
+  return cases.filter((c) => c.minLevel === 'L2' || c.minLevel === 'L3')
+}
+
+/** Accept-кейсы с L5 codegen: `requireJs` в манифесте (RFC-conformance §5). */
+export function filterCasesForL5CodegenRunner (cases) {
+  return cases.filter((c) => c.expect === 'accept' && c.requireJs === true)
+}
+
+export function absoluteConformanceEntryPath (caseEntry, baseDir = conformanceRoot()) {
+  return path.normalize(path.join(baseDir, caseEntry.entry))
+}
+
+/**
+ * readFile для typecheckSail: ключи — нормализованные абсолютные пути.
+ * @param {object} caseEntry — элемент `cases` из suite.json
+ * @param {string} [baseDir] — корень каталога conformance (диск)
+ */
+export function buildConformanceReadFile (caseEntry, baseDir = conformanceRoot()) {
+  const rels = caseEntry.contextFiles ?? [caseEntry.entry]
+  const map = new Map()
+  for (const rel of rels) {
+    const abs = path.normalize(path.join(baseDir, rel))
+    const text = readFileSync(abs, 'utf8')
+    map.set(abs, text)
+  }
+  return (p) => map.get(path.normalize(p)) ?? null
+}
+
+/**
+ * @param {object} caseEntry
+ * @param {(opts: object) => { ok: boolean, diagnostics?: object[] }} typecheckSail
+ */
+export function typecheckConformanceCase (caseEntry, typecheckSail, baseDir = conformanceRoot()) {
+  const entryPath = absoluteConformanceEntryPath(caseEntry, baseDir)
+  const readFile = buildConformanceReadFile(caseEntry, baseDir)
+  return typecheckSail({ entryPath, readFile })
+}
+
+export function diagnosticCodes (diagnostics) {
+  return (diagnostics ?? []).map((d) => d.code)
+}
+
+/**
+ * @param {*} t — экземпляр brittle test
+ * @param {object} caseEntry
+ * @param {{ ok: boolean, diagnostics?: object[] }} result
+ */
+export function assertConformanceTypecheckOutcome (t, caseEntry, result) {
+  if (caseEntry.expect === 'accept') {
+    t.ok(result.ok === true, `expected accept, got diagnostics: ${JSON.stringify(result.diagnostics)}`)
+    return
+  }
+  t.ok(result.ok === false, 'expected reject')
+  const allowed = caseEntry.codes ?? (caseEntry.code != null ? [caseEntry.code] : [])
+  const got = diagnosticCodes(result.diagnostics)
+  const hit = allowed.some((code) => got.includes(code))
+  t.ok(
+    hit,
+    `expected a diagnostic with one of [${allowed.join(', ')}], got [${got.join(', ')}]`
+  )
+}

package/test/conformance/conformance-suite-l3.test.js

@@ -0,0 +1,32 @@
+/**
+ * Эталонный набор conformance: кейсы с minLevel L2/L3 через typecheckSail.
+ * L0/L1/L5 и кейсы с requireJs/requireIr здесь не гоняются (L5 codegen — отдельный этап toolchain).
+ */
+import test from 'brittle'
+import { typecheckSail } from '../../index.js'
+import {
+  EXPECTED_CONFORMANCE_SUITE_VERSION,
+  assertConformanceTypecheckOutcome,
+  filterCasesForL3TypecheckRunner,
+  loadConformanceSuite,
+  typecheckConformanceCase
+} from './conformance-runner.js'
+
+const suite = loadConformanceSuite()
+
+test('conformance: conformanceSuiteVersion совпадает с ожиданием раннера', function (t) {
+  t.is(
+    suite.conformanceSuiteVersion,
+    EXPECTED_CONFORMANCE_SUITE_VERSION,
+    'обновите EXPECTED_CONFORMANCE_SUITE_VERSION в conformance-runner.js при bump suite.json (RFC-conformance §7)'
+  )
+  t.end()
+})
+
+for (const c of filterCasesForL3TypecheckRunner(suite.cases)) {
+  test(`conformance L2/L3 typecheck: ${c.id}`, function (t) {
+    const r = typecheckConformanceCase(c, typecheckSail)
+    assertConformanceTypecheckOutcome(t, c, r)
+    t.end()
+  })
+}

package/test/ffi/prelude-jsdoc.test.js

@@ -0,0 +1,49 @@
+/**
+ * FFI: извлечение @sail из prelude (реальные JS-модули) и разбор фрагментов parseSource.
+ */
+import test from 'brittle'
+import { readFileSync } from 'fs'
+import path from 'path'
+import { fileURLToPath } from 'url'
+import { parseSource } from '../../index.js'
+import { extractSailFragmentsFromJs } from '../../lib/ffi/extract-jsdoc-sail.js'
+
+const __dirname = path.dirname(fileURLToPath(import.meta.url))
+const repoRoot = path.join(__dirname, '..', '..', '..')
+const preludeLib = path.join(repoRoot, 'prelude', 'lib')
+
+function readPrelude (name) {
+  return readFileSync(path.join(preludeLib, name), 'utf8')
+}
+
+test('extract-jsdoc-sail: prelude/lib/num.js — по одному @sail на слово (RFC-0.1 §10.1)', function (t) {
+  const src = readPrelude('num.js')
+  const frags = extractSailFragmentsFromJs(src)
+  t.is(frags.length, 3, 'отдельный JSDoc с @sail у каждого export')
+  const names = []
+  for (const frag of frags) {
+    const r = parseSource(frag)
+    t.ok(r.ok, r.diagnostics.map(d => d.message).join('; '))
+    t.is(r.ast?.kind, 'source_file')
+    t.is(r.ast?.items?.length, 1, 'в блоке ровно одно объявление слова')
+    const w = r.ast.items[0]
+    t.ok(Array.isArray(w.doc) && w.doc.length === 1, `${w.name}: Sail doc_block в @sail`)
+    names.push(w.name)
+  }
+  t.alike(names.sort(), ['add', 'inc', 'mul'])
+  t.end()
+})
+
+test('extract-jsdoc-sail: все подмодули prelude парсятся без ошибок', function (t) {
+  for (const file of ['num.js', 'list.js', 'str.js', 'bool.js', 'dict.js', 'map.js']) {
+    const src = readPrelude(file)
+    const frags = extractSailFragmentsFromJs(src)
+    t.ok(frags.length >= 1, `${file}: ожидался хотя бы один @sail-блок`)
+    for (const frag of frags) {
+      const r = parseSource(frag)
+      t.ok(r.ok, `${file}: ${r.diagnostics.map(d => d.code + ' ' + d.message).join('; ')}`)
+      t.is(r.ast?.items?.length, 1, `${file}: один @sail — одно слово (§10.1)`)
+    }
+  }
+  t.end()
+})