eyelang 1.7.4 → 1.7.5

package/test/conformance/expected/context/holds_fails_when_missing.eye

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

package/test/conformance/expected/context/holds_parts_from_formula.eye

@@ -0,0 +1,2 @@
+answer(edge, a, b).
+answer(label, a, "A").

package/test/conformance/expected/control/double_negation_ground_goal.eye

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

package/test/conformance/expected/control/forall_detects_counterexample.eye

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

package/test/conformance/expected/control/forall_empty_generator_true.eye

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

package/test/conformance/expected/control/negation_with_bound_generator.eye

@@ -0,0 +1 @@
+answer(a).

package/test/conformance/expected/control/once_keeps_first_answer.eye

@@ -0,0 +1 @@
+answer(a).

package/test/conformance/expected/declarations/det_semidet_do_not_emit_without_materialize.eye

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

package/test/conformance/expected/lists/head_rest_last.eye

@@ -0,0 +1,3 @@
+answer(head, a).
+answer(rest, [b, c]).
+answer(last, c).

package/test/conformance/expected/lists/length_empty_and_nested.eye

@@ -0,0 +1,2 @@
+answer(empty, 0).
+answer(nested, 2).

package/test/conformance/expected/lists/list_to_set_structural_duplicates.eye

@@ -0,0 +1 @@
+answer([pair(a, 1), pair(a, 2)]).

package/test/conformance/expected/lists/min_list_empty_fails.eye

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

package/test/conformance/expected/lists/nth0_known_value.eye

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

package/test/conformance/expected/lists/nth0_out_of_range_fails.eye

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

package/test/conformance/expected/lists/reverse_empty.eye

@@ -0,0 +1 @@
+answer([]).

package/test/conformance/expected/lists/select_all_occurrences.eye

@@ -0,0 +1,3 @@
+answer(a, [b, a]).
+answer(b, [a, a]).
+answer(a, [a, b]).

package/test/conformance/expected/lists/set_nth0_middle.eye

@@ -0,0 +1 @@
+answer([a, z, c]).

package/test/conformance/expected/lists/slice_out_of_range_fails.eye

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

package/test/conformance/expected/lists/sort_structured_terms.eye

@@ -0,0 +1 @@
+answer([a(1), a(3), b(2)]).

package/test/conformance/expected/lists/sum_list_empty_zero.eye

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

package/test/conformance/expected/lists/sum_min_max_list.eye

@@ -0,0 +1,3 @@
+answer(sum, 10).
+answer(min, -2).
+answer(max, 7).

package/test/conformance/expected/lists/take_zero_and_drop_all.eye

@@ -0,0 +1,2 @@
+answer(take, []).
+answer(drop, []).

package/test/conformance/expected/rules/left_to_right_body_binding.eye

@@ -0,0 +1 @@
+answer(alice, clara).

package/test/conformance/expected/rules/transitive_rule_three_edges.eye

@@ -0,0 +1,6 @@
+path(a, b).
+path(b, c).
+path(c, d).
+path(a, c).
+path(a, d).
+path(b, d).

package/test/conformance/expected/strings/atom_string_from_string.eye

@@ -0,0 +1 @@
+answer(hello_world).

package/test/conformance/expected/strings/casefold_atoms.eye

@@ -0,0 +1,2 @@
+answer(lower, "helloworld").
+answer(upper, "HELLOWORLD").

package/test/conformance/expected/strings/contains_empty_needle.eye

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

package/test/conformance/expected/strings/join_mixed_scalars.eye

@@ -0,0 +1 @@
+answer("a-b-3").

package/test/conformance/expected/strings/matches_simple_alternation.eye

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

package/test/conformance/expected/strings/named_regex_two_groups.eye

@@ -0,0 +1 @@
+answer(["Ada"], ["Lovelace"]).

package/test/conformance/expected/strings/not_matches_simple_pattern.eye

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

package/test/conformance/expected/strings/number_string_from_string.eye

@@ -0,0 +1 @@
+answer(42).

package/test/conformance/expected/strings/number_string_rejects_non_numeric.eye

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

package/test/conformance/expected/strings/replace_empty_search_no_change.eye

@@ -0,0 +1 @@
+answer("abc").

package/test/conformance/expected/strings/split_without_separator_match.eye

@@ -0,0 +1 @@
+answer(["abc"]).

package/test/conformance/expected/strings/substring_out_of_range_fails.eye

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

package/test/conformance/expected/strings/substring_zero_count.eye

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

package/test/conformance/expected/strings/term_string_nested_term.eye

