@algosail/lang 0.2.12 → 0.5.0

package/test/parse/l1-diagnostics.test.js

@@ -0,0 +1,77 @@
+/**
+ * Parse / lex diagnostics E1001, E1003–E1007 — RFC-0.1 §13.
+ * E1001 body: conformance/cases/reject-e1001-unexpected-token/main.sail
+ * Полная матрица E1001–E1007: l1-parse-diagnostics-matrix.test.js
+ */
+import test from 'brittle'
+import { expectReject } from './helpers.js'
+
+test('E1005: `->` inside executable quotation body (RFC-0.1 §13)', function (t) {
+  const src = [
+    '@bad ( -> )',
+    '',
+    '  ( 1 -> 2 )'
+  ].join('\n')
+  expectReject(
+    t,
+    src,
+    'E1005',
+    "Стрелка сигнатуры '->'"
+  )
+  t.end()
+})
+
+test('E1006: effect prefix +Async outside signature parens (RFC-0.1 §13)', function (t) {
+  const src = [
+    '@bad ( -> )',
+    '',
+    '  +Async'
+  ].join('\n')
+  expectReject(
+    t,
+    src,
+    'E1006',
+    "Префикс эффекта '+Async'"
+  )
+  t.end()
+})
+
+test('E1006: +Fail in word body → E1006', function (t) {
+  const src = '@bad ( -> )\n\n  +Fail'
+  expectReject(t, src, 'E1006', '+Fail')
+  t.end()
+})
+
+test('E1007: +Async left of -> in signature (RFC-0.1 §5.7, §13)', function (t) {
+  expectReject(
+    t,
+    '@w ( +Async -> )\n\n',
+    'E1007',
+    "справа от '->'"
+  )
+  t.end()
+})
+
+test('E1007: -Fail left of -> in signature', function (t) {
+  expectReject(
+    t,
+    '@w ( Num -Fail -> Num )\n\n',
+    'E1007',
+    '-Fail'
+  )
+  t.end()
+})
+
+test('E1001: invalid step in word body (conformance reject-e1001-unexpected-token)', function (t) {
+  const src = [
+    '@bad ( -> )',
+    '  @not_a_valid_step'
+  ].join('\n')
+  expectReject(
+    t,
+    src,
+    'E1001',
+    'неожиданный токен'
+  )
+  t.end()
+})

package/test/parse/l1-import.test.js

@@ -0,0 +1,28 @@
+/**
+ * L1 import_decl — RFC-0.1 §12.2 (import_decl, import_tail, import_item), RFC-lex §7 path.
+ */
+import test from 'brittle'
+import { expectAccept, expectReject } from './helpers.js'
+
+test('L1: simple import +ModuleName path', function (t) {
+  expectAccept(t, '+Math ./math.sail')
+  expectAccept(t, '+Pkg @scope/name')
+  t.end()
+})
+
+test('L1: bracket import with @WordName and &TypeName', function (t) {
+  const src = '+Lib ( @add &Point ) ./lib.sail'
+  expectAccept(t, src)
+  t.end()
+})
+
+test('L1: missing path after module name → E1003 (RFC-0.1 §13)', function (t) {
+  expectReject(t, '+OnlyName', 'E1003', 'путь импорта')
+  expectReject(t, '+OnlyName ', 'E1003', 'путь импорта')
+  t.end()
+})
+
+test('L1: path must not contain whitespace (RFC-lex §7)', function (t) {
+  expectReject(t, '+Lib ./bad path.sail', 'E1003', 'путь импорта')
+  t.end()
+})

package/test/parse/l1-parse-diagnostics-matrix.test.js

@@ -0,0 +1,32 @@
+/**
+ * Матрица диагностик L0/L1 (RFC-conformance-0.1 §3 L0/L1, RFC-0.1 §13 E1001–E1007).
+ * Неизвестное lower в теле слова не даёт E1001 — узел builtin, ошибка L2 E1206 (resolveSailNames).
+ *
+ * | Код   | Источник                         | Тест(ы) |
+ * |-------|----------------------------------|---------|
+ * | E1001 | parse-source.js, lexer.js, index.js (не string) | l1-diagnostics (тело), l1-words (:Foo), contract (null input), **ниже** (строка, `/`, скобки импорта); чистый лексер — [l0-lex-diagnostics-matrix.test.js](l0-lex-diagnostics-matrix.test.js) |
+ * | E1002 | lexer — незакрытый `--`          | l0-lex.test.js, l0-lex-diagnostics-matrix (nextToken) |
+ * | E1003 | parse-source — путь импорта    | l1-import.test.js |
+ * | E1004 | parse-source — unknown top-level | l1-top-level.test.js |
+ * | E1005 | parse-source — `->` в quotation  | l1-diagnostics.test.js |
+ * | E1006 | parse-source — эффект вне сигнатуры | l1-diagnostics.test.js |
+ * | E1007 | parse-source — эффект слева от `->` | l1-diagnostics.test.js |
+ */
+import test from 'brittle'
+import { expectReject } from './helpers.js'
+
+test('L1 E1001: незакрытая строковая кавычка (лексер)', function (t) {
+  expectReject(t, '@w ( -> )\n\n  "unclosed', 'E1001', '"')
+  expectReject(t, "@w ( -> )\n\n  'x", 'E1001', "'")
+  t.end()
+})
+
+test('L1 E1001: одинокий `/` в теле — не regexp и не /word', function (t) {
+  expectReject(t, '@w ( -> )\n\n  /', 'E1001', '/')
+  t.end()
+})
+
+test('L1 E1001: скобочный импорт без закрывающей `)`', function (t) {
+  expectReject(t, '+Lib ( @x', 'E1001', 'EOF')
+  t.end()
+})

