occam-verify-cli 1.0.836 → 1.0.838

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 (3) hide show
  1. package/lib/process/assign.js +3 -3
  2. package/package.json +1 -1
  3. package/src/process/assign.js +2 -3
package/lib/process/assign.js CHANGED
@@ -57,8 +57,8 @@ function variableAssignmentFromTypeAssertion(typeAssertion, context) {
57
57
  };
58
58
  const term = typeAssertion.getTerm(), termSingular = term.isSingular();
59
59
  if (termSingular) {
60
- const type = typeAssertion.getType(), variableNode = term.getVariableNode();
61
- variableAssignment = variableAssignmentFromTermAndType(variableNode, type, context);
60
+ const type = typeAssertion.getType();
61
+ variableAssignment = variableAssignmentFromTermAndType(term, type, context);
62
62
  }
63
63
  return variableAssignment;
64
64
  }
@@ -102,4 +102,4 @@ function variableAssignmentFromTermAndType(term, type, context) {
102
102
  return variableAssignment;
103
103
  }
104
104
 
105
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wcm9jZXNzL2Fzc2lnbi5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgdmFyaWFibGVGcm9tVmFyaWFibGVOb2RlIH0gZnJvbSBcIi4uL3V0aWxpdGllcy9lbGVtZW50XCI7XG5cbmV4cG9ydCBmdW5jdGlvbiBlcXVhbGl0eUFzc2lnbm1lbnRGcm9tRXF1YWxpdHkoZXF1YWxpdHksIGNvbnRleHQpIHtcbiAgY29uc3QgZXF1YWxpdHlBc3NpZ25tZW50ID0gKGNvbnRleHQpID0+IHtcbiAgICBjb25zdCBlcXVhbGl0eUFkZGVkID0gY29udGV4dC5hZGRFcXVhbGl0eShlcXVhbGl0eSk7XG5cbiAgICByZXR1cm4gZXF1YWxpdHlBZGRlZDtcbiAgfTtcblxuICByZXR1cm4gZXF1YWxpdHlBc3NpZ25tZW50O1xufVxuXG5leHBvcnQgZnVuY3Rpb24ganVkZ2VtZW50QXNzaWdubWVudEZyb21KdWRnZW1lbnQoanVkZ2VtZW50LCBjb250ZXh0KSB7XG4gIGNvbnN0IGp1ZGdlbWVudEFzc2lnbm1lbnQgPSAoY29udGV4dCkgPT4ge1xuICAgIGNvbnN0IGRlY2xhcmVkSnVkZ2VtZW50ID0ganVkZ2VtZW50LCAgLy8vXG4gICAgICAgICAgZGVjbGFyZWRKdWRnZW1lbnRBZGRlZCA9IGNvbnRleHQuYWRkRGVjbGFyZWRKdWRnZW1lbnQoZGVjbGFyZWRKdWRnZW1lbnQpO1xuXG4gICAgcmV0dXJuIGRlY2xhcmVkSnVkZ2VtZW50QWRkZWQ7XG4gIH07XG5cbiAgcmV0dXJuIGp1ZGdlbWVudEFzc2lnbm1lbnQ7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBsZWZ0VmFyaWFibGVBc3NpZ25tZW50RnJvbUVxdWFsaXR5KGVxdWFsaXR5LCBjb250ZXh0KSB7XG4gIGNvbnN0IHR5cGUgPSBlcXVhbGl0eS5nZXRUeXBlKCksXG4gICAgICAgIGxlZnRUZXJtID0gZXF1YWxpdHkuZ2V0TGVmdFRlcm0oKSxcbiAgICAgICAgbGVmdFZhcmlhYmxlQXNzaWdubWVudCA9IHZhcmlhYmxlQXNzaWdubWVudEZyb21UZXJtQW5kVHlwZShsZWZ0VGVybSwgdHlwZSwgY29udGV4dCk7XG5cbiAgcmV0dXJuIGxlZnRWYXJpYWJsZUFzc2lnbm1lbnQ7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiByaWdodFZhcmlhYmxlQXNzaWdubWVudEZyb21FcXVhbGl0eShlcXVhbGl0eSwgY29udGV4dCkge1xuICBjb25zdCB0eXBlID0gZXF1YWxpdHkuZ2V0VHlwZSgpLFxuICAgICAgICByaWdodFRlcm0gPSBlcXVhbGl0eS5nZXRSaWdodFRlcm0oKSxcbiAgICAgICAgcmlnaHRWYXJpYWJsZUFzc2lnbm1lbnQgPSB2YXJpYWJsZUFzc2lnbm1lbnRGcm9tVGVybUFuZFR5cGUocmlnaHRUZXJtLCB0eXBlLCBjb250ZXh0KTtcblxuICByZXR1cm4gcmlnaHRWYXJpYWJsZUFzc2lnbm1lbnQ7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiB2YXJpYWJsZUFzc2lnbm1lbnRGcm9tVHlwZUFzc2VydGlvbih0eXBlQXNzZXJ0aW9uLCBjb250ZXh0KSB7XG4gIGxldCB2YXJpYWJsZUFzc2lnbm1lbnQgPSAoY29udGV4dCkgPT4ge1xuICAgIC8vL1xuICB9O1xuXG4gIGNvbnN0IHRlcm0gPSB0eXBlQXNzZXJ0aW9uLmdldFRlcm0oKSxcbiAgICAgICAgdGVybVNpbmd1bGFyID0gdGVybS5pc1Npbmd1bGFyKCk7XG5cbiAgaWYgKHRlcm1TaW5ndWxhcikge1xuICAgIGNvbnN0IHR5cGUgPSB0eXBlQXNzZXJ0aW9uLmdldFR5cGUoKSxcbiAgICAgICAgICB2YXJpYWJsZU5vZGUgPSB0ZXJtLmdldFZhcmlhYmxlTm9kZSgpO1xuXG4gICAgdmFyaWFibGVBc3NpZ25tZW50ID0gdmFyaWFibGVBc3NpZ25tZW50RnJvbVRlcm1BbmRUeXBlKHZhcmlhYmxlTm9kZSwgdHlwZSwgY29udGV4dCk7XG4gIH1cblxuICByZXR1cm4gdmFyaWFibGVBc3NpZ25tZW50O1xufVxuXG5leHBvcnQgZnVuY3Rpb24gdmFyaWFibGVBc3NpZ25tZW50RnJvbVByZXBlcnR5QXNzZXJ0aW9uKHByb3BlcnR5QXNzZXJ0aW9uLCBjb250ZXh0KSB7XG5cbiAgZGVidWdnZXJcblxuICAvLyBsZXQgdmFyaWFibGU7XG4gIC8vXG4gIC8vIGNvbnN0IHsgVmFyaWFibGUgfSA9IGVsZW1lbnRzLFxuICAvLyAgIHRlcm1Ob2RlID0gdGhpcy50ZXJtLmdldE5vZGUoKTtcbiAgLy9cbiAgLy8gdmFyaWFibGUgPSBWYXJpYWJsZS5mcm9tVGVybU5vZGUodGVybU5vZGUsIGNvbnRleHQpO1xuICAvL1xuICAvLyBpZiAodmFyaWFibGUgIT09IG51bGwpIHtcbiAgLy8gICBjb25zdCB2YXJpYWJsZUlkZW50aWZpZXIgPSB2YXJpYWJsZS5nZXRJZGVudGlmaWVyKCk7XG4gIC8vXG4gIC8vICAgdmFyaWFibGUgPSBjb250ZXh0LmZpbmRWYXJpYWJsZUJ5VmFyaWFibGVJZGVudGlmaWVyKHZhcmlhYmxlSWRlbnRpZmllcik7XG4gIC8vXG4gIC8vICAgdmFyaWFibGUgPSBWYXJpYWJsZS5mcm9tVmFyaWFibGVBbmRQcm9wZXJ0eVJlbGF0aW9uKHZhcmlhYmxlLCB0aGlzLnByb3BlcnR5UmVsYXRpb24pO1xuICAvL1xuICAvLyAgIGNvbnN0IHZhcmlhYmxlQXNzaWdubWVudCA9IHZhcmlhYmxlQXNzaWdubWVudEZyb21WYXJpYWJsZSh2YXJpYWJsZSksXG5cbiAgfVxuXG5mdW5jdGlvbiB2YXJpYWJsZUFzc2lnbm1lbnRGcm9tVGVybUFuZFR5cGUodGVybSwgdHlwZSwgY29udGV4dCkge1xuICBsZXQgdmFyaWFibGVBc3NpZ25tZW50ID0gKGNvbnRleHQpID0+IHtcbiAgICAvLy9cbiAgfTtcblxuICBjb25zdCB0ZXJtU2luZ3VsYXIgPSB0ZXJtLmlzU2luZ3VsYXIoKTtcblxuICBpZiAodGVybVNpbmd1bGFyKSB7XG4gICAgY29uc3QgdGVybVR5cGUgPSB0ZXJtLmdldFR5cGUoKSxcbiAgICAgICAgICB0ZXJtVHlwZUVxdWFsVG9UeXBlID0gdGVybVR5cGUuaXNFcXVhbFRvKHR5cGUpO1xuXG4gICAgaWYgKCF0ZXJtVHlwZUVxdWFsVG9UeXBlKSB7XG4gICAgICBjb25zdCB2YXJpYWJsZU5vZGUgPSB0ZXJtLmdldFZhcmlhYmxlTm9kZSgpLFxuICAgICAgICAgICAgdmFyaWFibGUgPSB2YXJpYWJsZUZyb21WYXJpYWJsZU5vZGUodmFyaWFibGVOb2RlLCBjb250ZXh0KTtcblxuICAgICAgdmFyaWFibGUuc2V0VHlwZSh0eXBlKTtcblxuICAgICAgdmFyaWFibGVBc3NpZ25tZW50ID0gKGNvbnRleHQpID0+IHtcbiAgICAgICAgY29uc3QgZGVjbGFyZWRWYXJpYWJsZSA9IHZhcmlhYmxlOyAgLy8vXG5cbiAgICAgICAgY29udGV4dC5hZGREZWNsYXJlZFZhcmlhYmxlKGRlY2xhcmVkVmFyaWFibGUpO1xuXG4gICAgICAgIGNvbnN0IGRlY2xhcmVkVmFyaWFibGVUeXBlU3RyaW5nID0gZGVjbGFyZWRWYXJpYWJsZS5nZXRUeXBlU3RyaW5nKCksXG4gICAgICAgICAgICAgIGRlY2xhcmVkVmFyaWFibGVTdHJpbmcgPSBkZWNsYXJlZFZhcmlhYmxlLmdldFN0cmluZygpLFxuICAgICAgICAgICAgICBhc3NpZ25lZCA9IHRydWU7ICAvLy9cblxuICAgICAgICBhc3NpZ25lZCA/XG4gICAgICAgICAgY29udGV4dC50cmFjZShgQXNzaWduZWQgdGhlICcke2RlY2xhcmVkVmFyaWFibGVTdHJpbmd9JyBkZWNsYXJlZCB2YXJpYWJsZSB3aXRoIHR5cGUgJyR7ZGVjbGFyZWRWYXJpYWJsZVR5cGVTdHJpbmd9Jy5gKSA6XG4gICAgICAgICAgICAgY29udGV4dC5kZWJ1ZyhgVW5hYmxlIHRvIGFzc2lnbiB0aGUgJyR7ZGVjbGFyZWRWYXJpYWJsZVN0cmluZ30nIGRlY2xhcmVkIHZhcmlhYmxlIHdpdGggdHlwZSAnJHtkZWNsYXJlZFZhcmlhYmxlVHlwZVN0cmluZ30nLmApO1xuXG4gICAgICAgIHJldHVybiBhc3NpZ25lZDtcbiAgICAgIH07XG4gICAgfVxuICB9XG5cbiAgcmV0dXJuIHZhcmlhYmxlQXNzaWdubWVudDtcbn1cbiJdLCJuYW1lcyI6WyJlcXVhbGl0eUFzc2lnbm1lbnRGcm9tRXF1YWxpdHkiLCJqdWRnZW1lbnRBc3NpZ25tZW50RnJvbUp1ZGdlbWVudCIsImxlZnRWYXJpYWJsZUFzc2lnbm1lbnRGcm9tRXF1YWxpdHkiLCJyaWdodFZhcmlhYmxlQXNzaWdubWVudEZyb21FcXVhbGl0eSIsInZhcmlhYmxlQXNzaWdubWVudEZyb21QcmVwZXJ0eUFzc2VydGlvbiIsInZhcmlhYmxlQXNzaWdubWVudEZyb21UeXBlQXNzZXJ0aW9uIiwiZXF1YWxpdHkiLCJjb250ZXh0IiwiZXF1YWxpdHlBc3NpZ25tZW50IiwiZXF1YWxpdHlBZGRlZCIsImFkZEVxdWFsaXR5IiwianVkZ2VtZW50IiwianVkZ2VtZW50QXNzaWdubWVudCIsImRlY2xhcmVkSnVkZ2VtZW50IiwiZGVjbGFyZWRKdWRnZW1lbnRBZGRlZCIsImFkZERlY2xhcmVkSnVkZ2VtZW50IiwidHlwZSIsImdldFR5cGUiLCJsZWZ0VGVybSIsImdldExlZnRUZXJtIiwibGVmdFZhcmlhYmxlQXNzaWdubWVudCIsInZhcmlhYmxlQXNzaWdubWVudEZyb21UZXJtQW5kVHlwZSIsInJpZ2h0VGVybSIsImdldFJpZ2h0VGVybSIsInJpZ2h0VmFyaWFibGVBc3NpZ25tZW50IiwidHlwZUFzc2VydGlvbiIsInZhcmlhYmxlQXNzaWdubWVudCIsInRlcm0iLCJnZXRUZXJtIiwidGVybVNpbmd1bGFyIiwiaXNTaW5ndWxhciIsInZhcmlhYmxlTm9kZSIsImdldFZhcmlhYmxlTm9kZSIsInByb3BlcnR5QXNzZXJ0aW9uIiwidGVybVR5cGUiLCJ0ZXJtVHlwZUVxdWFsVG9UeXBlIiwiaXNFcXVhbFRvIiwidmFyaWFibGUiLCJ2YXJpYWJsZUZyb21WYXJpYWJsZU5vZGUiLCJzZXRUeXBlIiwiZGVjbGFyZWRWYXJpYWJsZSIsImFkZERlY2xhcmVkVmFyaWFibGUiLCJkZWNsYXJlZFZhcmlhYmxlVHlwZVN0cmluZyIsImdldFR5cGVTdHJpbmciLCJkZWNsYXJlZFZhcmlhYmxlU3RyaW5nIiwiZ2V0U3RyaW5nIiwiYXNzaWduZWQiLCJ0cmFjZSIsImRlYnVnIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7UUFJZ0JBO2VBQUFBOztRQVVBQztlQUFBQTs7UUFXQUM7ZUFBQUE7O1FBUUFDO2VBQUFBOztRQTBCQUM7ZUFBQUE7O1FBbEJBQztlQUFBQTs7O3lCQXZDeUI7QUFFbEMsU0FBU0wsK0JBQStCTSxRQUFRLEVBQUVDLE9BQU87SUFDOUQsTUFBTUMscUJBQXFCLENBQUNEO1FBQzFCLE1BQU1FLGdCQUFnQkYsUUFBUUcsV0FBVyxDQUFDSjtRQUUxQyxPQUFPRztJQUNUO0lBRUEsT0FBT0Q7QUFDVDtBQUVPLFNBQVNQLGlDQUFpQ1UsU0FBUyxFQUFFSixPQUFPO0lBQ2pFLE1BQU1LLHNCQUFzQixDQUFDTDtRQUMzQixNQUFNTSxvQkFBb0JGLFdBQ3BCRyx5QkFBeUJQLFFBQVFRLG9CQUFvQixDQUFDRjtRQUU1RCxPQUFPQztJQUNUO0lBRUEsT0FBT0Y7QUFDVDtBQUVPLFNBQVNWLG1DQUFtQ0ksUUFBUSxFQUFFQyxPQUFPO0lBQ2xFLE1BQU1TLE9BQU9WLFNBQVNXLE9BQU8sSUFDdkJDLFdBQVdaLFNBQVNhLFdBQVcsSUFDL0JDLHlCQUF5QkMsa0NBQWtDSCxVQUFVRixNQUFNVDtJQUVqRixPQUFPYTtBQUNUO0FBRU8sU0FBU2pCLG9DQUFvQ0csUUFBUSxFQUFFQyxPQUFPO0lBQ25FLE1BQU1TLE9BQU9WLFNBQVNXLE9BQU8sSUFDdkJLLFlBQVloQixTQUFTaUIsWUFBWSxJQUNqQ0MsMEJBQTBCSCxrQ0FBa0NDLFdBQVdOLE1BQU1UO0lBRW5GLE9BQU9pQjtBQUNUO0FBRU8sU0FBU25CLG9DQUFvQ29CLGFBQWEsRUFBRWxCLE9BQU87SUFDeEUsSUFBSW1CLHFCQUFxQixDQUFDbkI7SUFDeEIsR0FBRztJQUNMO0lBRUEsTUFBTW9CLE9BQU9GLGNBQWNHLE9BQU8sSUFDNUJDLGVBQWVGLEtBQUtHLFVBQVU7SUFFcEMsSUFBSUQsY0FBYztRQUNoQixNQUFNYixPQUFPUyxjQUFjUixPQUFPLElBQzVCYyxlQUFlSixLQUFLSyxlQUFlO1FBRXpDTixxQkFBcUJMLGtDQUFrQ1UsY0FBY2YsTUFBTVQ7SUFDN0U7SUFFQSxPQUFPbUI7QUFDVDtBQUVPLFNBQVN0Qix3Q0FBd0M2QixpQkFBaUIsRUFBRTFCLE9BQU87SUFFaEYsUUFBUTtBQUVSLGdCQUFnQjtBQUNoQixFQUFFO0FBQ0YsaUNBQWlDO0FBQ2pDLG9DQUFvQztBQUNwQyxFQUFFO0FBQ0YsdURBQXVEO0FBQ3ZELEVBQUU7QUFDRiwyQkFBMkI7QUFDM0IseURBQXlEO0FBQ3pELEVBQUU7QUFDRiw2RUFBNkU7QUFDN0UsRUFBRTtBQUNGLDBGQUEwRjtBQUMxRixFQUFFO0FBQ0YseUVBQXlFO0FBRXpFO0FBRUYsU0FBU2Msa0NBQWtDTSxJQUFJLEVBQUVYLElBQUksRUFBRVQsT0FBTztJQUM1RCxJQUFJbUIscUJBQXFCLENBQUNuQjtJQUN4QixHQUFHO0lBQ0w7SUFFQSxNQUFNc0IsZUFBZUYsS0FBS0csVUFBVTtJQUVwQyxJQUFJRCxjQUFjO1FBQ2hCLE1BQU1LLFdBQVdQLEtBQUtWLE9BQU8sSUFDdkJrQixzQkFBc0JELFNBQVNFLFNBQVMsQ0FBQ3BCO1FBRS9DLElBQUksQ0FBQ21CLHFCQUFxQjtZQUN4QixNQUFNSixlQUFlSixLQUFLSyxlQUFlLElBQ25DSyxXQUFXQyxJQUFBQSxpQ0FBd0IsRUFBQ1AsY0FBY3hCO1lBRXhEOEIsU0FBU0UsT0FBTyxDQUFDdkI7WUFFakJVLHFCQUFxQixDQUFDbkI7Z0JBQ3BCLE1BQU1pQyxtQkFBbUJILFVBQVcsR0FBRztnQkFFdkM5QixRQUFRa0MsbUJBQW1CLENBQUNEO2dCQUU1QixNQUFNRSw2QkFBNkJGLGlCQUFpQkcsYUFBYSxJQUMzREMseUJBQXlCSixpQkFBaUJLLFNBQVMsSUFDbkRDLFdBQVcsTUFBTyxHQUFHO2dCQUUzQkEsV0FDRXZDLFFBQVF3QyxLQUFLLENBQUMsQ0FBQyxjQUFjLEVBQUVILHVCQUF1QiwrQkFBK0IsRUFBRUYsMkJBQTJCLEVBQUUsQ0FBQyxJQUNsSG5DLFFBQVF5QyxLQUFLLENBQUMsQ0FBQyxzQkFBc0IsRUFBRUosdUJBQXVCLCtCQUErQixFQUFFRiwyQkFBMkIsRUFBRSxDQUFDO2dCQUVsSSxPQUFPSTtZQUNUO1FBQ0Y7SUFDRjtJQUVBLE9BQU9wQjtBQUNUIn0=
105
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wcm9jZXNzL2Fzc2lnbi5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgdmFyaWFibGVGcm9tVmFyaWFibGVOb2RlIH0gZnJvbSBcIi4uL3V0aWxpdGllcy9lbGVtZW50XCI7XG5cbmV4cG9ydCBmdW5jdGlvbiBlcXVhbGl0eUFzc2lnbm1lbnRGcm9tRXF1YWxpdHkoZXF1YWxpdHksIGNvbnRleHQpIHtcbiAgY29uc3QgZXF1YWxpdHlBc3NpZ25tZW50ID0gKGNvbnRleHQpID0+IHtcbiAgICBjb25zdCBlcXVhbGl0eUFkZGVkID0gY29udGV4dC5hZGRFcXVhbGl0eShlcXVhbGl0eSk7XG5cbiAgICByZXR1cm4gZXF1YWxpdHlBZGRlZDtcbiAgfTtcblxuICByZXR1cm4gZXF1YWxpdHlBc3NpZ25tZW50O1xufVxuXG5leHBvcnQgZnVuY3Rpb24ganVkZ2VtZW50QXNzaWdubWVudEZyb21KdWRnZW1lbnQoanVkZ2VtZW50LCBjb250ZXh0KSB7XG4gIGNvbnN0IGp1ZGdlbWVudEFzc2lnbm1lbnQgPSAoY29udGV4dCkgPT4ge1xuICAgIGNvbnN0IGRlY2xhcmVkSnVkZ2VtZW50ID0ganVkZ2VtZW50LCAgLy8vXG4gICAgICAgICAgZGVjbGFyZWRKdWRnZW1lbnRBZGRlZCA9IGNvbnRleHQuYWRkRGVjbGFyZWRKdWRnZW1lbnQoZGVjbGFyZWRKdWRnZW1lbnQpO1xuXG4gICAgcmV0dXJuIGRlY2xhcmVkSnVkZ2VtZW50QWRkZWQ7XG4gIH07XG5cbiAgcmV0dXJuIGp1ZGdlbWVudEFzc2lnbm1lbnQ7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBsZWZ0VmFyaWFibGVBc3NpZ25tZW50RnJvbUVxdWFsaXR5KGVxdWFsaXR5LCBjb250ZXh0KSB7XG4gIGNvbnN0IHR5cGUgPSBlcXVhbGl0eS5nZXRUeXBlKCksXG4gICAgICAgIGxlZnRUZXJtID0gZXF1YWxpdHkuZ2V0TGVmdFRlcm0oKSxcbiAgICAgICAgbGVmdFZhcmlhYmxlQXNzaWdubWVudCA9IHZhcmlhYmxlQXNzaWdubWVudEZyb21UZXJtQW5kVHlwZShsZWZ0VGVybSwgdHlwZSwgY29udGV4dCk7XG5cbiAgcmV0dXJuIGxlZnRWYXJpYWJsZUFzc2lnbm1lbnQ7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiByaWdodFZhcmlhYmxlQXNzaWdubWVudEZyb21FcXVhbGl0eShlcXVhbGl0eSwgY29udGV4dCkge1xuICBjb25zdCB0eXBlID0gZXF1YWxpdHkuZ2V0VHlwZSgpLFxuICAgICAgICByaWdodFRlcm0gPSBlcXVhbGl0eS5nZXRSaWdodFRlcm0oKSxcbiAgICAgICAgcmlnaHRWYXJpYWJsZUFzc2lnbm1lbnQgPSB2YXJpYWJsZUFzc2lnbm1lbnRGcm9tVGVybUFuZFR5cGUocmlnaHRUZXJtLCB0eXBlLCBjb250ZXh0KTtcblxuICByZXR1cm4gcmlnaHRWYXJpYWJsZUFzc2lnbm1lbnQ7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiB2YXJpYWJsZUFzc2lnbm1lbnRGcm9tVHlwZUFzc2VydGlvbih0eXBlQXNzZXJ0aW9uLCBjb250ZXh0KSB7XG4gIGxldCB2YXJpYWJsZUFzc2lnbm1lbnQgPSAoY29udGV4dCkgPT4ge1xuICAgIC8vL1xuICB9O1xuXG4gIGNvbnN0IHRlcm0gPSB0eXBlQXNzZXJ0aW9uLmdldFRlcm0oKSxcbiAgICAgICAgdGVybVNpbmd1bGFyID0gdGVybS5pc1Npbmd1bGFyKCk7XG5cbiAgaWYgKHRlcm1TaW5ndWxhcikge1xuICAgIGNvbnN0IHR5cGUgPSB0eXBlQXNzZXJ0aW9uLmdldFR5cGUoKTtcblxuICAgIHZhcmlhYmxlQXNzaWdubWVudCA9IHZhcmlhYmxlQXNzaWdubWVudEZyb21UZXJtQW5kVHlwZSh0ZXJtLCB0eXBlLCBjb250ZXh0KTtcbiAgfVxuXG4gIHJldHVybiB2YXJpYWJsZUFzc2lnbm1lbnQ7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiB2YXJpYWJsZUFzc2lnbm1lbnRGcm9tUHJlcGVydHlBc3NlcnRpb24ocHJvcGVydHlBc3NlcnRpb24sIGNvbnRleHQpIHtcblxuICBkZWJ1Z2dlclxuXG4gIC8vIGxldCB2YXJpYWJsZTtcbiAgLy9cbiAgLy8gY29uc3QgeyBWYXJpYWJsZSB9ID0gZWxlbWVudHMsXG4gIC8vICAgdGVybU5vZGUgPSB0aGlzLnRlcm0uZ2V0Tm9kZSgpO1xuICAvL1xuICAvLyB2YXJpYWJsZSA9IFZhcmlhYmxlLmZyb21UZXJtTm9kZSh0ZXJtTm9kZSwgY29udGV4dCk7XG4gIC8vXG4gIC8vIGlmICh2YXJpYWJsZSAhPT0gbnVsbCkge1xuICAvLyAgIGNvbnN0IHZhcmlhYmxlSWRlbnRpZmllciA9IHZhcmlhYmxlLmdldElkZW50aWZpZXIoKTtcbiAgLy9cbiAgLy8gICB2YXJpYWJsZSA9IGNvbnRleHQuZmluZFZhcmlhYmxlQnlWYXJpYWJsZUlkZW50aWZpZXIodmFyaWFibGVJZGVudGlmaWVyKTtcbiAgLy9cbiAgLy8gICB2YXJpYWJsZSA9IFZhcmlhYmxlLmZyb21WYXJpYWJsZUFuZFByb3BlcnR5UmVsYXRpb24odmFyaWFibGUsIHRoaXMucHJvcGVydHlSZWxhdGlvbik7XG4gIC8vXG4gIC8vICAgY29uc3QgdmFyaWFibGVBc3NpZ25tZW50ID0gdmFyaWFibGVBc3NpZ25tZW50RnJvbVZhcmlhYmxlKHZhcmlhYmxlKSxcblxuICB9XG5cbmZ1bmN0aW9uIHZhcmlhYmxlQXNzaWdubWVudEZyb21UZXJtQW5kVHlwZSh0ZXJtLCB0eXBlLCBjb250ZXh0KSB7XG4gIGxldCB2YXJpYWJsZUFzc2lnbm1lbnQgPSAoY29udGV4dCkgPT4ge1xuICAgIC8vL1xuICB9O1xuXG4gIGNvbnN0IHRlcm1TaW5ndWxhciA9IHRlcm0uaXNTaW5ndWxhcigpO1xuXG4gIGlmICh0ZXJtU2luZ3VsYXIpIHtcbiAgICBjb25zdCB0ZXJtVHlwZSA9IHRlcm0uZ2V0VHlwZSgpLFxuICAgICAgICAgIHRlcm1UeXBlRXF1YWxUb1R5cGUgPSB0ZXJtVHlwZS5pc0VxdWFsVG8odHlwZSk7XG5cbiAgICBpZiAoIXRlcm1UeXBlRXF1YWxUb1R5cGUpIHtcbiAgICAgIGNvbnN0IHZhcmlhYmxlTm9kZSA9IHRlcm0uZ2V0VmFyaWFibGVOb2RlKCksXG4gICAgICAgICAgICB2YXJpYWJsZSA9IHZhcmlhYmxlRnJvbVZhcmlhYmxlTm9kZSh2YXJpYWJsZU5vZGUsIGNvbnRleHQpO1xuXG4gICAgICB2YXJpYWJsZS5zZXRUeXBlKHR5cGUpO1xuXG4gICAgICB2YXJpYWJsZUFzc2lnbm1lbnQgPSAoY29udGV4dCkgPT4ge1xuICAgICAgICBjb25zdCBkZWNsYXJlZFZhcmlhYmxlID0gdmFyaWFibGU7ICAvLy9cblxuICAgICAgICBjb250ZXh0LmFkZERlY2xhcmVkVmFyaWFibGUoZGVjbGFyZWRWYXJpYWJsZSk7XG5cbiAgICAgICAgY29uc3QgZGVjbGFyZWRWYXJpYWJsZVR5cGVTdHJpbmcgPSBkZWNsYXJlZFZhcmlhYmxlLmdldFR5cGVTdHJpbmcoKSxcbiAgICAgICAgICAgICAgZGVjbGFyZWRWYXJpYWJsZVN0cmluZyA9IGRlY2xhcmVkVmFyaWFibGUuZ2V0U3RyaW5nKCksXG4gICAgICAgICAgICAgIGFzc2lnbmVkID0gdHJ1ZTsgIC8vL1xuXG4gICAgICAgIGFzc2lnbmVkID9cbiAgICAgICAgICBjb250ZXh0LnRyYWNlKGBBc3NpZ25lZCB0aGUgJyR7ZGVjbGFyZWRWYXJpYWJsZVN0cmluZ30nIGRlY2xhcmVkIHZhcmlhYmxlIHdpdGggdHlwZSAnJHtkZWNsYXJlZFZhcmlhYmxlVHlwZVN0cmluZ30nLmApIDpcbiAgICAgICAgICAgICBjb250ZXh0LmRlYnVnKGBVbmFibGUgdG8gYXNzaWduIHRoZSAnJHtkZWNsYXJlZFZhcmlhYmxlU3RyaW5nfScgZGVjbGFyZWQgdmFyaWFibGUgd2l0aCB0eXBlICcke2RlY2xhcmVkVmFyaWFibGVUeXBlU3RyaW5nfScuYCk7XG5cbiAgICAgICAgcmV0dXJuIGFzc2lnbmVkO1xuICAgICAgfTtcbiAgICB9XG4gIH1cblxuICByZXR1cm4gdmFyaWFibGVBc3NpZ25tZW50O1xufVxuIl0sIm5hbWVzIjpbImVxdWFsaXR5QXNzaWdubWVudEZyb21FcXVhbGl0eSIsImp1ZGdlbWVudEFzc2lnbm1lbnRGcm9tSnVkZ2VtZW50IiwibGVmdFZhcmlhYmxlQXNzaWdubWVudEZyb21FcXVhbGl0eSIsInJpZ2h0VmFyaWFibGVBc3NpZ25tZW50RnJvbUVxdWFsaXR5IiwidmFyaWFibGVBc3NpZ25tZW50RnJvbVByZXBlcnR5QXNzZXJ0aW9uIiwidmFyaWFibGVBc3NpZ25tZW50RnJvbVR5cGVBc3NlcnRpb24iLCJlcXVhbGl0eSIsImNvbnRleHQiLCJlcXVhbGl0eUFzc2lnbm1lbnQiLCJlcXVhbGl0eUFkZGVkIiwiYWRkRXF1YWxpdHkiLCJqdWRnZW1lbnQiLCJqdWRnZW1lbnRBc3NpZ25tZW50IiwiZGVjbGFyZWRKdWRnZW1lbnQiLCJkZWNsYXJlZEp1ZGdlbWVudEFkZGVkIiwiYWRkRGVjbGFyZWRKdWRnZW1lbnQiLCJ0eXBlIiwiZ2V0VHlwZSIsImxlZnRUZXJtIiwiZ2V0TGVmdFRlcm0iLCJsZWZ0VmFyaWFibGVBc3NpZ25tZW50IiwidmFyaWFibGVBc3NpZ25tZW50RnJvbVRlcm1BbmRUeXBlIiwicmlnaHRUZXJtIiwiZ2V0UmlnaHRUZXJtIiwicmlnaHRWYXJpYWJsZUFzc2lnbm1lbnQiLCJ0eXBlQXNzZXJ0aW9uIiwidmFyaWFibGVBc3NpZ25tZW50IiwidGVybSIsImdldFRlcm0iLCJ0ZXJtU2luZ3VsYXIiLCJpc1Npbmd1bGFyIiwicHJvcGVydHlBc3NlcnRpb24iLCJ0ZXJtVHlwZSIsInRlcm1UeXBlRXF1YWxUb1R5cGUiLCJpc0VxdWFsVG8iLCJ2YXJpYWJsZU5vZGUiLCJnZXRWYXJpYWJsZU5vZGUiLCJ2YXJpYWJsZSIsInZhcmlhYmxlRnJvbVZhcmlhYmxlTm9kZSIsInNldFR5cGUiLCJkZWNsYXJlZFZhcmlhYmxlIiwiYWRkRGVjbGFyZWRWYXJpYWJsZSIsImRlY2xhcmVkVmFyaWFibGVUeXBlU3RyaW5nIiwiZ2V0VHlwZVN0cmluZyIsImRlY2xhcmVkVmFyaWFibGVTdHJpbmciLCJnZXRTdHJpbmciLCJhc3NpZ25lZCIsInRyYWNlIiwiZGVidWciXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztRQUlnQkE7ZUFBQUE7O1FBVUFDO2VBQUFBOztRQVdBQztlQUFBQTs7UUFRQUM7ZUFBQUE7O1FBeUJBQztlQUFBQTs7UUFqQkFDO2VBQUFBOzs7eUJBdkN5QjtBQUVsQyxTQUFTTCwrQkFBK0JNLFFBQVEsRUFBRUMsT0FBTztJQUM5RCxNQUFNQyxxQkFBcUIsQ0FBQ0Q7UUFDMUIsTUFBTUUsZ0JBQWdCRixRQUFRRyxXQUFXLENBQUNKO1FBRTFDLE9BQU9HO0lBQ1Q7SUFFQSxPQUFPRDtBQUNUO0FBRU8sU0FBU1AsaUNBQWlDVSxTQUFTLEVBQUVKLE9BQU87SUFDakUsTUFBTUssc0JBQXNCLENBQUNMO1FBQzNCLE1BQU1NLG9CQUFvQkYsV0FDcEJHLHlCQUF5QlAsUUFBUVEsb0JBQW9CLENBQUNGO1FBRTVELE9BQU9DO0lBQ1Q7SUFFQSxPQUFPRjtBQUNUO0FBRU8sU0FBU1YsbUNBQW1DSSxRQUFRLEVBQUVDLE9BQU87SUFDbEUsTUFBTVMsT0FBT1YsU0FBU1csT0FBTyxJQUN2QkMsV0FBV1osU0FBU2EsV0FBVyxJQUMvQkMseUJBQXlCQyxrQ0FBa0NILFVBQVVGLE1BQU1UO0lBRWpGLE9BQU9hO0FBQ1Q7QUFFTyxTQUFTakIsb0NBQW9DRyxRQUFRLEVBQUVDLE9BQU87SUFDbkUsTUFBTVMsT0FBT1YsU0FBU1csT0FBTyxJQUN2QkssWUFBWWhCLFNBQVNpQixZQUFZLElBQ2pDQywwQkFBMEJILGtDQUFrQ0MsV0FBV04sTUFBTVQ7SUFFbkYsT0FBT2lCO0FBQ1Q7QUFFTyxTQUFTbkIsb0NBQW9Db0IsYUFBYSxFQUFFbEIsT0FBTztJQUN4RSxJQUFJbUIscUJBQXFCLENBQUNuQjtJQUN4QixHQUFHO0lBQ0w7SUFFQSxNQUFNb0IsT0FBT0YsY0FBY0csT0FBTyxJQUM1QkMsZUFBZUYsS0FBS0csVUFBVTtJQUVwQyxJQUFJRCxjQUFjO1FBQ2hCLE1BQU1iLE9BQU9TLGNBQWNSLE9BQU87UUFFbENTLHFCQUFxQkwsa0NBQWtDTSxNQUFNWCxNQUFNVDtJQUNyRTtJQUVBLE9BQU9tQjtBQUNUO0FBRU8sU0FBU3RCLHdDQUF3QzJCLGlCQUFpQixFQUFFeEIsT0FBTztJQUVoRixRQUFRO0FBRVIsZ0JBQWdCO0FBQ2hCLEVBQUU7QUFDRixpQ0FBaUM7QUFDakMsb0NBQW9DO0FBQ3BDLEVBQUU7QUFDRix1REFBdUQ7QUFDdkQsRUFBRTtBQUNGLDJCQUEyQjtBQUMzQix5REFBeUQ7QUFDekQsRUFBRTtBQUNGLDZFQUE2RTtBQUM3RSxFQUFFO0FBQ0YsMEZBQTBGO0FBQzFGLEVBQUU7QUFDRix5RUFBeUU7QUFFekU7QUFFRixTQUFTYyxrQ0FBa0NNLElBQUksRUFBRVgsSUFBSSxFQUFFVCxPQUFPO0lBQzVELElBQUltQixxQkFBcUIsQ0FBQ25CO0lBQ3hCLEdBQUc7SUFDTDtJQUVBLE1BQU1zQixlQUFlRixLQUFLRyxVQUFVO0lBRXBDLElBQUlELGNBQWM7UUFDaEIsTUFBTUcsV0FBV0wsS0FBS1YsT0FBTyxJQUN2QmdCLHNCQUFzQkQsU0FBU0UsU0FBUyxDQUFDbEI7UUFFL0MsSUFBSSxDQUFDaUIscUJBQXFCO1lBQ3hCLE1BQU1FLGVBQWVSLEtBQUtTLGVBQWUsSUFDbkNDLFdBQVdDLElBQUFBLGlDQUF3QixFQUFDSCxjQUFjNUI7WUFFeEQ4QixTQUFTRSxPQUFPLENBQUN2QjtZQUVqQlUscUJBQXFCLENBQUNuQjtnQkFDcEIsTUFBTWlDLG1CQUFtQkgsVUFBVyxHQUFHO2dCQUV2QzlCLFFBQVFrQyxtQkFBbUIsQ0FBQ0Q7Z0JBRTVCLE1BQU1FLDZCQUE2QkYsaUJBQWlCRyxhQUFhLElBQzNEQyx5QkFBeUJKLGlCQUFpQkssU0FBUyxJQUNuREMsV0FBVyxNQUFPLEdBQUc7Z0JBRTNCQSxXQUNFdkMsUUFBUXdDLEtBQUssQ0FBQyxDQUFDLGNBQWMsRUFBRUgsdUJBQXVCLCtCQUErQixFQUFFRiwyQkFBMkIsRUFBRSxDQUFDLElBQ2xIbkMsUUFBUXlDLEtBQUssQ0FBQyxDQUFDLHNCQUFzQixFQUFFSix1QkFBdUIsK0JBQStCLEVBQUVGLDJCQUEyQixFQUFFLENBQUM7Z0JBRWxJLE9BQU9JO1lBQ1Q7UUFDRjtJQUNGO0lBRUEsT0FBT3BCO0FBQ1QifQ==
package/package.json CHANGED
@@ -1,7 +1,7 @@
1
1
  {
2
2
  "name": "occam-verify-cli",
3
3
  "author": "James Smith",
4
- "version": "1.0.836",
4
+ "version": "1.0.838",
5
5
  "license": "MIT, Anti-996",
6
6
  "homepage": "https://github.com/djalbat/occam-verify-cli",
7
7
  "description": "Occam's Verifier",
package/src/process/assign.js CHANGED
@@ -48,10 +48,9 @@ export function variableAssignmentFromTypeAssertion(typeAssertion, context) {
48
48
  termSingular = term.isSingular();
49
49
 
50
50
  if (termSingular) {
51
- const type = typeAssertion.getType(),
52
- variableNode = term.getVariableNode();
51
+ const type = typeAssertion.getType();
53
52
 
54
- variableAssignment = variableAssignmentFromTermAndType(variableNode, type, context);
53
+ variableAssignment = variableAssignmentFromTermAndType(term, type, context);
55
54
  }
56
55
 
57
56
  return variableAssignment;