@@ -0,0 +1 @@
+answer("pair(<urn:example:a>, [1, two])").

package/test/conformance/expected/strings/trim_tabs_and_spaces.eye

@@ -0,0 +1 @@
+answer("hello").

package/test/conformance/expected/table/tabled_left_recursion_path.eye

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

package/test/conformance/expected/terms/arg_first_and_second.eye

@@ -0,0 +1,2 @@
+answer(first, a).
+answer(second, b).

package/test/conformance/expected/terms/arg_zero_fails.eye

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

package/test/conformance/expected/terms/compound_name_arguments_bad_args_fail.eye

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

package/test/conformance/expected/terms/compound_name_arguments_builds_compound.eye

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

package/test/conformance/expected/terms/compound_name_arguments_iri_name.eye

@@ -0,0 +1 @@
+answer(<urn:example:a>, []).

package/test/conformance/expected/terms/functor_number_and_string.eye

@@ -0,0 +1,2 @@
+answer(number, 42, 0).
+answer(string, "hi", 0).

package/test/conformance/expected/terms/term_string_readback_iri_list.eye

@@ -0,0 +1 @@
+answer("[<urn:example:a>, <urn:example:b>]").

package/test/conformance/expected/unification/compound_arity_mismatch_fails.eye

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

package/test/conformance/expected/unification/list_tail_binding.eye

@@ -0,0 +1 @@
+answer([b, c]).

package/test/conformance/expected/unification/nested_repeated_variable.eye

@@ -0,0 +1 @@
+answer(a).

package/test/conformance/expected/unification/scalar_cross_type_same_lexical_value.eye

@@ -0,0 +1,2 @@
+answer(atom_number).
+answer(number_string).

package/test/conformance/expected/variables/clause_local_variable_names.eye

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

package/test/conformance/expected/variables/question_variable_digits_and_underscore.eye

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

package/test/conformance/expected/variables/question_variable_uppercase_name.eye

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

package/test/conformance/expected-errors/atoms/hash_comment_not_atom_at_line_start.txt

@@ -0,0 +1 @@
+parse line 1: expected ., got bad

package/test/conformance/expected-errors/lists/missing_list_tail.txt

@@ -0,0 +1 @@
+parse line 1: bad term

package/test/conformance/expected-errors/rules/rule_head_cannot_be_empty_parentheses.txt

@@ -0,0 +1 @@
+parse line 1: bad term

package/test/conformance/expected-errors/syntax/angle_iri_with_space_rejected.txt

@@ -0,0 +1 @@
+parse line 1: expected ), got urn

package/test/conformance/expected-errors/syntax/bad_question_digit_variable.txt

@@ -0,0 +1 @@
+parse line 1: expected ), got 1

package/test/conformance/expected-errors/syntax/bad_question_variable.txt

@@ -0,0 +1 @@
+parse line 1: expected ), got ?

package/test/conformance/expected-errors/syntax/empty_body_after_rule_marker.txt

@@ -0,0 +1 @@
+parse line 1: bad term

package/test/conformance/expected-errors/syntax/empty_compound_nested.txt

@@ -0,0 +1 @@
+parse line 1: zero-arity compound syntax is not supported; use atom "nil" for arity zero data

package/test/conformance/expected-errors/syntax/missing_period.txt

@@ -0,0 +1 @@
+parse line 2: expected ., got 

package/test/conformance/expected-errors/syntax/relative_angle_iri_rejected.txt

@@ -0,0 +1 @@
+parse line 1: expected ), got relative

package/test/conformance/expected-errors/syntax/trailing_comma_in_body.txt

@@ -0,0 +1 @@
+parse line 1: bad term

package/test/conformance/expected-errors/syntax/unclosed_compound.txt

@@ -0,0 +1 @@
+parse line 1: expected ), got .

package/test/conformance/expected-errors/syntax/unclosed_list.txt

@@ -0,0 +1 @@
+parse line 1: expected ], got )

package/test/conformance/expected-errors/syntax/unclosed_quoted_atom.txt

@@ -0,0 +1 @@
+parse line 1: unterminated quoted term

package/test/conformance/expected-errors/syntax/unclosed_string.txt

@@ -0,0 +1 @@
+parse line 1: unterminated quoted term

package/test/conformance/expected-errors/syntax/unquoted_colon_predicate.txt

@@ -0,0 +1 @@
+colon names are not supported; use name or prefix_name

package/test/conformance/expected-errors/syntax/unquoted_dotted_predicate.txt

@@ -0,0 +1 @@
+parse line 1: expected ), got .

