Merge pull request #71 from JohanWiltink/main

JohanWiltink · web-flow · commit c67b57f671fd · 2022-02-20T01:04:30.000+01:00
another config bug
diff --git a/src/lambda-calculus.js b/src/lambda-calculus.js
@@ -149,7 +149,7 @@ export function toInt(term) {
     else
       return config.numEncoding.toInt(term); // Custom encoding
   } catch (e) {
-    if ( config.verbosity >= "Concise" ) console.error(`toInt: ${ term } is not a number in numEncoding ${ numEncoding }`);
+    if ( config.verbosity >= "Concise" ) console.error(`toInt: ${ term } is not a number in numEncoding ${ config.numEncoding }`);
     throw e;
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -149,7 +149,7 @@ export function toInt(term) {`
`149`	`149`	`else`
`150`	`150`	`return config.numEncoding.toInt(term); // Custom encoding`
`151`	`151`	`} catch (e) {`
`152`		- if ( config.verbosity >= "Concise" ) console.error(`toInt: ${ term } is not a number in numEncoding ${ numEncoding }`);
	`152`	+ if ( config.verbosity >= "Concise" ) console.error(`toInt: ${ term } is not a number in numEncoding ${ config.numEncoding }`);
`153`	`153`	`throw e;`
`154`	`154`	`}`
`155`	`155`	`}`