diff options
Diffstat (limited to 'src/interpreter')
-rw-r--r-- | src/interpreter/PeggyParser.js | 10 | ||||
-rw-r--r-- | src/interpreter/interpreter.ts | 22 |
2 files changed, 16 insertions, 16 deletions
diff --git a/src/interpreter/PeggyParser.js b/src/interpreter/PeggyParser.js index 5671d91..121cf9d 100644 --- a/src/interpreter/PeggyParser.js +++ b/src/interpreter/PeggyParser.js @@ -226,7 +226,7 @@ export default (function () { ["0", "9"], ], false, - false, + false ); var peg$e1 = peg$literalExpectation("(", false); var peg$e2 = peg$literalExpectation(")", false); @@ -260,7 +260,7 @@ export default (function () { if (options.startRule) { if (!(options.startRule in peg$startRuleFunctions)) { throw new Error( - "Can't start parsing from rule \"" + options.startRule + '".', + "Can't start parsing from rule \"" + options.startRule + '".' ); } @@ -296,7 +296,7 @@ export default (function () { throw peg$buildStructuredError( [peg$otherExpectation(description)], input.substring(peg$savedPos, peg$currPos), - location, + location ); } @@ -417,7 +417,7 @@ export default (function () { peg$SyntaxError.buildMessage(expected, found), expected, found, - location, + location ); } @@ -883,7 +883,7 @@ export default (function () { peg$maxFailPos < input.length ? input.charAt(peg$maxFailPos) : null, peg$maxFailPos < input.length ? peg$computeLocation(peg$maxFailPos, peg$maxFailPos + 1) - : peg$computeLocation(peg$maxFailPos, peg$maxFailPos), + : peg$computeLocation(peg$maxFailPos, peg$maxFailPos) ); } } diff --git a/src/interpreter/interpreter.ts b/src/interpreter/interpreter.ts index 4599c46..c546bd2 100644 --- a/src/interpreter/interpreter.ts +++ b/src/interpreter/interpreter.ts @@ -32,7 +32,7 @@ export type DebrujinifiedLambdaTerm = export const debrujinify = ( term: LambdaTerm, - symbolTable: SymbolTable, + symbolTable: SymbolTable ): DebrujinifiedLambdaTerm => { if (isVariable(term)) { if (!symbolTable.has(term)) { @@ -65,14 +65,14 @@ export const debrujinify = ( } throw new InvalidLambdaTermError( - `Invalid lambda term: ${JSON.stringify(term)}`, + `Invalid lambda term: ${JSON.stringify(term)}` ); }; export const substitute = ( inTerm: DebrujinifiedLambdaTerm, index: number, - withTerm: DebrujinifiedLambdaTerm, + withTerm: DebrujinifiedLambdaTerm ): DebrujinifiedLambdaTerm => { if ("index" in inTerm) { if (inTerm.index > index) { @@ -108,13 +108,13 @@ export const substitute = ( } throw new InvalidLambdaTermError( - `Invalid lambda term: ${JSON.stringify(inTerm)}`, + `Invalid lambda term: ${JSON.stringify(inTerm)}` ); }; export const adjustIndices = ( term: DebrujinifiedLambdaTerm, - delta: number, + delta: number ): DebrujinifiedLambdaTerm => { if ("index" in term) { return { @@ -146,12 +146,12 @@ export const adjustIndices = ( } throw new InvalidLambdaTermError( - `Invalid lambda term: ${JSON.stringify(term)}`, + `Invalid lambda term: ${JSON.stringify(term)}` ); }; export const betaReduce = ( - term: DebrujinifiedLambdaTerm, + term: DebrujinifiedLambdaTerm ): DebrujinifiedLambdaTerm => { if ("index" in term) { return term; @@ -194,7 +194,7 @@ export const betaReduce = ( } throw new InvalidLambdaTermError( - `Invalid lambda term: ${JSON.stringify(term)}`, + `Invalid lambda term: ${JSON.stringify(term)}` ); }; @@ -214,7 +214,7 @@ export const emitDebrujin = (term: DebrujinifiedLambdaTerm): string => { } throw new InvalidLambdaTermError( - `Invalid lambda term: ${JSON.stringify(term)}`, + `Invalid lambda term: ${JSON.stringify(term)}` ); }; @@ -225,7 +225,7 @@ export const emitNamed = (term: DebrujinifiedLambdaTerm): string => { if ("abstraction" in term) { return `(λ (${term.abstraction.param}) . ${emitNamed( - term.abstraction.body, + term.abstraction.body )})`; } @@ -241,7 +241,7 @@ export const emitNamed = (term: DebrujinifiedLambdaTerm): string => { export const interpret = ( term: string, symbolTable = new SymbolTable(), - allowUnderscores = false, + allowUnderscores = false ): DebrujinifiedLambdaTerm => { const ast = parse(term, allowUnderscores); const debrujined = debrujinify(ast, symbolTable); |