eyeling 1.34.4 → 1.34.6

package/test/eyelang/conformance/expected/051_nested_holds_parts.pl

@@ -0,0 +1,3 @@
+answer(parts, exposed(ready, [])).
+answer(parts, exposed(name, [a, "A"])).
+answer(parts, exposed(route, [a, b, 7])).

package/test/eyelang/conformance/expected/052_holds_member.pl

@@ -0,0 +1,2 @@
+answer(member, name(alice, "Alice")).
+answer(member, knows(alice, bob)).

package/test/eyelang/conformance/expected/053_materialize_excludes_source_fact.pl

@@ -0,0 +1 @@
+answer(b, ok).

package/test/eyelang/conformance/expected/054_numeric_and_lexical_comparison.pl

@@ -0,0 +1,3 @@
+answer(numeric_gt, true).
+answer(numeric_le, true).
+answer(lexical_ge, true).

package/test/eyelang/conformance/expected/055_string_matching_filters.pl

@@ -0,0 +1,2 @@
+answer(has_ph, a).
+answer(no_ph, b).

package/test/eyelang/conformance/expected/056_string_and_atom_concat.pl

@@ -0,0 +1 @@
+answer(string, "eyelang").

package/test/eyelang/conformance/expected/057_countall_empty_and_nonempty.pl

@@ -0,0 +1 @@
+answer(counts, counts(2, 0)).

package/test/eyelang/conformance/expected/058_sumall_numeric_template.pl

@@ -0,0 +1 @@
+answer(sum, 7).

package/test/eyelang/conformance/expected/059_aggregate_min_template.pl

@@ -0,0 +1 @@
+answer(min, result(3, item(beta, 3))).

package/test/eyelang/conformance/expected/060_aggregate_max_compound_key.pl

@@ -0,0 +1 @@
+answer(max, result([7, beta], beta)).

package/test/eyelang/conformance/expected/061_date_difference.pl

@@ -0,0 +1,2 @@
+answer(duration, "P4Y1D").
+answer(month_borrow, "P1M-1D").

package/test/eyelang/conformance/expected/062_reusable_numeric_builtins.pl

@@ -0,0 +1,8 @@
+answer(max, 42).
+answer(sqrt, 9.0).
+answer(floor, 3).
+answer(ceiling, 4).
+answer(trunc, -3).
+answer(exp, 1.0).
+answer(tan, 0.0).
+answer(atan2, 3.1415926535897931).

package/test/eyelang/conformance/expected/063_reusable_list_builtins.pl

@@ -0,0 +1,9 @@
+answer(head, alpha).
+answer(last, beta).
+answer(take, [alpha, beta]).
+answer(drop, [gamma, beta]).
+answer(slice, [beta, gamma]).
+answer(sum, 6.5).
+answer(min, 1).
+answer(max, 3).
+answer(set, [beta, alpha, gamma]).

package/test/eyelang/conformance/expected/064_reusable_string_builtins.pl

@@ -0,0 +1,10 @@
+answer(trim, "Hello Eyelang").
+answer(lower, "hello eyelang").
+answer(upper, "HELLO EYELANG").
+answer(split, ["red", "green", "blue"]).
+answer(join, "red:green:blue").
+answer(substring, "cde").
+answer(replace, "blue-green-blue").
+answer(number_to_string, "42").
+answer(string_to_number, 3.5).
+answer(atom_string, "eyelang").

package/test/eyelang/conformance/expected/065_reusable_term_control_builtins.pl

@@ -0,0 +1,6 @@
+answer(functor, pair(edge, 2)).
+answer(arg, b).
+answer(decompose, pair(edge, [a, b])).
+answer(compose, edge(a, b)).
+answer(term_string, "edge(a, [b, c])").
+answer(forall, ok).

package/test/eyelang/conformance/expected/066_numeric_edges.pl

@@ -0,0 +1,12 @@
+answer(max_negative, -3).
+answer(min_float, -1.25).
+answer(floor_negative, -4).
+answer(ceiling_negative, -3).
+answer(trunc_positive, 3).
+answer(sqrt_fraction, 1.5).
+answer(pow_fraction, 3.0).
+answer(sqrt_negative_rejected, ok).
+answer(log_zero_rejected, ok).
+answer(div_zero_rejected, ok).
+answer(mod_float_rejected, ok).
+answer(pow_negative_integer_exponent_rejected, ok).

