occam-nominal 1.0.309 → 1.0.310

package/src/element/subproof.js

@@ -94,7 +94,7 @@ export default define(class Subproof extends Element {
       const verifySuppositions = this.verifySuppositions.bind(this),
             verifySubDerivation = this.verifySubDerivation.bind(this);
 
-      all([
+      return all([
         verifySuppositions,
         verifySubDerivation
       ], context, continuation);
@@ -116,13 +116,13 @@ export default define(class Subproof extends Element {
   }
 
   verifySuppositions(context, continuation) {
-    every(this.suppositions, (supposition, continuation) => {
-      this.verifySupposition(supposition, context, continuation);
+    return every(this.suppositions, (supposition, continuation) => {
+      return this.verifySupposition(supposition, context, continuation);
     }, continuation);
   }
 
   verifySubDerivation(context, continuation) {
-    this.subDerivation.verify(context, continuation);
+    return this.subDerivation.verify(context, continuation);
   }
 
   static name = "Subproof";

package/src/element/topLevelAssertion.js

@@ -123,8 +123,8 @@ export default class TopLevelAssertion extends Element {
 
     context.trace(`Verifying the '${topLevelAssertionString}' top level assertion's labels...`);
 
-    every(this.labels, (label, continuation) => {
-      this.verifyLabel(label, context, continuation);
+    return every(this.labels, (label, continuation) => {
+      return this.verifyLabel(label, context, continuation);
     }, (labelsVerify) => {
       if (labelsVerify) {
         context.debug(`...verified the '${topLevelAssertionString}' top level assertion's labels.`);
@@ -216,8 +216,8 @@ export default class TopLevelAssertion extends Element {
 
     context.trace(`Verifying the '${topLevelAssertionString}' top level assertion's suppositions...`);
 
-    forwardsEvery(this.suppositions, (supposition, continuation) => {
-      this.verifySupposition(supposition, context, continuation);
+    return forwardsEvery(this.suppositions, (supposition, continuation) => {
+      return this.verifySupposition(supposition, context, continuation);
     }, (suppositionsVerify) => {
       if (suppositionsVerify) {
         context.debug(`...verified the '${topLevelAssertionString}' top level assertion's suppositions.`);

package/src/pass/continuationZip.js

@@ -8,6 +8,6 @@ export default class ContinuationZipPass extends ContinuationZipPassBase {
           generalChildNodes = generalNonTerminalNode.getChildNodes(), ///
           specificChildNodes = specificNonTerminalNode.getChildNodes(); ///
 
-    this.descend(generalChildNodes, specificChildNodes, ...remainingArguments, continuation);
+    return this.descend(generalChildNodes, specificChildNodes, ...remainingArguments, continuation);
   }
 }

package/src/process/unify.js

@@ -488,14 +488,14 @@ export function unifyStatement(generalStatement, specificStatement, generalConte
         generalNode = generalStatementNode, ///
         specificNode = specificStatementNode;  ///
 
-  metaLevelPass.run(generalNode, specificNode, generalContext, specificContext, continuation);
+  return metaLevelPass.run(generalNode, specificNode, generalContext, specificContext, continuation);
 }
 
 export function unifyMetavariable(generalMetavariable, specificMetavariable, generalContext, specificContext, continuation) {
   const generalMetavariableNode = generalMetavariable.getNode(),
         specificMetavariableNode = specificMetavariable.getNode();
 
-  metavariablePass.run(generalMetavariableNode, specificMetavariableNode, generalContext, specificContext, continuation);
+  return metavariablePass.run(generalMetavariableNode, specificMetavariableNode, generalContext, specificContext, continuation);
 }
 
 export function unifyTermWithProperty(term, property, generalContext, specificContext, continuation) {
@@ -503,7 +503,7 @@ export function unifyTermWithProperty(term, property, generalContext, specificCo
         propertyTerm = property.getTerm(),
         propertyTermNode = propertyTerm.getNode();
 
-  propertyPass.run(propertyTermNode, termNode, generalContext, specificContext, continuation);
+  return propertyPass.run(propertyTermNode, termNode, generalContext, specificContext, continuation);
 }
 
 export function unifyTermWithGenerator(term, generator, generalContext, specificContext, continuation) {
@@ -511,7 +511,7 @@ export function unifyTermWithGenerator(term, generator, generalContext, specific
         generatorTerm = generator.getTerm(),
         generatorTermNode = generatorTerm.getNode();
 
-  generatorPass.run(generatorTermNode, termNode, generalContext, specificContext, continuation);
+  return generatorPass.run(generatorTermNode, termNode, generalContext, specificContext, continuation);
 }
 
 export function unifyTermWithConstructor(term, constructor, generalContext, specificContext, continuation) {
@@ -519,7 +519,7 @@ export function unifyTermWithConstructor(term, constructor, generalContext, spec
         constructorTerm = constructor.getTerm(),
         constructorTermNode = constructorTerm.getNode();
 
-  constructorPass.run(constructorTermNode, termNode, generalContext, specificContext, continuation);
+  return constructorPass.run(constructorTermNode, termNode, generalContext, specificContext, continuation);
 }
 
 export function unifyStatementWithCombinator(statement, combinator, generalContext, specificContext, continuation) {
@@ -527,7 +527,7 @@ export function unifyStatementWithCombinator(statement, combinator, generalConte
         combinatorStatement = combinator.getStatement(),
         combinatorStatementNode = combinatorStatement.getNode();
 
-  combinatorPass.run(combinatorStatementNode, statementNode, generalContext, specificContext, continuation);
+  return combinatorPass.run(combinatorStatementNode, statementNode, generalContext, specificContext, continuation);
 }
 
 export function unifyTermIntrinsically(generalTerm, specificTerm, generalContext, specificContext, continuation) {
@@ -536,7 +536,7 @@ export function unifyTermIntrinsically(generalTerm, specificTerm, generalContext
         generalNode = generalTermNode, ///
         specificNode = specificTermNode; ///
 
-  intrinsicTermPass.run(generalNode, specificNode, generalContext, specificContext, continuation);
+  return intrinsicTermPass.run(generalNode, specificNode, generalContext, specificContext, continuation);
 }
 
 export function unifyMetavariableIntrinsically(generalMetavariable, specificMetavariable, generalContext, specificContext, continuation) {
@@ -545,5 +545,5 @@ export function unifyMetavariableIntrinsically(generalMetavariable, specificMeta
         generalNode = generalMetavariableNode, ///
         specificNode = specificMetavariableNode;
 
-  intrinsicMetavariablePass.run(generalNode, specificNode, generalContext, specificContext, continuation);
+  return intrinsicMetavariablePass.run(generalNode, specificNode, generalContext, specificContext, continuation);
 }

package/src/process/validate.js

@@ -17,7 +17,7 @@ class PropertyPass extends ContinuationPass {
     const nonTerminalNode = termNode,  ///
           childNodes = nonTerminalNode.getChildNodes();
 
-    this.descend(childNodes, context, continuation);
+    return this.descend(childNodes, context, continuation);
   }
 
   static maps = [
@@ -60,7 +60,7 @@ class GeneratorPass extends ContinuationPass {
     const nonTerminalNode = termNode,  ///
           childNodes = nonTerminalNode.getChildNodes();
 
-    this.descend(childNodes, context, continuation);
+    return this.descend(childNodes, context, continuation);
   }
 
   static maps = [
@@ -103,7 +103,7 @@ class CombinatorPass extends ContinuationPass {
     const nonTerminalNode = statementNode,  ///
           childNodes = nonTerminalNode.getChildNodes();
 
-    this.descend(childNodes, context, continuation);
+    return this.descend(childNodes, context, continuation);
   }
 
   static maps = [
@@ -164,7 +164,7 @@ class ConstructorPass extends ContinuationPass {
     const nonTerminalNode = termNode,  ///
           childNodes = nonTerminalNode.getChildNodes();
 
-    this.descend(childNodes, context, continuation);
+    return this.descend(childNodes, context, continuation);
   }
 
   static maps = [
@@ -210,23 +210,23 @@ const propertyPass = new PropertyPass(),
 export function validateTermAsProperty(term, context, continuation) {
   const termNode = term.getNode();
 
-  propertyPass.run(termNode, context, continuation);
+  return propertyPass.run(termNode, context, continuation);
 }
 
 export function validateTermAsGenerator(term, context, continuation) {
   const termNode = term.getNode();
 
-  generatorPass.run(termNode, context, continuation);
+  return generatorPass.run(termNode, context, continuation);
 }
 
 export function validateTermAsConstructor(term, context, continuation) {
   const termNode = term.getNode();
 
-  constructorPass.run(termNode, context, continuation);
+  return constructorPass.run(termNode, context, continuation);
 }
 
 export function validateStatementAsCombinator(statement, context, continuation) {
   const statementNode = statement.getNode();
 
-  combinatorPass.run(statementNode, context, continuation);
+  return combinatorPass.run(statementNode, context, continuation);
 }

package/src/process/validation.js

@@ -165,9 +165,9 @@ function validateStatementAsMetavariable(statement, context, continuation) {
 function unifyStatementWithCombinators(statement, context, continuation) {
   const combinators = context.getCombinators();
 
-  some(combinators, (combinator, continuation) => {
+  return some(combinators, (combinator, continuation) => {
     descend((context) => {
-      combinator.unifyStatement(statement, context, continuation);
+      return combinator.unifyStatement(statement, context, continuation);
     }, context);
   }, continuation);
 }
@@ -175,7 +175,7 @@ function unifyStatementWithCombinators(statement, context, continuation) {
 function unifyStatementWithBracketedCombinator(statement, context, continuation) {
   const bracketedCombinator = bracketedCombinatorFromNothing();
 
-  bracketedCombinator.unifyStatement(statement, context, continuation);
+  return bracketedCombinator.unifyStatement(statement, context, continuation);
 }
 
 function validateStatementAsEquality(statement, context, continuation) {

package/src/process/verify.js

@@ -46,7 +46,7 @@ class TopLevelPass extends ContinuationPass {
       run: (errorNode, context, continuation) => {
         const error = errorFromErrorNode(errorNode, context);
 
-        error.verify(context, continuation);
+        return error.verify(context, continuation);
       }
     },
     {
@@ -54,7 +54,7 @@ class TopLevelPass extends ContinuationPass {
       run: (ruleNode, context, continuation) => {
         const rule = ruleFromRuleNode(ruleNode, context);
 
-        rule.verify(context, continuation);
+        return rule.verify(context, continuation);
       }
     },
     {
@@ -62,7 +62,7 @@ class TopLevelPass extends ContinuationPass {
       run: (axiomNode, context, continuation) => {
         const axiom = axiomFromAxiomNode(axiomNode, context);
 
-        axiom.verify(context, continuation);
+        return axiom.verify(context, continuation);
       }
     },
     {
@@ -70,7 +70,7 @@ class TopLevelPass extends ContinuationPass {
       run: (lemmaNode, context, continuation) => {
         const lemma = lemmaFromLemmaNode(lemmaNode, context);
 
-        lemma.verify(context, continuation);
+        return lemma.verify(context, continuation);
       }
     },
     {
@@ -78,7 +78,7 @@ class TopLevelPass extends ContinuationPass {
       run: (schemaNode, context, continuation) => {
         const schema = schemaFromSchemaNode(schemaNode, context);
 
-        schema.verify(context, continuation);
+        return schema.verify(context, continuation);
       }
     },
     {
@@ -86,7 +86,7 @@ class TopLevelPass extends ContinuationPass {
       run: (sectionNode, context, continuation) => {
         const section = sectionFromSectionNode(sectionNode, context);
 
-        section.verify(context, continuation);
+        return section.verify(context, continuation);
       }
     },
     {
@@ -94,7 +94,7 @@ class TopLevelPass extends ContinuationPass {
       run: (theoremNode, context, continuation) => {
         const theorem = theoremFromTheoremNode(theoremNode, context);
 
-        theorem.verify(context, continuation);
+        return theorem.verify(context, continuation);
       }
     },
     {
@@ -102,7 +102,7 @@ class TopLevelPass extends ContinuationPass {
       run: (conjectureNode, context, continuation) => {
         const conjecture = conjectureFromConjectureNode(conjectureNode, context);
 
-        conjecture.verify(context, continuation);
+        return conjecture.verify(context, continuation);
       }
     },
     {
@@ -110,7 +110,7 @@ class TopLevelPass extends ContinuationPass {
       run: (typeDeclarationNode, context, continuation) => {
         const typeDeclaration = typeDeclarationFromTypeDeclarationNode(typeDeclarationNode, context);
 
-        typeDeclaration.verify(context, continuation);
+        return typeDeclaration.verify(context, continuation);
       }
     },
     {
@@ -118,7 +118,7 @@ class TopLevelPass extends ContinuationPass {
       run: (cotypeDeclarationNode, context, continuation) => {
         const cotypeDeclaration = cotypeDeclarationFromCotypeDeclarationNode(cotypeDeclarationNode, context);
 
-        cotypeDeclaration.verify(context, continuation);
+        return cotypeDeclaration.verify(context, continuation);
       }
     },
     {
@@ -126,7 +126,7 @@ class TopLevelPass extends ContinuationPass {
       run: (variableDeclarationNode, context, continuation) => {
         const variableDeclaration = variableDeclarationFromVariableDeclarationNode(variableDeclarationNode, context);
 
-        variableDeclaration.verify(context, continuation);
+        return variableDeclaration.verify(context, continuation);
       }
     },
     {
@@ -134,7 +134,7 @@ class TopLevelPass extends ContinuationPass {
       run: (generatorDeclarationNode, context, continuation) => {
         const generatorDeclaration = generatorDeclarationFromGeneratorDeclarationNode(generatorDeclarationNode, context);
 
-        generatorDeclaration.verify(context, continuation);
+        return generatorDeclaration.verify(context, continuation);
       }
     },
     {
@@ -142,7 +142,7 @@ class TopLevelPass extends ContinuationPass {
       run: (typePrefixDeclarationNode, context, continuation) => {
         const typePrefixDeclaration = typePrefixDeclarationFromTypePrefixDeclarationNode(typePrefixDeclarationNode, context);
 
-        typePrefixDeclaration.verify(context, continuation);
+        return typePrefixDeclaration.verify(context, continuation);
       }
     },
     {
@@ -150,7 +150,7 @@ class TopLevelPass extends ContinuationPass {
       run: (combinatorDeclarationNode, context, continuation) => {
         const combinatorDeclaration = combinatorDeclarationFromCombinatorDeclarationNode(combinatorDeclarationNode, context);
 
-        combinatorDeclaration.verify(context, continuation);
+        return combinatorDeclaration.verify(context, continuation);
       }
     },
     {
@@ -158,7 +158,7 @@ class TopLevelPass extends ContinuationPass {
       run: (constructorDeclarationNode, context, continuation) => {
         const constructorDeclaration = constructorDeclarationFromConstructorDeclarationNode(constructorDeclarationNode, context);
 
-        constructorDeclaration.verify(context, continuation);
+        return constructorDeclaration.verify(context, continuation);
       }
     },
     {
@@ -166,7 +166,7 @@ class TopLevelPass extends ContinuationPass {
       run: (metavariableDeclarationNode, context, continuation) => {
         const metavariableDeclaration = metavariableDeclarationFromMetavariableDeclarationNode(metavariableDeclarationNode, context);
 
-        metavariableDeclaration.verify(context, continuation);
+        return metavariableDeclaration.verify(context, continuation);
       }
     }
   ];
@@ -177,5 +177,5 @@ const topLevelPass = new TopLevelPass();
 export function verifyFile(fileNode, context, continuation) {
   const node = fileNode; ///
 
-  topLevelPass.run(node, context, continuation);
+  return topLevelPass.run(node, context, continuation);
 }

package/src/utilities/continuation.js

@@ -7,15 +7,15 @@ export const { some, every, match, reduce, forEach, extract, resolve, forwardsEv
 export function all(callbacks, ...remainingArguments) {
   const continuation = remainingArguments.pop();
 
-  every(callbacks, (callback, continuation) => {
-    callback(...remainingArguments, continuation);
+  return every(callbacks, (callback, continuation) => {
+    return callback(...remainingArguments, continuation);
   }, continuation);
 }
 
 export function exists(callbacks, ...remainingArguments) {
   const continuation = remainingArguments.pop();
 
-  some(callbacks, (callback, continuation) => {
-    callback(...remainingArguments, continuation);
+  return some(callbacks, (callback, continuation) => {
+    return callback(...remainingArguments, continuation);
   }, continuation);
 }