package/test/parse/l1-top-level.test.js

@@ -0,0 +1,47 @@
+/**
+ * L1 Parse — RFC-0.1 §12.2 (source_file, top_level), §12.1 (markers + & @).
+ */
+import test from 'brittle'
+import { expectAccept, expectReject } from './helpers.js'
+
+test('L1: empty / whitespace-only module', function (t) {
+  expectAccept(t, '')
+  expectAccept(t, '\n')
+  t.end()
+})
+
+test('L1: top_level comment only', function (t) {
+  expectAccept(t, '-- only comment --')
+  t.end()
+})
+
+test('L1: sequence import, type, word', function (t) {
+  const src = [
+    '+Lib ./lib.sail',
+    '&T',
+    '-- type T --',
+    '| None',
+    '',
+    '@main ( -> )',
+    '',
+    '  /hello'
+  ].join('\n')
+  expectAccept(t, src)
+  t.end()
+})
+
+test('L1: unknown top-level starter → E1004 (RFC-0.1 §13)', function (t) {
+  expectReject(
+    t,
+    'not_a_marker',
+    'E1004',
+    "Неизвестный блок"
+  )
+  expectReject(
+    t,
+    'not_a_marker\n+Ok ./x.sail',
+    'E1004',
+    "Ожидался '+', '&' или '@'"
+  )
+  t.end()
+})

package/test/parse/l1-types.test.js

@@ -0,0 +1,31 @@
+/**
+ * L1 ADT declarations — RFC-0.1 §12.2 (sum_type_decl, product_type_decl, doc_block).
+ */
+import test from 'brittle'
+import { expectAccept } from './helpers.js'
+
+test('L1: sum type with tags and doc blocks', function (t) {
+  const src = [
+    '&Maybe a',
+    '-- optional value --',
+    '| None',
+    '-- no payload --',
+    '| Some a',
+    '-- one slot --'
+  ].join('\n')
+  expectAccept(t, src)
+  t.end()
+})
+
+test('L1: product type with fields', function (t) {
+  const src = [
+    '&Point',
+    '-- 2d point --',
+    ':x Num',
+    '-- x --',
+    ':y Num',
+    '-- y --'
+  ].join('\n')
+  expectAccept(t, src)
+  t.end()
+})

package/test/parse/l1-words.test.js

@@ -0,0 +1,49 @@
+/**
+ * L1 word_decl, word_step — RFC-0.1 §12.2, §12.3 (named quotation sig sugar, SlotName).
+ */
+import test from 'brittle'
+import { expectAccept, expectReject } from './helpers.js'
+
+test('L1: word with empty body', function (t) {
+  expectAccept(t, '@nop ( -> )\n\n')
+  t.end()
+})
+
+test('L1: word body — literals, calls, builtin, list, quotation, slots', function (t) {
+  const src = [
+    '@demo ( -> )',
+    '',
+    '  "hi"',
+    '  42',
+    '  true',
+    '  nil',
+    '  /swap',
+    '  dup',
+    '  [ 1 2 ]',
+    '  ( /drop )',
+    '  :acc',
+    '  ;acc'
+  ].join('\n')
+  expectAccept(t, src)
+  t.end()
+})
+
+test('L1: named quotation parameter in signature (§12.3 note 2)', function (t) {
+  const src = [
+    '@withJust ( just: ( ~s -> ~s ) -> )',
+    '',
+    '  /id'
+  ].join('\n')
+  expectAccept(t, src)
+  t.end()
+})
+
+test('L1: slot name must start with lowercase — :Foo → E1001 (§12.3 note 22)', function (t) {
+  expectReject(
+    t,
+    '@bad ( -> )\n\n  :Foo',
+    'E1001',
+    'неожиданный токен'
+  )
+  t.end()
+})