package/test/eyelang/conformance/expected/067_list_edges.pl

@@ -0,0 +1,8 @@
+answer(take_zero, []).
+answer(drop_all, []).
+answer(slice_empty, []).
+answer(last_single, only).
+answer(head_rest, pair(a, [b, c])).
+answer(take_too_many_rejected, ok).
+answer(drop_too_many_rejected, ok).
+answer(last_empty_rejected, ok).

package/test/eyelang/conformance/expected/068_list_generation_order.pl

@@ -0,0 +1,10 @@
+answer(append_split, pair([], [a, b])).
+answer(append_split, pair([a], [b])).
+answer(append_split, pair([a, b], [])).
+answer(nth, pair(0, x)).
+answer(nth, pair(1, y)).
+answer(select, pair(a, [b, a])).
+answer(select, pair(b, [a, a])).
+answer(select, pair(a, [a, b])).
+answer(not_member_atom, ok).
+answer(not_member_unifiable_rejected, ok).

package/test/eyelang/conformance/expected/069_list_summaries_and_sets.pl

@@ -0,0 +1,7 @@
+answer(sum_empty, 0).
+answer(sum_mixed, 6.5).
+answer(min_atom_order, beta).
+answer(max_atom_order, gamma).
+answer(set_terms, [pair(a, 1), pair(b, 2)]).
+answer(min_empty_rejected, ok).
+answer(max_empty_rejected, ok).

package/test/eyelang/conformance/expected/070_matches_named_captures.pl

@@ -0,0 +1 @@
+answer("alice", "login_failed", "4bf92f3577b34da6a3ce929d0e0e4736").

package/test/eyelang/conformance/expected/071_string_edges.pl

@@ -0,0 +1,8 @@
+answer(split_missing_separator, ["abc"]).
+answer(split_empty_separator, ["a", "b", "c"]).
+answer(join_empty, "").
+answer(join_numbers, "1-2-3").
+answer(substring_empty, "").
+answer(replace_empty_search, "abc").
+answer(lower_string, "hello").
+answer(upper_string, "EYELANG 123").

package/test/eyelang/conformance/expected/072_string_conversions.pl

@@ -0,0 +1,8 @@
+answer(number_to_string, "-7").
+answer(string_to_integer, 123).
+answer(string_to_decimal, -3.5).
+answer(non_numeric_rejected, ok).
+answer(atom_to_string, "hello_world").
+answer(string_to_atom, hello_world).
+answer(number_to_atom, '123').
+answer(trim_to_empty, "").

package/test/eyelang/conformance/expected/073_term_introspection_edges.pl

@@ -0,0 +1,8 @@
+answer(functor_atom, pair(alpha, 0)).
+answer(functor_number, pair(42, 0)).
+answer(functor_string, pair("hi", 0)).
+answer(arg_nested, edge(a, b)).
+answer(compose_nested, outer(inner(a), [b, c])).
+answer(decompose_zero, pair(z, [])).
+answer(arg_zero_rejected, ok).
+answer(arg_too_large_rejected, ok).

package/test/eyelang/conformance/expected/074_forall_edges.pl

@@ -0,0 +1,5 @@
+answer(all_small, ok).
+answer(empty_generator, ok).
+answer(not_all_large, ok).
+answer(bound_outer_environment, ok).
+answer(checker_can_use_generator_binding, ok).

package/test/eyelang/conformance/expected/075_aggregation_edges.pl

@@ -0,0 +1,7 @@
+answer(findall_empty, []).
+answer(count_filtered, 2).
+answer(sum_empty, 0).
+answer(sum_scores, 6).
+answer(best_min, pair(1, bob)).
+answer(best_max, pair(3, cara)).
+answer(best_empty_rejected, ok).

package/test/eyelang/conformance/expected/076_composed_reusable_builtins.pl

@@ -0,0 +1,5 @@
+answer(clean_join, "red|green|blue").
+answer(middle_upper, "GREEN").
+answer(summary, result("red", "blue", 3)).
+answer(term_report, "measurement(temperature, 21)").
+answer(score_text, "max=9").

package/test/eyelang/conformance/expected/077_recursive_path_with_lists.pl

@@ -0,0 +1,3 @@
+answer(path, [a, b, c, d]).
+answer(prefix, [a, b]).
+answer(suffix, [c, d]).

