Fix problems with verification and repair of malformed mtables.

ts/core/MmlTree/MmlNode.ts

@@ -193,8 +193,9 @@ export interface MmlNode extends Node {
    * @param {string} message         The error message to use
    * @param {PropertyList} options   The options telling how much to verify
    * @param {boolean} short          True means use just the kind if not using full errors
+   * @return {MmlNode}               The construted merror
    */
-  mError(message: string, options: PropertyList, short?: boolean): void;
+  mError(message: string, options: PropertyList, short?: boolean): MmlNode;
 
   /**
    * Check integrity of MathML structure
@@ -797,12 +798,14 @@ export abstract class AbstractMmlNode extends AbstractNode implements MmlNode {
    * @param {string} message         The error message to use
    * @param {PropertyList} options   The options telling how much to verify
    * @param {boolean} short          True means use just the kind if not using full errors
+   * @return {MmlNode}               The constructed merror
    */
-  public mError(message: string, options: PropertyList, short: boolean = false) {
+  public mError(message: string, options: PropertyList, short: boolean = false): MmlNode {
     if (this.parent && this.parent.isKind('merror')) {
       return null;
     }
     let merror = this.factory.create('merror');
+    merror.attributes.set('data-mjx-message', message);
     if (options['fullErrors'] || short) {
       let mtext = this.factory.create('mtext');
       let text = this.factory.create('text') as TextNode;
@@ -1189,7 +1192,9 @@ export abstract class AbstractMmlEmptyNode extends AbstractEmptyNode implements
   /**
    *  @override
    */
-  public mError(_message: string, _options: PropertyList, _short: boolean = false) {}
+  public mError(_message: string, _options: PropertyList, _short: boolean = false) {
+    return null as MmlNode;
+  }
 
 }
 

ts/core/MmlTree/MmlNodes/mtable.ts

@@ -137,10 +137,18 @@ export class MmlMtable extends AbstractMmlNode {
    * @override
    */
   protected verifyChildren(options: PropertyList) {
-    if (!options['fixMtables']) {
-      for (const child of this.childNodes) {
-        if (!child.isKind('mtr')) {
-          this.mError('Children of ' + this.kind + ' must be mtr or mlabeledtr', options);
+    for (const child of this.childNodes) {
+      if (!child.isKind('mtr')) {
+        const isMtd = child.isKind('mtd');
+        const factory = this.factory;
+        let mtr = this.replaceChild(factory.create('mtr'), child) as MmlNode;
+        mtr.appendChild(isMtd ? child : factory.create('mtd', {}, [child]));
+        if (!options['fixMtables']) {
+          child.parent.childNodes = [];   // remove the child from the parent...
+          child.parent = this;            // ... and make it think it is a child of the table again
+          isMtd && mtr.appendChild(factory.create('mtd'));  // child will be replaced, so make sure there is an mtd
+          const merror = child.mError('Children of ' + this.kind + ' must be mtr or mlabeledtr', options, isMtd);
+          mtr.childNodes[0].appendChild(merror);     // append the error to the mtd in the mtr
         }
       }
     }

ts/core/MmlTree/MmlNodes/mtr.ts

@@ -94,11 +94,12 @@ export class MmlMtr extends AbstractMmlNode {
       this.mError(this.kind + ' can only be a child of an mtable', options, true);
       return;
     }
-    if (!options['fixMtables']) {
-      for (const child of this.childNodes) {
-        if (!child.isKind('mtd')) {
-          let mtr = this.replaceChild(this.factory.create('mtr'), child) as MmlNode;
-          mtr.mError('Children of ' + this.kind + ' must be mtd', options, true);
+    for (const child of this.childNodes) {
+      if (!child.isKind('mtd')) {
+        let mtd = this.replaceChild(this.factory.create('mtd'), child) as MmlNode;
+        mtd.appendChild(child);
+        if (!options['fixMtables']) {
+          child.mError('Children of ' + this.kind + ' must be mtd', options);
         }
       }
     }