eyelang 1.7.6 → 1.7.8

package/conformance-report.md

@@ -4,23 +4,22 @@ This report summarizes the file-based conformance corpus under `test/conformance
 
 | Category | Positive | Errors | Warnings | Proofs | Total |
 |---|---:|---:|---:|---:|---:|
-| aggregation | 5 | 0 | 0 | 0 | 5 |
-| arithmetic | 12 | 0 | 0 | 0 | 12 |
-| atoms | 14 | 5 | 0 | 0 | 19 |
-| builtins | 2 | 0 | 0 | 0 | 2 |
-| context | 3 | 0 | 0 | 0 | 3 |
-| control | 5 | 0 | 0 | 0 | 5 |
-| declarations | 5 | 0 | 0 | 0 | 5 |
-| legacy-numbered | 104 | 0 | 0 | 0 | 104 |
-| lists | 18 | 1 | 0 | 0 | 19 |
-| materialize | 2 | 0 | 0 | 0 | 2 |
-| negation | 3 | 0 | 13 | 0 | 16 |
-| proofs | 0 | 0 | 0 | 8 | 8 |
-| rules | 2 | 1 | 0 | 0 | 3 |
-| strings | 15 | 0 | 0 | 0 | 15 |
-| syntax | 4 | 19 | 0 | 0 | 23 |
-| table | 2 | 0 | 0 | 0 | 2 |
-| terms | 10 | 1 | 0 | 0 | 11 |
-| unification | 4 | 0 | 0 | 0 | 4 |
-| variables | 8 | 8 | 0 | 0 | 16 |
-| **Total** | **218** | **35** | **13** | **8** | **274** |
+| aggregation | 17 | 0 | 0 | 0 | 17 |
+| arithmetic | 40 | 0 | 0 | 0 | 40 |
+| atoms | 22 | 8 | 0 | 0 | 30 |
+| builtins | 10 | 0 | 0 | 0 | 10 |
+| context | 11 | 0 | 0 | 0 | 11 |
+| control | 15 | 0 | 0 | 0 | 15 |
+| declarations | 6 | 0 | 0 | 0 | 6 |
+| lists | 54 | 3 | 0 | 0 | 57 |
+| materialize | 8 | 0 | 0 | 0 | 8 |
+| negation | 8 | 0 | 19 | 0 | 27 |
+| proofs | 0 | 0 | 0 | 20 | 20 |
+| rules | 12 | 3 | 0 | 0 | 15 |
+| strings | 40 | 0 | 0 | 0 | 40 |
+| syntax | 11 | 28 | 0 | 0 | 39 |
+| table | 6 | 0 | 0 | 0 | 6 |
+| terms | 25 | 3 | 0 | 0 | 28 |
+| unification | 16 | 0 | 0 | 0 | 16 |
+| variables | 16 | 11 | 0 | 0 | 27 |
+| **Total** | **317** | **56** | **19** | **20** | **412** |

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyelang",
-  "version": "1.7.6",
+  "version": "1.7.8",
   "description": "A small Prolog-like logic programming language for rules, goals, answers, and proofs.",
   "type": "module",
   "main": "./index.js",

package/test/conformance/README.md

@@ -4,6 +4,8 @@ This directory contains the executable conformance cases for the Eyelang languag
 
 The suite is intentionally file-based so another implementation can run the same programs and compare exact standard output, expected errors, expected warnings, and expected proof output. The conformance corpus is part of the public language contract, not just an implementation smoke test.
 
+All conformance files live under topic directories such as `arithmetic/`, `lists/`, `syntax/`, or `variables/`; new top-level numbered files should not be added. The report uses those directories as coverage categories.
+
 A normal positive case consists of:
 
 - `conformance/cases/<name>.eye` — input program;

package/test/conformance/cases/aggregation/extra_aggregate_max_iri_key.eye

@@ -0,0 +1,4 @@
+materialize(answer, 3).
+rank(<urn:example:a>, low).
+rank(<urn:example:z>, high).
+answer(aggregate_max_iri_key, ?key, ?value) :- aggregate_max(?k, ?v, rank(?k, ?v), ?key, ?value).

package/test/conformance/cases/aggregation/extra_aggregate_min_tie_first.eye

@@ -0,0 +1,5 @@
+materialize(answer, 3).
+score(2, first).
+score(1, keep).
+score(1, also).
+answer(aggregate_min_tie_first, ?key, ?value) :- aggregate_min(?k, ?v, score(?k, ?v), ?key, ?value).

package/test/conformance/cases/aggregation/extra_countall_with_filter.eye

@@ -0,0 +1,5 @@
+materialize(answer, 2).
+num(1).
+num(2).
+num(3).
+answer(countall_with_filter, ?n) :- countall((num(?x), gt(?x, 1)), ?n).

package/test/conformance/cases/aggregation/extra_findall_repeated_template.eye

@@ -0,0 +1,4 @@
+materialize(answer, 2).
+item(a).
+item(b).
+answer(findall_repeated_template, ?bag) :- findall(pair(?x, ?x), item(?x), ?bag).

package/test/conformance/cases/aggregation/extra_sumall_float_template.eye

@@ -0,0 +1,4 @@
+materialize(answer, 2).
+val(1.5).
+val(2.25).
+answer(sumall_float_template, ?sum) :- sumall(?x, val(?x), ?sum).

package/test/conformance/cases/arithmetic/extra_acos_one.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(acos_one, ?x) :- acos(1, ?x).

package/test/conformance/cases/arithmetic/extra_asin_zero.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(asin_zero, ?x) :- asin(0, ?x).

package/test/conformance/cases/arithmetic/extra_atan2_axis.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(atan2_axis, ?x) :- atan2(0, 1, ?x).

package/test/conformance/cases/arithmetic/extra_difference_leap_day.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(difference_leap_day, ?x) :- difference("2024-03-01", "2024-02-28", ?x).

package/test/conformance/cases/arithmetic/extra_difference_same_day.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(difference_same_day, ?x) :- difference("2026-06-23", "2026-06-23", ?x).

package/test/conformance/cases/arithmetic/extra_div_float_exact.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(div_float_exact, ?x) :- div(7.5, 2.5, ?x).

package/test/conformance/cases/arithmetic/extra_div_integer_trunc.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(div_integer_trunc, ?x) :- div(7, 2, ?x).

package/test/conformance/cases/arithmetic/extra_division_by_zero_fails.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(division_by_zero_fails) :- div(1, 0, ?_).

package/test/conformance/cases/arithmetic/extra_exp_zero.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(exp_zero, ?x) :- exp(0, ?x).

package/test/conformance/cases/arithmetic/extra_ge_equal_duration.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ge_equal_duration) :- ge("P1Y2M3D", "P1Y2M3D").

package/test/conformance/cases/arithmetic/extra_le_equal_string.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(le_equal_string) :- le("abc", "abc").

package/test/conformance/cases/arithmetic/extra_log_one.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(log_one, ?x) :- log(1, ?x).

package/test/conformance/cases/arithmetic/extra_mod_negative_right.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(mod_negative_right, ?x) :- mod(7, -3, ?x).

package/test/conformance/cases/arithmetic/extra_pow_large_integer.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(pow_large_integer, ?x) :- pow(2, 10, ?x).

package/test/conformance/cases/atoms/extra_graphic_backslash_atom.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(graphic_backslash_atom, \).

package/test/conformance/cases/atoms/extra_iri_mailto_plus.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(iri_mailto_plus, <mailto:jos+eyelang@example.org>).

package/test/conformance/cases/atoms/extra_iri_uuid_scheme.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(iri_uuid_scheme, <urn:uuid:123e4567-e89b-12d3-a456-426614174000>).

package/test/conformance/cases/atoms/extra_quoted_atom_with_quote_readback.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(quoted_atom_with_quote_readback, 'can''t').

package/test/conformance/cases/builtins/extra_difference_end_before_start_fails.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(difference_end_before_start_fails) :- difference("2024-01-01", "2024-01-02", ?_).

package/test/conformance/cases/builtins/extra_difference_invalid_date_fails.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(difference_invalid_date_fails) :- difference("2024-02-30", "2024-02-01", ?_).

package/test/conformance/cases/builtins/extra_eq_binds_both_sides.eye

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(eq_binds_both_sides, ?x, ?y) :- eq(pair(?x, b), pair(a, ?y)).

package/test/conformance/cases/builtins/extra_neq_different_iri_atoms.eye

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

package/test/conformance/cases/builtins/extra_neq_same_iri_fails.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(neq_same_iri_fails) :- neq(<urn:example:a>, 'urn:example:a').

package/test/conformance/cases/context/extra_holds_atom_parts.eye

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(holds_atom_parts, ?name, ?args) :- holds((ready, box(a)), ?name, ?args).

package/test/conformance/cases/context/extra_holds_ignores_string_parts.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(holds_ignores_string_parts) :- holds("not a term", ?_, ?_).

package/test/conformance/cases/context/extra_holds_list_parts.eye

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(holds_list_parts, ?name, ?args) :- holds(([a, b], tail), ?name, ?args).

package/test/conformance/cases/context/extra_holds_term_nested_order.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(holds_term_nested_order, ?x) :- holds((a, (b, c)), ?x).

package/test/conformance/cases/control/extra_forall_bound_check.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(forall_bound_check) :- forall(member(?x, [1, 2, 3]), lt(?x, 4)).

package/test/conformance/cases/control/extra_forall_counterexample_fails.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(forall_counterexample_fails) :- forall(member(?x, [1, 2, 3]), lt(?x, 3)).

package/test/conformance/cases/control/extra_not_unbound_existing_goal_fails.eye

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

package/test/conformance/cases/control/extra_not_unbound_unknown_goal_succeeds.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(not_unbound_unknown_goal_succeeds) :- not(missing(?x)).

package/test/conformance/cases/control/extra_once_empty_fails.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(once_empty_fails) :- once(missing).

package/test/conformance/cases/control/extra_once_preserves_binding.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(once_preserves_binding, ?x) :- once(member(?x, [a, b])).

package/test/conformance/cases/lists/extra_append_all_splits_three.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(append_split, pair(?left, ?right)) :- append(?left, ?right, [a, b, c]).

package/test/conformance/cases/lists/extra_append_to_improper_tail.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(append_to_improper_tail, ?x) :- append([a, b], tail, ?x).

package/test/conformance/cases/lists/extra_drop_all.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(drop_all, ?x) :- drop(3, [a, b, c], ?x).

package/test/conformance/cases/lists/extra_head_and_rest_improper.eye

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(head_and_rest_improper, ?h, ?r) :- head([a | b], ?h), rest([a | b], ?r).

package/test/conformance/cases/lists/extra_last_singleton.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(last_singleton, ?x) :- last([only], ?x).

package/test/conformance/cases/lists/extra_length_improper_fails.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(length_improper_fails) :- length([a | b], ?_).

package/test/conformance/cases/lists/extra_list_to_set_stable_order.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(list_to_set_stable_order, ?x) :- list_to_set([b, a, b, c, a], ?x).

package/test/conformance/cases/lists/extra_member_repeated_nested.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(member_repeated_nested, ?x) :- member(pair(?x, ?x), [pair(a, a), pair(a, b), pair(b, b)]).

package/test/conformance/cases/lists/extra_not_member_compound_fails.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(not_member_compound_fails) :- not_member(box(a), [box(a), box(b)]).

package/test/conformance/cases/lists/extra_not_member_compound_success.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(not_member_compound_success) :- not_member(box(c), [box(a), box(b)]).

package/test/conformance/cases/lists/extra_nth0_duplicate_indexes.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(nth0_duplicate_index, ?i) :- nth0(?i, [a, b, a], a).

package/test/conformance/cases/lists/extra_reverse_nested_terms.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(reverse_nested_terms, ?x) :- reverse([box(a), [b, c], <urn:example:d>], ?x).

package/test/conformance/cases/lists/extra_select_structured_duplicate.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(select_structured_duplicate, ?rest) :- select(box(a), [box(a), box(b), box(a)], ?rest).

package/test/conformance/cases/lists/extra_slice_end.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(slice_end, ?x) :- slice(2, 2, [a, b, c, d], ?x).

package/test/conformance/cases/lists/extra_sort_iri_atoms.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(sort_iri_atoms, ?x) :- sort([<urn:example:b>, <urn:example:a>], ?x).

package/test/conformance/cases/lists/extra_take_all.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(take_all, ?x) :- take(3, [a, b, c], ?x).

package/test/conformance/cases/materialize/extra_materialize_derived_only_with_same_source.eye

@@ -0,0 +1,4 @@
+materialize(answer, 1).
+base(ok).
+answer(source).
+answer(derived) :- base(ok).

package/test/conformance/cases/materialize/extra_materialize_selects_arity.eye

@@ -0,0 +1,4 @@
+materialize(item, 2).
+item(a).
+item(a, b).
+item(c, d).

package/test/conformance/cases/negation/extra_not_with_bound_fails.eye

@@ -0,0 +1,3 @@
+materialize(answer, 1).
+known(a).
+answer(not_with_bound_fails) :- not(known(a)).

package/test/conformance/cases/negation/extra_not_with_bound_success.eye

@@ -0,0 +1,3 @@
+materialize(answer, 2).
+known(a).
+answer(not_with_bound_success, b) :- not(known(b)).

package/test/conformance/cases/rules/extra_left_to_right_multiple_bindings.eye

@@ -0,0 +1,5 @@
+materialize(answer, 3).
+left(a).
+right(a, one).
+right(a, two).
+answer(left_to_right_multiple_bindings, ?x, ?y) :- left(?x), right(?x, ?y).

package/test/conformance/cases/rules/extra_structured_head_rule.eye

@@ -0,0 +1,3 @@
+materialize(answer, 2).
+pair_key(pair(a, b)).
+answer(structured_head_rule, ?x) :- pair_key(pair(?x, b)).

package/test/conformance/cases/strings/extra_atom_string_number_input.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(atom_string_number_input, ?x) :- atom_string(?x, 42).

package/test/conformance/cases/strings/extra_join_empty_list.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(join_empty_list, ?x) :- join([], ",", ?x).

package/test/conformance/cases/strings/extra_join_iri_and_atom.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(join_iri_and_atom, ?x) :- join([<urn:example:a>, path, 7], "/", ?x).

package/test/conformance/cases/strings/extra_lowercase_iri_atom.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(lowercase_iri_atom, ?x) :- lowercase(<URN:EXAMPLE:ABC>, ?x).

package/test/conformance/cases/strings/extra_matches_invalid_pattern_fails.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(matches_invalid_pattern_fails) :- matches("abc", "[").

package/test/conformance/cases/strings/extra_named_regex_optional_missing.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(named_regex_optional_missing, ?x) :- matches("abc", "(?<first>a)(?<missing>z)?", ?x).

package/test/conformance/cases/strings/extra_number_string_atom_input.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(number_string_atom_input, ?x) :- number_string(?x, '42').

package/test/conformance/cases/strings/extra_replace_multiple.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(replace_multiple, ?x) :- replace("banana", "na", "NA", ?x).

package/test/conformance/cases/strings/extra_split_empty_separator.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(split_empty_separator, ?x) :- split("ab", "", ?x).

package/test/conformance/cases/strings/extra_substring_last_char.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(substring_last_char, ?x) :- substring("abcd", 3, 1, ?x).

package/test/conformance/cases/strings/extra_term_string_iri_list.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(term_string_iri_list, ?x) :- term_string([<urn:example:a>, box("B")], ?x).

package/test/conformance/cases/strings/extra_uppercase_mixed_string.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(uppercase_mixed_string, ?x) :- uppercase("aBc-1", ?x).

package/test/conformance/cases/syntax/extra_comments_after_terms.eye

@@ -0,0 +1,3 @@
+% Leading comment
+materialize(answer, 2). % declaration comment
+answer(comments_after_terms, ok). % fact comment

package/test/conformance/cases/syntax/extra_nested_parenthesized_body.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(nested_parenthesized_body) :- ((eq(a, a), eq(b, b))).

package/test/conformance/cases/table/extra_table_bound_cycle.eye

@@ -0,0 +1,7 @@
+materialize(reach, 2).
+table(path, 2).
+edge(a, b).
+edge(b, a).
+path(?x, ?y) :- edge(?x, ?y).
+path(?x, ?z) :- edge(?x, ?y), path(?y, ?z).
+reach(a, ?x) :- path(a, ?x).

package/test/conformance/cases/table/extra_table_open_call_fallback.eye

@@ -0,0 +1,5 @@
+materialize(answer, 2).
+table(edge, 2).
+edge(a, b).
+edge(b, c).
+answer(table_open_call_fallback, pair(?x, ?y)) :- edge(?x, ?y).

package/test/conformance/cases/terms/extra_arg_atom_fails.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(arg_atom_fails) :- arg(1, atom, ?_).

package/test/conformance/cases/terms/extra_arg_first_last.eye

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(arg_first_last, ?first, ?last) :- arg(1, triple(a, b, c), ?first), arg(3, triple(a, b, c), ?last).

package/test/conformance/cases/terms/extra_arg_zero_fails.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(arg_zero_fails) :- arg(0, pair(a, b), ?_).

package/test/conformance/cases/terms/extra_compound_name_arguments_bad_args_fails.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(compound_name_arguments_bad_args_fails) :- compound_name_arguments(?_, pair, not_a_list).

package/test/conformance/cases/terms/extra_compound_name_arguments_construct_atom_zero.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(compound_name_arguments_construct_atom_zero, ?x) :- compound_name_arguments(?x, nil, []).

package/test/conformance/cases/terms/extra_compound_name_arguments_construct_iri.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(compound_name_arguments_construct_iri, ?x) :- compound_name_arguments(?x, <urn:example:pair>, [a, b]).

package/test/conformance/cases/terms/extra_compound_name_arguments_decompose_list.eye

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(compound_name_arguments_decompose_list, ?name, ?args) :- compound_name_arguments([a | b], ?name, ?args).

package/test/conformance/cases/terms/extra_functor_list_cons.eye

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(functor_list_cons, ?name, ?arity) :- functor([a, b], ?name, ?arity).

package/test/conformance/cases/terms/extra_functor_number_scalar.eye

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(functor_number_scalar, ?name, ?arity) :- functor(123, ?name, ?arity).

package/test/conformance/cases/terms/extra_functor_string_scalar.eye

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(functor_string_scalar, ?name, ?arity) :- functor("hello", ?name, ?arity).

package/test/conformance/cases/unification/extra_eq_iri_and_quoted_atom.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(eq_iri_and_quoted_atom) :- eq(<urn:example:a>, 'urn:example:a').

package/test/conformance/cases/unification/extra_eq_list_tail_binding.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(eq_list_tail_binding, ?tail) :- eq([a, b | ?tail], [a, b, c, d]).

package/test/conformance/cases/unification/extra_eq_nested_repeated_fails.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(eq_nested_repeated_fails) :- eq(pair(?x, ?x), pair(a, b)).

package/test/conformance/cases/unification/extra_eq_nested_repeated_success.eye

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(eq_nested_repeated_success, ?x) :- eq(pair(?x, ?x), pair(a, a)).

package/test/conformance/cases/unification/extra_eq_scalar_number_atom.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(eq_scalar_number_atom) :- eq(7, '7').

package/test/conformance/cases/unification/extra_eq_scalar_string_number.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(eq_scalar_string_number) :- eq("7", 7).

package/test/conformance/cases/unification/extra_neq_compound_arity_mismatch.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(neq_compound_arity_mismatch) :- neq(f(a), f(a, b)).

package/test/conformance/cases/unification/extra_neq_scalar_same_lexical_fails.eye

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(neq_scalar_same_lexical_fails) :- neq("7", 7).

package/test/conformance/cases/unification/extra_variable_clause_locality.eye

@@ -0,0 +1,4 @@
+materialize(answer, 2).
+answer(variable_clause_locality, ?x) :- one(?x).
+one(a).
+one(b).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(anonymous_not_reused) :- eq(pair(?_, ?_), pair(a, b)).

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(named_variable_reused) :- eq(pair(?x, ?x), pair(a, a)).

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

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(question_underscore_named_distinct, ?_x, ?_y) :- eq(?_x, a), eq(?_y, b).

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

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

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

@@ -0,0 +1 @@
+p(<urn:example:\bad>).

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

@@ -0,0 +1 @@
+p(<urn:example:|bad>).

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

@@ -0,0 +1 @@
+p(<urn:example:"bad">).

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

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

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

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

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

@@ -0,0 +1 @@
+() :- q(a).

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

@@ -0,0 +1 @@
+p(a) :-.

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

@@ -0,0 +1 @@
+p(`bad`).

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

@@ -0,0 +1 @@
+p(<urn:example:bad{}>).

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

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

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

@@ -0,0 +1 @@
+p([a | b | c]).

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

@@ -0,0 +1 @@
+p(1.2.3).

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

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

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

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

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

@@ -0,0 +1 @@
+p(a) :- (q(a), r(a).

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

@@ -0,0 +1 @@
+:- q(a).

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

@@ -0,0 +1 @@
+p(f()).

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

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

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

@@ -0,0 +1 @@
+p(_x).

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

@@ -0,0 +1 @@
+p(?x-y).

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

@@ -0,0 +1 @@
+p([A]).