package/test/eyelang/conformance/expected/078_mutual_recursion_with_arithmetic.pl

@@ -0,0 +1,7 @@
+answer(even, 0).
+answer(even, 2).
+answer(even, 4).
+answer(even, 6).
+answer(odd, 1).
+answer(odd, 3).
+answer(odd, 5).

package/test/eyelang/conformance/expected/079_big_integer_arithmetic.pl

@@ -0,0 +1,6 @@
+answer(add_big, 9007199254741000).
+answer(sub_big, 9007199254740993).
+answer(mul_big, 121932631112635269).
+answer(pow_big, 9223372036854775808).
+answer(div_big, 4611686018427387904).
+answer(mod_big, 9).

package/test/eyelang/conformance/expected/080_rounding_modes.pl

@@ -0,0 +1,8 @@
+answer(floor_pos, 3).
+answer(floor_neg, -4).
+answer(ceiling_pos, 4).
+answer(ceiling_neg, -3).
+answer(trunc_pos, 3).
+answer(trunc_neg, -3).
+answer(round_half_up, 3).
+answer(round_half_neg, -2).

package/test/eyelang/conformance/expected/081_zero_safe_numeric_functions.pl

@@ -0,0 +1,7 @@
+answer(sin_zero, 0.0).
+answer(cos_zero, 1.0).
+answer(tan_zero, 0.0).
+answer(exp_zero, 1.0).
+answer(log_one, 0.0).
+answer(atan2_zero, 0.0).
+answer(sqrt_one, 1.0).

package/test/eyelang/conformance/expected/082_comparison_semantics.pl

@@ -0,0 +1,8 @@
+answer(integer_order, ok).
+answer(decimal_equal_le, ok).
+answer(numeric_not_lexical, ok).
+answer(duration_years, ok).
+answer(duration_months, ok).
+answer(atom_lexical, ok).
+answer(string_lexical, ok).
+answer(compound_lexical_text, ok).

package/test/eyelang/conformance/expected/083_between_modes_and_empty_ranges.pl

@@ -0,0 +1,8 @@
+answer(enumerated, -1).
+answer(enumerated, 0).
+answer(enumerated, 1).
+answer(check_bound, ok).
+answer(check_low_edge, ok).
+answer(check_high_edge, ok).
+answer(check_outside_rejected, ok).
+answer(empty_range_rejected, ok).

package/test/eyelang/conformance/expected/084_append_and_select_composition.pl

@@ -0,0 +1,10 @@
+answer(split, pair([], [x, y, z])).
+answer(split, pair([x], [y, z])).
+answer(split, pair([x, y], [z])).
+answer(split, pair([x, y, z], [])).
+answer(select_middle, [x, z]).
+answer(select_duplicate, pair(a, [b, a])).
+answer(select_duplicate, pair(b, [a, a])).
+answer(select_duplicate, pair(a, [a, b])).
+answer(rebuild, [a, b, c, d]).
+answer(no_select_rejected, ok).

package/test/eyelang/conformance/expected/085_nth_and_update_edges.pl

@@ -0,0 +1,8 @@
+answer(index_value, pair(0, red)).
+answer(index_value, pair(1, green)).
+answer(index_value, pair(2, blue)).
+answer(bound_index, green).
+answer(set_first, [blue, green]).
+answer(set_last, [a, b, z]).
+answer(index_too_large_rejected, ok).
+answer(set_too_large_rejected, ok).

package/test/eyelang/conformance/expected/086_slicing_pipeline.pl

@@ -0,0 +1,7 @@
+answer(head, zero).
+answer(rest, [one, two, three, four]).
+answer(last, four).
+answer(take_three, [zero, one, two]).
+answer(drop_three, [three, four]).
+answer(slice_middle, [one, two, three]).
+answer(slice_tail_empty, []).

package/test/eyelang/conformance/expected/087_sort_reverse_length.pl

@@ -0,0 +1,6 @@
+answer(length_empty, 0).
+answer(length_nested, 3).
+answer(reverse_atoms, [c, b, a]).
+answer(sort_numbers, [1, 2, 3]).
+answer(sort_mixed_terms, [1, 2, a, b, "s", pair(a)]).
+answer(reverse_empty, []).

package/test/eyelang/conformance/expected/088_list_summaries_failures.pl