package/test/parse/l2-diagnostics-contract.test.js

@@ -0,0 +1,67 @@
+/**
+ * L2: шаблоны диагностик E11xx / E12xx — RFC-0.1 §13 (контракт до resolve).
+ */
+import test from 'brittle'
+import * as d from '../../lib/parse/diagnostics.js'
+
+test('E1101–E1113 message templates (RFC-0.1 §13)', function (t) {
+  t.is(d.e1101DuplicateWord('dup'), "Слово 'dup' уже объявлено в текущем модуле.")
+  t.is(d.e1102DuplicateType('T'), "Тип 'T' уже объявлен в текущем модуле.")
+  t.is(d.e1103DuplicateSumTag('Just'), "Тег 'Just' уже использован в sum-типе этого модуля.")
+  t.is(
+    d.e1104DuplicateProductField('x', 'Point'),
+    "Поле 'x' уже объявлено в типе 'Point'."
+  )
+  t.is(
+    d.e1105AutogenNameConflict('maybe'),
+    "Автогенерируемое имя 'maybe' конфликтует с существующим объявлением."
+  )
+  t.is(
+    d.e1106DuplicateJsSailBlock('foo'),
+    "Повторное объявление '@sail' для 'foo' в JS-модуле."
+  )
+  t.is(
+    d.e1108DuplicateBracketImportName('map'),
+    "Повторное имя 'map' в списке скобочного импорта."
+  )
+  t.is(
+    d.e1109BracketImportConflicts('x'),
+    "Имя 'x' уже объявлено в модуле или внесено другим импортом; конфликт со скобочным импортом."
+  )
+  t.is(
+    d.e1110SymbolMissingInExport('missing'),
+    "Символ 'missing' отсутствует в экспорте модуля (для JS — в извлечённом контракте '@sail')."
+  )
+  t.is(
+    d.e1111DuplicateModuleImport('Lib'),
+    "Модуль 'Lib' уже импортирован в этом файле."
+  )
+  t.is(
+    d.e1112CyclicSailImports('A, B, C'),
+    'Циклическая зависимость между модулями Sail (в цикле участвуют, например: A, B, C).'
+  )
+  t.ok(
+    d.e1113InvalidJsSailJSDoc().includes("@sail"),
+    'E1113 mentions @sail'
+  )
+  t.end()
+})
+
+test('E1201–E1206 message templates (RFC-0.1 §13)', function (t) {
+  t.is(d.e1201UnresolvedName('nope'), "Не удалось разрешить имя 'nope'.")
+  t.is(
+    d.e1202AmbiguousName('foo'),
+    "Неоднозначная ссылка 'foo' в текущем модуле."
+  )
+  t.is(d.e1203ModuleNotFound('Net'), "Модуль 'Net' не найден.")
+  t.is(
+    d.e1204MissingMember('Lib', 'z'),
+    "В модуле 'Lib' отсутствует 'z'."
+  )
+  t.is(
+    d.e1205ImportNeedsQualification('fetch', 'Net'),
+    "Обращение к 'fetch' из модуля 'Net' требует '~Net/fetch' (если символ не внесён скобочным импортом, §4.2)."
+  )
+  t.is(d.e1206UnknownBuiltin('xyz'), "Неизвестное встроенное слово 'xyz'.")
+  t.end()
+})

package/test/parse/l3-diagnostics-contract.test.js

