eyeprolog 1.5.103 → 1.5.104

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (2) hide show
  1. package/package.json +1 -1
  2. package/test/run-iso-strict.mjs +1 -0
package/package.json CHANGED
@@ -3,7 +3,7 @@
3
3
  "publishConfig": {
4
4
  "access": "public"
5
5
  },
6
- "version": "1.5.103",
6
+ "version": "1.5.104",
7
7
  "description": "EyeProlog turns facts and rules into answers and proofs.",
8
8
  "type": "module",
9
9
  "main": "./index.js",
package/test/run-iso-strict.mjs CHANGED
@@ -1546,6 +1546,7 @@ export function runIsoStrict(reporter = new TestReporter()) {
1546
1546
  // variable -- but no instantiation can satisfy both at once, since
1547
1547
  // binding it to an atom makes Arity an atom too, not an integer.
1548
1548
  ['current_predicate(X/X)', 'type_error(predicate_indicator)', 'current_predicate/1 aliased name/arity variable'],
1549
+ ['X = Y, current_predicate(X/Y)', 'type_error(predicate_indicator)', 'current_predicate/1 previously unified name/arity variables'],
1549
1550
  ['asserta(_)', 'instantiation_error', 'asserta/1 variable head'],
1550
1551
  ['asserta(4)', 'type_error(callable)', 'asserta/1 head type'],
1551
1552
  ['asserta((p:-4))', 'type_error(callable)', 'asserta/1 body conversion'],