@@ -0,0 +1,6 @@
+answer(sum_integers, 10).
+answer(sum_decimals, 3.0).
+answer(min_terms, pair(a)).
+answer(max_terms, pair(c)).
+answer(sum_non_number_rejected, ok).
+answer(set_scalars, [b, a, 1, "a"]).

package/test/eyelang/conformance/expected/089_string_split_join_pipeline.pl

@@ -0,0 +1,4 @@
+answer(parts, ["alpha", "beta", "gamma"]).
+answer(pipe, "alpha|beta|gamma").
+answer(first_upper, "ALPHA").
+answer(last_lower, "gamma").

package/test/eyelang/conformance/expected/090_string_substring_replace_edges.pl

@@ -0,0 +1,7 @@
+answer(prefix, "eye").
+answer(middle, "la").
+answer(suffix, "ng").
+answer(empty_at_end, "").
+answer(out_of_range_rejected, ok).
+answer(replace_all, "baNANA").
+answer(replace_missing, "banana").

package/test/eyelang/conformance/expected/091_string_case_and_trim.pl

@@ -0,0 +1,5 @@
+answer(lower_mixed, "hello world 123!").
+answer(upper_mixed, "HELLO WORLD 123!").
+answer(trim_spaces, "padded").
+answer(trim_tabs_newline, "value").
+answer(trim_empty, "").

package/test/eyelang/conformance/expected/092_scalar_string_conversions.pl

@@ -0,0 +1,7 @@
+answer(number_to_string, "42").
+answer(decimal_string_to_number, -12.75).
+answer(scientific_string_to_number, 1e3).
+answer(atom_to_string, "hello-world").
+answer(string_to_atom_needs_quotes, 'hello-world').
+answer(term_to_string, "result([a, b], score(10))").
+answer(unbound_term_rejected, ok).

package/test/eyelang/conformance/expected/093_regex_named_captures_context.pl

@@ -0,0 +1,5 @@
+answer(level, "warn").
+answer(code, "E42").
+answer(user, "bob").
+answer(no_named_groups_rejected, ok).
+answer(bad_regex_rejected, ok).

package/test/eyelang/conformance/expected/094_context_holds_enumeration.pl

@@ -0,0 +1,8 @@
+answer(term, kind(alert)).
+answer(term, severity(high)).
+answer(term, owner(alice)).
+answer(parts, pair(kind, [alert])).
+answer(parts, pair(severity, [high])).
+answer(parts, pair(owner, [alice])).
+answer(filter, alice).
+answer(missing_rejected, ok).

package/test/eyelang/conformance/expected/095_term_introspection_roundtrip.pl

@@ -0,0 +1,6 @@
+answer(functor_compound, pair(edge, 2)).
+answer(arg_first, a).
+answer(arg_second, b).
+answer(decompose, pair(edge, [a, b])).
+answer(recompose, edge(a, b)).
+answer(roundtrip, edge(a, b)).

package/test/eyelang/conformance/expected/096_functor_scalar_edges.pl

@@ -0,0 +1,6 @@
+answer(atom, pair(alpha, 0)).
+answer(quoted_atom, pair('hello-world', 0)).
+answer(string, pair("text", 0)).
+answer(number, pair(123, 0)).
+answer(list_functor, pair('.', 2)).
+answer(unbound_rejected, ok).

package/test/eyelang/conformance/expected/097_control_negation_once_forall.pl

@@ -0,0 +1,5 @@
+answer(once_choice, a).
+answer(negated_missing, ok).
+answer(negated_existing_rejected, ok).
+answer(all_allowed, ok).
+answer(not_all_allowed_after_extra, ok).

package/test/eyelang/conformance/expected/098_aggregation_nested_templates.pl

@@ -0,0 +1,5 @@
+answer(all_pairs, [result(alice, math, 9), result(alice, logic, 7), result(bob, math, 5), result(bob, logic, 8)]).
+answer(count_high, 2).
+answer(sum_alice, 16).
+answer(best_score, pair(9, result(alice, math))).
+answer(lowest_pair, pair([5, bob], math)).

package/test/eyelang/conformance/expected/099_materialize_multiple_arities.pl

@@ -0,0 +1,4 @@
+answer(a).
+answer(b).
+answer(a, doubled).
+answer(b, doubled).

package/test/eyelang/conformance/expected/100_reusable_builtin_workflow.pl

