@algosail/lang 0.2.11 → 0.5.0

package/test/names/l2-resolve-declaration-and-bracket-errors.test.js

@@ -0,0 +1,276 @@
+/**
+ * L2: декларации и скобочный импорт — E1101–E1106, E1108–E1111, E1113, E1204; E1110 тип в скобках.
+ *
+ * Матрица (остальные коды — в соседних файлах):
+ * - E1101–E1106, E1108–E1111, E1113 — этот файл
+ * - E1204: ~Lib/ghost (module_word_ref); ~Lib/Ghost в сигнатуре (module_type_ref)
+ * - E1109: скобки @hello vs локальный @hello; скобочный &T vs локальный &T; autogen от &V vs локальный &U
+ * - E1110 (@word в скобках) — l2-resolve-bracket-ffi.test.js; E1110 (&Type) — ниже
+ * - E1112, E1202 — l2-resolve-graph.test.js
+ * - E1201, E1203, E1205 — l2-resolve-single-file.test.js, l2-resolve-bracket-ffi.test.js
+ * - E1206 — l2-resolve-single-file.test.js (неизвестный builtin)
+ */
+import test from 'brittle'
+import path from 'node:path'
+import { resolveSailNames } from '../../lib/names/resolve-sail.js'
+
+const root = path.resolve('/virtual/sail-l2-decl-errs')
+function vfs (files) {
+  const norm = Object.fromEntries(
+    Object.entries(files).map(([k, v]) => [path.normalize(k), v])
+  )
+  return (p) => norm[path.normalize(p)] ?? null
+}
+
+function hasCode (r, code) {
+  return r.diagnostics.some(d => d.code === code)
+}
+
+test('L2 E1101: два @foo в одном модуле', function (t) {
+  const main = path.join(root, 'e1101.sail')
+  const src = '@foo ( -> )\n@foo ( -> )\n\n'
+  const r = resolveSailNames({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  t.ok(hasCode(r, 'E1101'))
+  t.end()
+})
+
+test('L2 E1102: два &T в одном модуле', function (t) {
+  const main = path.join(root, 'e1102.sail')
+  const src = [
+    '&T',
+    '  | A',
+    '&T',
+    '  | B'
+  ].join('\n')
+  const r = resolveSailNames({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  t.ok(hasCode(r, 'E1102'))
+  t.end()
+})
+
+test('L2 E1103: одинаковый тег sum в двух типах модуля', function (t) {
+  const main = path.join(root, 'e1103.sail')
+  const src = [
+    '&U',
+    '  | Tag',
+    '&V',
+    '  | Tag'
+  ].join('\n')
+  const r = resolveSailNames({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  t.ok(hasCode(r, 'E1103'))
+  t.end()
+})
+
+test('L2 E1104: дубликат поля product-типа', function (t) {
+  const main = path.join(root, 'e1104.sail')
+  const src = [
+    '&P',
+    '  :x Num',
+    '  :x Num'
+  ].join('\n')
+  const r = resolveSailNames({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  t.ok(hasCode(r, 'E1104'))
+  t.end()
+})
+
+test('L2 E1105: @just конфликтует с autogen от &Maybe', function (t) {
+  const main = path.join(root, 'e1105.sail')
+  const src = [
+    '&Maybe',
+    '  | Nothing',
+    '  | Just Num',
+    '@just ( -> )',
+    ''
+  ].join('\n')
+  const r = resolveSailNames({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  t.ok(hasCode(r, 'E1105'))
+  t.end()
+})
+
+test('L2 E1106: два @sail с одним @name в .js', function (t) {
+  const main = path.join(root, 'e1106.sail')
+  const js = path.join(root, 'e1106.js')
+  const sail = '+J ./e1106.js\n@main ( -> )\n\n'
+  const jsrc = [
+    '/**',
+    ' * @sail',
+    ' * @dup ( -> )',
+    ' */',
+    '/**',
+    ' * @sail',
+    ' * @dup ( -> )',
+    ' */',
+    'export const x = 1'
+  ].join('\n')
+  const r = resolveSailNames({
+    entryPath: main,
+    readFile: vfs({ [main]: sail, [js]: jsrc })
+  })
+  t.ok(r.ok === false)
+  t.ok(hasCode(r, 'E1106'))
+  t.end()
+})
+
+test('L2 E1108: дубликат @x в списке скобочного импорта', function (t) {
+  const main = path.join(root, 'e1108.sail')
+  const lib = path.join(root, 'e1108-lib.sail')
+  const files = {
+    [main]: '+L ( @x @x ) ./e1108-lib.sail\n',
+    [lib]: '@x ( -> )\n\n'
+  }
+  const r = resolveSailNames({ entryPath: main, readFile: vfs(files) })
+  t.ok(r.ok === false)
+  t.ok(hasCode(r, 'E1108'))
+  t.end()
+})
+
+test('L2 E1109: скобочный @hello конфликтует с локальным @hello', function (t) {
+  const main = path.join(root, 'e1109.sail')
+  const lib = path.join(root, 'e1109-lib.sail')
+  const files = {
+    [main]: [
+      '@hello ( -> )',
+      '',
+      '+Lib ( @hello ) ./e1109-lib.sail',
+      ''
+    ].join('\n'),
+    [lib]: '@hello ( -> )\n\n'
+  }
+  const r = resolveSailNames({ entryPath: main, readFile: vfs(files) })
+  t.ok(r.ok === false)
+  t.ok(hasCode(r, 'E1109'))
+  t.end()
+})
+
+test('L2 E1110: скобочный &Ghost отсутствует в экспорте stub', function (t) {
+  const main = path.join(root, 'e1110type.sail')
+  const stub = path.join(root, 'e1110type-stub.sail')
+  const files = {
+    [main]: [
+      '+S ( @exported &Ghost ) ./e1110type-stub.sail',
+      '@main ( -> Num )',
+      '  42'
+    ].join('\n'),
+    [stub]: '@exported ( -> Num )\n  5\n'
+  }
+  const r = resolveSailNames({ entryPath: main, readFile: vfs(files) })
+  t.ok(r.ok === false)
+  const d = r.diagnostics.find(x => x.code === 'E1110')
+  t.ok(d && d.message.includes('Ghost'))
+  t.end()
+})
+
+test('L2 E1111: два импорта с одним алиасом Lib', function (t) {
+  const main = path.join(root, 'e1111.sail')
+  const a = path.join(root, 'e1111-a.sail')
+  const b = path.join(root, 'e1111-b.sail')
+  const files = {
+    [main]: '+Lib ./e1111-a.sail\n+Lib ./e1111-b.sail\n',
+    [a]: '@x ( -> )\n\n',
+    [b]: '@y ( -> )\n\n'
+  }
+  const r = resolveSailNames({ entryPath: main, readFile: vfs(files) })
+  t.ok(r.ok === false)
+  t.ok(hasCode(r, 'E1111'))
+  t.end()
+})
+
+test('L2 E1113: невалидный фрагмент @sail в .js', function (t) {
+  const main = path.join(root, 'e1113.sail')
+  const js = path.join(root, 'e1113.js')
+  const sail = '+J ./e1113.js\n@main ( -> )\n\n'
+  const jsrc = [
+    '/**',
+    ' * @sail',
+    ' * ))))',
+    ' */',
+    'export const x = 1'
+  ].join('\n')
+  const r = resolveSailNames({
+    entryPath: main,
+    readFile: vfs({ [main]: sail, [js]: jsrc })
+  })
+  t.ok(r.ok === false)
+  t.ok(hasCode(r, 'E1113'))
+  t.end()
+})
+
+test('L2 E1204: ~Lib/ghost при отсутствии члена в модуле', function (t) {
+  const main = path.join(root, 'e1204.sail')
+  const lib = path.join(root, 'e1204-lib.sail')
+  const files = {
+    [main]: '+Lib ./e1204-lib.sail\n@main ( -> )\n\n  ~Lib/ghost\n',
+    [lib]: '@real ( -> )\n\n'
+  }
+  const r = resolveSailNames({ entryPath: main, readFile: vfs(files) })
+  t.ok(r.ok === false)
+  const d = r.diagnostics.find(x => x.code === 'E1204')
+  t.ok(d && d.message.includes('ghost'))
+  t.end()
+})
+
+test('L2 E1204: ~Lib/Ghost в сигнатуре — module_type_ref', function (t) {
+  const main = path.join(root, 'e1204-type.sail')
+  const lib = path.join(root, 'e1204-type-lib.sail')
+  const files = {
+    [main]: '+Lib ./e1204-type-lib.sail\n@m ( ~Lib/Ghost -> )\n\n',
+    [lib]: [
+      '&Point',
+      '  :x Num',
+      '  :y Num'
+    ].join('\n')
+  }
+  const r = resolveSailNames({ entryPath: main, readFile: vfs(files) })
+  t.ok(r.ok === false)
+  const d = r.diagnostics.find(x => x.code === 'E1204')
+  t.ok(d && d.message.includes('Ghost'))
+  t.end()
+})
+
+test('L2 E1109: скобочный &T при уже объявленном локальном &T', function (t) {
+  const main = path.join(root, 'e1109-type.sail')
+  const lib = path.join(root, 'e1109-type-lib.sail')
+  const files = {
+    [main]: [
+      '&T',
+      '  | X',
+      '+Lib ( &T ) ./e1109-type-lib.sail',
+      ''
+    ].join('\n'),
+    [lib]: [
+      '&T',
+      '  | A'
+    ].join('\n')
+  }
+  const r = resolveSailNames({ entryPath: main, readFile: vfs(files) })
+  t.ok(r.ok === false)
+  const d = r.diagnostics.find(x => x.code === 'E1109')
+  t.ok(d && d.message.includes('T'))
+  t.end()
+})
+
+test('L2 E1109: autogen импортированного &V конфликтует с autogen локального &U', function (t) {
+  const main = path.join(root, 'e1109-autogen.sail')
+  const lib = path.join(root, 'e1109-autogen-lib.sail')
+  const files = {
+    [main]: [
+      '&U',
+      '  | A',
+      '+Lib ( &V ) ./e1109-autogen-lib.sail',
+      ''
+    ].join('\n'),
+    [lib]: [
+      '&V',
+      '  | A'
+    ].join('\n')
+  }
+  const r = resolveSailNames({ entryPath: main, readFile: vfs(files) })
+  t.ok(r.ok === false)
+  const d = r.diagnostics.find(x => x.code === 'E1109')
+  t.ok(d && d.message.includes('a'))
+  t.end()
+})

package/test/names/l2-resolve-graph.test.js

@@ -0,0 +1,105 @@
+/**
+ * L2: несколько .sail, относительный path, ~Lib/w, цикл → E1112.
+ */
+import test from 'brittle'
+import path from 'node:path'
+import { resolveSailNames } from '../../lib/names/resolve-sail.js'
+
+const root = path.resolve('/virtual/sail-l2-graph')
+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('L2 graph: ~Lib/hello резолвится при полном импорте', function (t) {
+  const main = path.join(root, 'main.sail')
+  const lib = path.join(root, 'lib.sail')
+  const files = {
+    [main]: [
+      '+Lib ./lib.sail',
+      '@main ( -> )',
+      '',
+      '  ~Lib/hello'
+    ].join('\n'),
+    [lib]: [
+      '@hello ( -> )',
+      '',
+      ''
+    ].join('\n')
+  }
+  const r = resolveSailNames({ entryPath: main, readFile: vfs(files) })
+  t.ok(r.ok, r.diagnostics.map(d => d.code + ' ' + d.message).join('; '))
+  t.end()
+})
+
+test('L2 graph: цикл a.sail ↔ b.sail → E1112', function (t) {
+  const a = path.join(root, 'a.sail')
+  const b = path.join(root, 'b.sail')
+  const files = {
+    [a]: '+B ./b.sail\n@x ( -> )\n\n',
+    [b]: '+A ./a.sail\n@y ( -> )\n\n'
+  }
+  const r = resolveSailNames({ entryPath: a, readFile: vfs(files) })
+  t.ok(r.ok === false)
+  const d = r.diagnostics.find(x => x.code === 'E1112')
+  t.ok(d, 'E1112')
+  t.ok(d.message.includes('Циклическая'))
+  t.end()
+})
+
+test('L2 graph: импорт только .js не даёт рёбер цикла sail→sail', function (t) {
+  const main = path.join(root, 'main.sail')
+  const stub = path.join(root, 'stub.js')
+  const files = {
+    [main]: '+J ./stub.js\n@main ( -> )\n\n',
+    [stub]: 'export const x = 1\n'
+  }
+  const r = resolveSailNames({ entryPath: main, readFile: vfs(files) })
+  t.ok(r.ok, r.diagnostics.map(d => d.message).join('; '))
+  t.end()
+})
+
+test('L2 graph: два модуля экспортируют одно слово — /foo → E1202', function (t) {
+  const main = path.join(root, 'main.sail')
+  const l1 = path.join(root, 'l1.sail')
+  const l2 = path.join(root, 'l2.sail')
+  const files = {
+    [main]: [
+      '+L1 ./l1.sail',
+      '+L2 ./l2.sail',
+      '@main ( -> )',
+      '',
+      '  /foo'
+    ].join('\n'),
+    [l1]: '@foo ( -> )\n\n',
+    [l2]: '@foo ( -> )\n\n'
+  }
+  const r = resolveSailNames({ entryPath: main, readFile: vfs(files) })
+  t.ok(r.ok === false)
+  const d = r.diagnostics.find(x => x.code === 'E1202')
+  t.ok(d && d.message.includes('foo'))
+  t.end()
+})
+
+test('L2 graph: ~Lib/тип в сигнатуре — module_type_ref', function (t) {
+  const main = path.join(root, 'main.sail')
+  const lib = path.join(root, 'lib.sail')
+  const files = {
+    [main]: [
+      '+Lib ./lib.sail',
+      '@w ( ~Lib/Point -> )',
+      '',
+      ''
+    ].join('\n'),
+    [lib]: [
+      '&Point',
+      '  :x Num',
+      '  :y Num'
+    ].join('\n')
+  }
+  const r = resolveSailNames({ entryPath: main, readFile: vfs(files) })
+  t.ok(r.ok, r.diagnostics.map(d => d.message).join('; '))
+  t.end()
+})

package/test/names/l2-resolve-single-file.test.js

@@ -0,0 +1,79 @@
+/**
+ * L2: один .sail без импортов — локальные @, builtin, E1201 (RFC-0.1 §11).
+ */
+import test from 'brittle'
+import path from 'node:path'
+import { resolveSailNames } from '../../lib/names/resolve-sail.js'
+
+const root = path.resolve('/virtual/sail-l2')
+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('L2 single: вызов локального слова через /name', function (t) {
+  const main = path.join(root, 'main.sail')
+  const src = [
+    '@noop ( -> )',
+    '',
+    '  ',
+    '@main ( -> )',
+    '',
+    '  /noop'
+  ].join('\n')
+  const r = resolveSailNames({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics.map(d => d.code + ' ' + d.message).join('; '))
+  t.end()
+})
+
+test('L2 single: builtin в теле (dup) — без word_ref', function (t) {
+  const main = path.join(root, 'main.sail')
+  const src = '@main ( Num -> Num Num )\n\n  dup\n'
+  const r = resolveSailNames({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok, r.diagnostics.map(d => d.message).join('; '))
+  t.end()
+})
+
+test('L2 single: неизвестное /id → E1201', function (t) {
+  const main = path.join(root, 'main.sail')
+  const src = '@main ( -> )\n\n  /nope\n'
+  const r = resolveSailNames({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  const d = r.diagnostics.find(x => x.code === 'E1201')
+  t.ok(d, 'E1201')
+  t.ok(d.message.includes('nope'))
+  t.end()
+})
+
+test('L2 single: ~M/w без импорта → E1203', function (t) {
+  const main = path.join(root, 'main.sail')
+  const src = '@main ( -> )\n\n  ~Net/fetch\n'
+  const r = resolveSailNames({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  const d = r.diagnostics.find(x => x.code === 'E1203')
+  t.ok(d && d.message.includes('Net'))
+  t.end()
+})
+
+test('L2 single: неизвестное lower в теле → E1206 (не E1001 на парсе)', function (t) {
+  const main = path.join(root, 'main.sail')
+  const src = '@main ( -> )\n\n  not_a_real_builtin_xyz\n'
+  const r = resolveSailNames({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  const d = r.diagnostics.find(x => x.code === 'E1206')
+  t.ok(d && d.message.includes('not_a_real_builtin_xyz'))
+  t.end()
+})
+
+test('L2 single: symbol_tables содержит экспорт слов файла', function (t) {
+  const main = path.join(root, 'main.sail')
+  const src = '@a ( -> )\n\n  /a\n'
+  const r = resolveSailNames({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok)
+  const tab = r.symbolTables?.get(path.normalize(main))
+  t.ok(tab)
+  t.ok(tab.words.includes('a'))
+  t.end()
+})

package/test/parse/ast-spec.test.js

@@ -0,0 +1,56 @@
+/**
+ * Проверка контракта [lang/lib/parse/ast-spec.js](lang/lib/parse/ast-spec.js): AST_KINDS и согласованность с JSDoc-описанием узлов.
+ */
+import test from 'brittle'
+import { AST_KINDS } from '../../lib/parse/ast-spec.js'
+
+test('AST_KINDS: frozen, непустой, без дубликатов', function (t) {
+  t.ok(Object.isFrozen(AST_KINDS))
+  t.ok(AST_KINDS.length > 0)
+  const set = new Set(AST_KINDS)
+  t.is(set.size, AST_KINDS.length, 'duplicate kind strings')
+  for (const k of AST_KINDS) {
+    t.ok(typeof k === 'string' && k.length > 0, `kind ${JSON.stringify(k)}`)
+  }
+  t.end()
+})
+
+test('AST_KINDS: обязательные kind из RFC-0.1 п.12.2 (топ-уровень и ядро)', function (t) {
+  const required = [
+    'source_file',
+    'import',
+    'sum_type',
+    'product_type',
+    'word',
+    'signature',
+    'sig_effect_add',
+    'sig_effect_remove',
+    'stack_var',
+    'quotation_sig',
+    'named_quotation_sig',
+    'sig_type_expr',
+    'type_name',
+    'type_var',
+    'module_type_ref',
+    'paren_type',
+    'quotation_type',
+    'type_app',
+    'literal',
+    'word_ref',
+    'module_word_ref',
+    'builtin',
+    'quotation',
+    'list_literal',
+    'slot_write',
+    'slot_read'
+  ]
+  for (const k of required) {
+    t.ok(AST_KINDS.includes(k), `missing kind: ${k}`)
+  }
+  t.end()
+})
+
+test('AST_KINDS: число записей совпадает с ожидаемым набором (ловит пропуски при правках)', function (t) {
+  t.is(AST_KINDS.length, 26)
+  t.end()
+})