eyelang 1.7.3 → 1.7.5

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(?x_1) :- eq(?x_1, ok).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(?X) :- eq(?X, ok).

package/test/conformance/cases/variables/variable_scope_per_clause.eye

@@ -0,0 +1,6 @@
+% Reusing a variable name in separate clauses does not connect the clauses.
+materialize(answer, 1).
+left(a).
+right(b).
+answer(?x) :- left(?x).
+answer(?x) :- right(?x).

package/test/conformance/errors/atoms/hash_comment_not_atom_at_line_start.eye

@@ -0,0 +1 @@
+#bad(ok).

package/test/conformance/errors/atoms/relative_angle_name_rejected.eye

@@ -0,0 +1 @@
+answer(<relative>).

package/test/conformance/errors/atoms/space_in_angle_iri_rejected.eye

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

package/test/conformance/errors/atoms/unclosed_angle_iri_rejected.eye

@@ -0,0 +1 @@
+answer(<urn:example:open).

package/test/conformance/errors/lists/missing_list_tail.eye

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

package/test/conformance/errors/rules/rule_head_cannot_be_empty_parentheses.eye

@@ -0,0 +1 @@
+() :- seed(ok).

package/test/conformance/errors/syntax/angle_iri_with_space_rejected.eye

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

package/test/conformance/errors/syntax/bad_question_digit_variable.eye

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

package/test/conformance/errors/syntax/bad_question_variable.eye

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

package/test/conformance/errors/syntax/empty_body_after_rule_marker.eye

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

package/test/conformance/errors/syntax/empty_compound_nested.eye

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

package/test/conformance/errors/syntax/missing_final_dot_rejected.eye

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

package/test/conformance/errors/syntax/missing_period.eye

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

package/test/conformance/errors/syntax/relative_angle_iri_rejected.eye

@@ -0,0 +1 @@
+answer(<relative>).

package/test/conformance/errors/syntax/trailing_comma_in_body.eye

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

package/test/conformance/errors/syntax/unclosed_compound.eye

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

package/test/conformance/errors/syntax/unclosed_list.eye

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

package/test/conformance/errors/syntax/unclosed_list_rejected.eye

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

package/test/conformance/errors/syntax/unclosed_quoted_atom.eye

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

package/test/conformance/errors/syntax/unclosed_string.eye

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

package/test/conformance/errors/syntax/unquoted_colon_predicate.eye

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

package/test/conformance/errors/syntax/unquoted_dotted_predicate.eye

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

package/test/conformance/errors/syntax/uppercase_predicate_rejected.eye

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

package/test/conformance/errors/terms/zero_arity_compound_nested_rejected.eye

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

package/test/conformance/errors/variables/bare_underscore_in_list_rejected.eye

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

package/test/conformance/errors/variables/bare_underscore_name_in_compound_rejected.eye

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

package/test/conformance/errors/variables/question_digit_rejected.eye

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

package/test/conformance/errors/variables/question_dot_rejected.eye

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

package/test/conformance/errors/variables/uppercase_in_body_rejected.eye

@@ -0,0 +1 @@
+answer(ok) :- seed(X).

package/test/conformance/expected/aggregation/aggregate_max_no_answers_fails.eye

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

package/test/conformance/expected/aggregation/aggregate_min_structured_key.eye

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

package/test/conformance/expected/aggregation/countall_zero.eye

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

package/test/conformance/expected/aggregation/findall_empty_bag.eye

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

package/test/conformance/expected/aggregation/sumall_empty_zero.eye

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

package/test/conformance/expected/arithmetic/between_bound_value.eye

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

package/test/conformance/expected/arithmetic/between_singleton.eye

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

package/test/conformance/expected/arithmetic/duration_comparison.eye

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

package/test/conformance/expected/arithmetic/float_add_and_div.eye

@@ -0,0 +1,2 @@
+answer(add, 3.75).
+answer(div, 3).

package/test/conformance/expected/arithmetic/min_max_mixed.eye

@@ -0,0 +1,2 @@
+answer(min, 2.5).
+answer(max, 3.0).

package/test/conformance/expected/arithmetic/mod_negative_left.eye

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

package/test/conformance/expected/arithmetic/neg_abs_integer.eye

@@ -0,0 +1,2 @@
+answer(neg, -7).
+answer(abs, 7).

package/test/conformance/expected/arithmetic/pow_negative_exponent_fails.eye

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

package/test/conformance/expected/arithmetic/pow_zero_exponent.eye

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

package/test/conformance/expected/arithmetic/rounding_negative_float.eye

@@ -0,0 +1,4 @@
+answer(floor, -2).
+answer(ceiling, -1).
+answer(trunc, -1).
+answer(rounded, -1).

package/test/conformance/expected/arithmetic/smallest_divisor_prime.eye

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

package/test/conformance/expected/arithmetic/sqrt_negative_fails.eye

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

package/test/conformance/expected/atoms/graphic_atom_predicate.eye

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

package/test/conformance/expected/atoms/graphic_less_than_atom.eye

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

package/test/conformance/expected/atoms/iri_as_predicate_name_quoted.eye

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

package/test/conformance/expected/atoms/iri_mailto_readback.eye

@@ -0,0 +1 @@
+answer(<mailto:alice@example.org>).

package/test/conformance/expected/atoms/iri_query_fragment_readback.eye

@@ -0,0 +1 @@
+answer(<https://example.org/path?x=1#frag>).

package/test/conformance/expected/atoms/iri_urn_readback.eye

@@ -0,0 +1 @@
+answer(<urn:example:alpha>).

package/test/conformance/expected/atoms/quoted_urn_iri_readback.eye

@@ -0,0 +1 @@
+answer(<urn:example:quoted>).

package/test/conformance/expected/builtins/atom_string_iri_atom.eye

@@ -0,0 +1 @@
+answer("urn:example:a").

package/test/conformance/expected/builtins/eq_unifies_iri_atoms.eye

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

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

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

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/declarations/mode_ignored_when_arity_mismatch.eye

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

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

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

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

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

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/improper_list_readback.eye

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

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/list_with_iri_atoms.eye

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

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/materialize/source_facts_suppressed.eye

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

package/test/conformance/expected/negation/not_unknown_goal_succeeds.eye

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

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/syntax/parenthesized_query_style_body.eye

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

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_atom_zero_args.eye

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

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_atom_from_empty_args.eye

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

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_atom_arity_zero.eye

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

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/anonymous_in_two_goals.eye

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

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

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

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

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

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

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

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

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

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

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

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/atoms/relative_angle_name_rejected.txt

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

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

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

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

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

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_final_dot_rejected.txt

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

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_list_rejected.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/syntax/uppercase_predicate_rejected.txt

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

package/test/conformance/expected-errors/terms/zero_arity_compound_nested_rejected.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/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/question_digit_rejected.txt

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

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

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

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/negative_unknown_group_quiet.eye

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