eyeling 1.7.16 → 1.7.17
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.
- package/eyeling.js +3 -2
- package/package.json +1 -1
package/eyeling.js
CHANGED
|
@@ -5700,9 +5700,8 @@ function evalBuiltin(goal, subst, facts, backRules, depth, varGen, maxResults) {
|
|
|
5700
5700
|
// to mimic EYE's fm(...) formatting branch.
|
|
5701
5701
|
if (pv === LOG_NS + 'trace') {
|
|
5702
5702
|
const pref = __tracePrefixes || PrefixEnv.newDefault();
|
|
5703
|
-
const xStr = termToN3(g.s, pref);
|
|
5704
5703
|
|
|
5705
|
-
const
|
|
5704
|
+
const xStr = termToN3(g.s, pref);
|
|
5706
5705
|
const yStr = termToN3(g.o, pref);
|
|
5707
5706
|
|
|
5708
5707
|
__traceWriteLine(`${xStr} TRACE ${yStr}`);
|
|
@@ -7127,6 +7126,8 @@ function main() {
|
|
|
7127
7126
|
toks = lex(text);
|
|
7128
7127
|
const parser = new Parser(toks);
|
|
7129
7128
|
[prefixes, triples, frules, brules] = parser.parseDocument();
|
|
7129
|
+
// Make the parsed prefixes available to log:trace output (CLI path)
|
|
7130
|
+
__tracePrefixes = prefixes;
|
|
7130
7131
|
} catch (e) {
|
|
7131
7132
|
if (e && e.name === 'N3SyntaxError') {
|
|
7132
7133
|
console.error(formatN3SyntaxError(e, text, path));
|