@@ -0,0 +1,6 @@
+answer(total(alice), 15).
+answer(total(bob), 6).
+answer(maximum(alice), 7).
+answer(maximum(bob), 4).
+answer(report(alice), "alice:3").
+answer(report(bob), "bob:2").

package/test/eyelang/run-conformance.mjs

@@ -9,35 +9,34 @@ import { fileURLToPath } from 'node:url';
 import { TestReporter, isMainModule } from './test-style.mjs';
 
 const root = path.resolve(path.dirname(fileURLToPath(import.meta.url)));
-const profileArg = process.argv[2] ?? 'conformance';
+const filterArg = process.argv[2] ?? null;
 
-export function runConformance(reporter = new TestReporter(), requestedProfiles = null) {
-  const profiles = requestedProfiles ?? (profileArg === 'conformance' ? ['core', 'extension'] : [profileArg]);
-  for (const profile of profiles) runProfile(reporter, profile);
+export function runConformance(reporter = new TestReporter(), requestedFilter = null) {
+  const filter = requestedFilter ?? filterArg;
+  const label = filter == null ? 'eyelang' : `eyelang ${filter}`;
+  reporter.section(`Conformance ${label}`);
+  for (const file of listCaseFiles(filter)) runCaseFile(reporter, file);
+  reporter.sectionTotal(`conformance ${label}`);
 }
 
-function runProfile(reporter, profile) {
-  const casesDir = path.join(root, 'conformance', 'cases', profile);
-  const expectedDir = path.join(root, 'conformance', 'expected', profile);
-
-  reporter.section(`Conformance ${profile}`);
-
-  const files = fs.readdirSync(casesDir)
+function listCaseFiles(filter = null) {
+  const casesDir = path.join(root, 'conformance', 'cases');
+  return fs.readdirSync(casesDir)
     .filter((name) => name.endsWith('.pl'))
+    .filter((name) => filter == null || name.includes(filter) || name.slice(0, -3) === filter)
     .sort();
+}
 
-  for (const file of files) {
-    const name = file.slice(0, -3);
-    const label = `${profile}/${name}`;
-    reporter.test(label, () => runCase(profile, name, file, casesDir, expectedDir));
-  }
-
-  reporter.sectionTotal(`conformance ${profile}`);
+function runCaseFile(reporter, file) {
+  const name = file.slice(0, -3);
+  reporter.test(name, () => runCase(name, file));
 }
 
-function runCase(profile, name, file, casesDir, expectedDir) {
+function runCase(name, file) {
+  const casesDir = path.join(root, 'conformance', 'cases');
+  const expectedDir = path.join(root, 'conformance', 'expected');
   const programFile = path.join(casesDir, file);
-  const expected = path.join(expectedDir, `${name}.out`);
+  const expected = path.join(expectedDir, `${name}.pl`);
   const text = fs.readFileSync(programFile, 'utf8');
   const program = Program.parseSources([{ text, filename: file }], { sourceMetadata: false, markRecursive: false });
   const actual = run(program).stdout;
@@ -48,8 +47,7 @@ function runCase(profile, name, file, casesDir, expectedDir) {
 
   const expectedText = fs.readFileSync(expected, 'utf8');
   if (expectedText !== actual) {
-    throw new Error(`output mismatch for ${profile}/${name}
-${diffText(expected, actual)}`.trimEnd());
+    throw new Error(`output mismatch for ${name}\n${diffText(expected, actual)}`.trimEnd());
   }
 }
 

package/test/packlist.test.js

@@ -46,8 +46,6 @@ try {
     'bin/eyeling.cjs',
     'dist/browser/eyeling.browser.js',
     'dist/browser/index.mjs',
-    'docs/eyelang-guide.md',
-    'docs/eyelang-language-reference.md',
   ];
 
   for (const p of mustHave) assert.ok(paths.has(p), `missing from npm pack: ${p}`);

package/test/run.js

@@ -22,8 +22,6 @@ const sections = [
   ['Manifest tests', node, ['test/manifest.test.js']],
   ['RDF 1.2 syntax tests', node, ['test/rdf12.test.js']],
   ['Playground tests', node, ['test/playground.test.js']],
-  ['Eyelang second-engine tests', node, ['test/eyelang.test.js']],
-  ['Eyelang corpus tests', node, ['test/eyelang/run-all.mjs']],
   ['Package tests', node, ['test/package.test.js']],
 ];