@@ -0,0 +1,66 @@
+/**
+ * L3: шаблоны диагностик E1301–E1314 — RFC-0.1 §13 (контракт сообщений typecheck).
+ */
+import test from 'brittle'
+import * as d from '../../lib/parse/diagnostics.js'
+
+test('E1301–E1314 message templates (RFC-0.1 §13)', function (t) {
+  t.is(d.e1301WordSignature('bad'), "Некорректная сигнатура слова 'bad'.")
+  t.is(
+    d.e1302QuotationSig('oops'),
+    "Некорректная сигнатура quotation: 'oops'."
+  )
+  t.is(
+    d.e1303StackEffect('1 слот', '2 слота'),
+    'Несогласованный стековый эффект: expected 1 слот, got 2 слота.'
+  )
+  t.is(
+    d.e1304TypeMismatch('Num', 'Str'),
+    'Несовместимые типы: expected Num, got Str.'
+  )
+  t.is(
+    d.e1304UnknownTypeInSignature('Foo'),
+    "Неизвестное имя типа 'Foo' в сигнатуре."
+  )
+  t.is(
+    d.e1305OccursCheck('a'),
+    "Бесконечный тип недопустим: переменная 'a' входит сама в себя."
+  )
+  t.is(
+    d.e1306CallNeedsQuote('Num'),
+    'Нельзя применить CALL: ожидается Quote (I -> O), получено Num.'
+  )
+  t.is(
+    d.e1307EliminatorBranches(),
+    'Ветки eliminator-а несовместимы: выходные сигнатуры quotations (в т.ч. ~b) не унифицируются.'
+  )
+  t.is(
+    d.e1308EliminatorQuotes('maybe'),
+    "Некорректные аргументы eliminator-а 'maybe': quotations должны идти в порядке объявления тегов/полей."
+  )
+  t.is(
+    d.e1309ContainerContract('List', 'T', 'Str'),
+    "Нарушение ограничений контейнера 'List': expected T, got Str."
+  )
+  t.is(
+    d.e1311ParameterizedTypeNeedsParens('Maybe'),
+    "В сигнатуре параметризованный тип 'Maybe' должен быть записан в скобках как единый слот (§4.4)."
+  )
+  t.is(
+    d.e1310AsyncCall('run', 'main'),
+    "Вызов 'run' с эффектом '+Async' недопустим из слова 'main' без '+Async' или без снятия '-Async' обёрткой (§5.7)."
+  )
+  t.is(
+    d.e1312FailCall('risky', 'main'),
+    "Вызов 'risky' с эффектом '+Fail' недопустим из 'main' без '+Fail' или без снятия '-Fail' обёрткой (§5.7)."
+  )
+  t.is(
+    d.e1313DuplicateSlotWrite('x'),
+    "Повторная запись слота ':x' в теле слова (§6.1.6)."
+  )
+  t.is(
+    d.e1314SlotReadBeforeWrite('y'),
+    "Чтение слота ';y' до соответствующей записи ':y' (§6.1.6)."
+  )
+  t.end()
+})

package/test/typecheck/adt-decl-stage2.test.js

@@ -0,0 +1,83 @@
+/**
+ * L3 этап 2: объявления ADT — module_type_ref в type_expr (пробел L2), параметры типа, adtByPath.
+ */
+import test from 'brittle'
+import path from 'node:path'
+import { typecheckSail } from '../../index.js'
+
+const root = path.resolve('/virtual/sail-l3-adt2')
+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('L3 ADT: ~Lib/Ghost в payload sum — E1204 (тип не экспортирован)', function (t) {
+  const main = path.join(root, 'main.sail')
+  const lib = path.join(root, 'lib.sail')
+  const files = {
+    [main]: [
+      '+Lib ./lib.sail',
+      '&Foo',
+      '  |Bar ~Lib/Ghost',
+      '@main ( -> )',
+      ''
+    ].join('\n'),
+    [lib]: [
+      '&Point',
+      '  :x Num',
+      '  :y Num'
+    ].join('\n')
+  }
+  const r = typecheckSail({ 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'), 'E1204 Ghost')
+  t.end()
+})
+
+test('L3 ADT: свободный type_var вне заголовка — E1304', function (t) {
+  const main = path.join(root, 'only.sail')
+  const src = [
+    '&Maybe a',
+    '  |Just b',
+    '  |Nothing',
+    '@main ( -> )',
+    ''
+  ].join('\n')
+  const r = typecheckSail({ entryPath: main, readFile: vfs({ [main]: src }) })
+  t.ok(r.ok === false)
+  const d = r.diagnostics.find((x) => x.code === 'E1304')
+  t.ok(d, 'E1304')
+  t.ok(d.message.includes('b') || d.message.includes(`'b'`), 'mentions b')
+  t.end()
+})
+
+test('L3 ADT: корректный ~Lib/Point в payload и adtByPath', function (t) {
+  const main = path.join(root, 'ok-main.sail')
+  const lib = path.join(root, 'ok-lib.sail')
+  const files = {
+    [main]: [
+      '+Lib ./ok-lib.sail',
+      '&Wrap',
+      '  |W ~Lib/Point',
+      '  |Empty',
+      '@main ( -> )',
+      ''
+    ].join('\n'),
+    [lib]: [
+      '&Point',
+      '  :x Num',
+      '  :y Num'
+    ].join('\n')
+  }
+  const r = typecheckSail({ entryPath: main, readFile: vfs(files) })
+  t.ok(r.ok, r.diagnostics.map((d) => d.code + ' ' + d.message).join('; '))
+  const adt = r.env?.adtByPath?.get(main)?.get('Wrap')
+  t.ok(adt, 'adt Wrap')
+  t.is(adt.kind, 'sum')
+  t.is(adt.name, 'Wrap')
+  t.ok(Array.isArray(adt.typeParams))
+  t.end()
+})