package/test/conformance/expected-errors/variables/bare_underscore_in_list_rejected.txt

@@ -0,0 +1 @@
+parse line 1: bad character "_"

package/test/conformance/expected-errors/variables/bare_underscore_name_in_compound_rejected.txt

@@ -0,0 +1 @@
+parse line 1: bad character "_"

package/test/conformance/expected-errors/variables/uppercase_in_body_rejected.txt

@@ -0,0 +1 @@
+parse line 1: bad character "X"

package/test/conformance/expected-warnings/negation/stratified_negative_unknown_after_positive_quiet.eye

@@ -0,0 +1 @@
+answer(a).

package/test/conformance/expected-warnings/negation/stratified_two_level_quiet.eye

@@ -0,0 +1 @@
+answer(a).

package/test/conformance/expected-warnings/negation/unstratified_positive_prefix.txt

@@ -0,0 +1,2 @@
+eyelang warning: unstratified negation
+  helper/1 depends negatively on q/1

package/test/conformance/expected-warnings/negation/unstratified_two_arity_cycle.txt

@@ -0,0 +1,3 @@
+eyelang warning: unstratified negation
+  p/2 depends negatively on q/2
+  q/2 depends negatively on p/2

package/test/conformance/expected-warnings/negation/unstratified_two_independent_cycles.txt

@@ -0,0 +1,5 @@
+eyelang warning: unstratified negation
+  p/1 depends negatively on q/1
+  q/1 depends negatively on p/1
+  r/1 depends negatively on s/1
+  s/1 depends negatively on r/1

package/test/conformance/expected-warnings/negation/unstratified_with_iri_predicates.txt

@@ -0,0 +1,3 @@
+eyelang warning: unstratified negation
+  p/1 depends negatively on q/1
+  q/1 depends negatively on p/1

package/test/conformance/expected-warnings/negation/warning_preserves_multiple_stdout_answers.txt

@@ -0,0 +1,3 @@
+eyelang warning: unstratified negation
+  p/1 depends negatively on q/1
+  q/1 depends negatively on p/1

package/test/conformance/warnings/negation/stratified_negative_unknown_after_positive_quiet.eye

@@ -0,0 +1,3 @@
+materialize(answer, 1).
+item(a).
+answer(?x) :- item(?x), not(missing(?x)).

package/test/conformance/warnings/negation/stratified_two_level_quiet.eye

@@ -0,0 +1,5 @@
+materialize(answer, 1).
+base(a).
+blocked(b).
+allowed(?x) :- base(?x), not(blocked(?x)).
+answer(?x) :- allowed(?x).

package/test/conformance/warnings/negation/unstratified_positive_prefix.eye

@@ -0,0 +1,5 @@
+materialize(answer, 1).
+p(a) :- helper(a).
+helper(a) :- not(q(a)).
+q(a) :- p(a).
+answer(ok).

package/test/conformance/warnings/negation/unstratified_two_arity_cycle.eye

@@ -0,0 +1,4 @@
+materialize(answer, 1).
+p(a, b) :- not(q(a, b)).
+q(a, b) :- not(p(a, b)).
+answer(ok).

package/test/conformance/warnings/negation/unstratified_two_independent_cycles.eye

@@ -0,0 +1,6 @@
+materialize(answer, 1).
+p(a) :- not(q(a)).
+q(a) :- not(p(a)).
+r(a) :- not(s(a)).
+s(a) :- not(r(a)).
+answer(ok).

package/test/conformance/warnings/negation/unstratified_with_iri_predicates.eye

@@ -0,0 +1,4 @@
+materialize(answer, 1).
+p(<urn:example:a>) :- not(q(<urn:example:a>)).
+q(<urn:example:a>) :- not(p(<urn:example:a>)).
+answer(ok).

package/test/conformance/warnings/negation/warning_preserves_multiple_stdout_answers.eye

@@ -0,0 +1,5 @@
+materialize(answer, 1).
+p(a) :- not(q(a)).
+q(a) :- not(p(a)).
+answer(a).
+answer(b).

package/test/run-regression.mjs

@@ -371,7 +371,7 @@ function documentationSyncCases() {
       run: () => {
         const report = buildConformanceReport();
         assertArrayEqual(report.issues, [], 'conformance report issues');
-        assertEqual(report.total.total >= 150, true, 'conformance case count');
+        assertEqual(report.total.total >= 250, true, 'conformance case count');
         assertEqual(report.total.positive + report.total.errors + report.total.warnings, report.total.total, 'conformance total');
         const text = formatConformanceReport(report);
         assertIncludes(text, '| variables |', 'report');