From 58d698f355727a447831777d9ebfbc89e5da3bb7 Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Sun, 6 Dec 2015 08:16:25 -0500 Subject: [PATCH 1/2] More improvements to function-apply with operators. Issue #1312 --- unpacked/jax/input/TeX/jax.js | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/unpacked/jax/input/TeX/jax.js b/unpacked/jax/input/TeX/jax.js index bb8263788..70e69307b 100644 --- a/unpacked/jax/input/TeX/jax.js +++ b/unpacked/jax/input/TeX/jax.js @@ -45,6 +45,7 @@ var i, m, item, top; for (i = 0, m = arguments.length; i < m; i++) { item = arguments[i]; if (!item) continue; +console.log(item.type); if (item instanceof MML.mbase) {item = STACKITEM.mml(item)} item.global = this.global; top = (this.data.length ? this.Top().checkItem(item) : true); @@ -58,6 +59,7 @@ this.env = item.env; } else {item.env = this.env} } +console.log(this.toString()); } }, Pop: function () { @@ -343,7 +345,8 @@ type: "fn", checkItem: function (item) { if (this.data[0]) { - if (item.type !== "fn" && item.type !== "left") { + if (item.isOpen) {return true} + if (item.type !== "fn") { if (item.type !== "mml" || !item.data[0]) {return [this.data[0],item]} if (item.data[0].isa(MML.mspace)) {return [this.data[0],item]} var mml = item.data[0]; if (mml.isEmbellished()) {mml = mml.CoreMO()} From a729427ca63e08cee7246036f0b81ef697c245f0 Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Sun, 6 Dec 2015 11:02:27 -0500 Subject: [PATCH 2/2] Remove debugging log messages. --- unpacked/jax/input/TeX/jax.js | 2 -- 1 file changed, 2 deletions(-) diff --git a/unpacked/jax/input/TeX/jax.js b/unpacked/jax/input/TeX/jax.js index 70e69307b..1c1f8f69f 100644 --- a/unpacked/jax/input/TeX/jax.js +++ b/unpacked/jax/input/TeX/jax.js @@ -45,7 +45,6 @@ var i, m, item, top; for (i = 0, m = arguments.length; i < m; i++) { item = arguments[i]; if (!item) continue; -console.log(item.type); if (item instanceof MML.mbase) {item = STACKITEM.mml(item)} item.global = this.global; top = (this.data.length ? this.Top().checkItem(item) : true); @@ -59,7 +58,6 @@ console.log(item.type); this.env = item.env; } else {item.env = this.env} } -console.log(this.toString()); } }, Pop: function () {