Feat: Add Errors for Undeclared Constants

Author: kavishsathia

src/tracer/__tests__/tracer_debug.ts

@@ -112,7 +112,7 @@ function h(f, x) {
 // TODO: Check for -Infinity
 test('general', () => {
   const code = `
-  -Infinity;
+  1 + x;
   `
   const program = parse(code, { ecmaVersion: 10, locations: true })!
   const steps = getSteps(convert(program), { stepLimit: 200 })

src/tracer/nodes/Expression/BinaryExpression.ts

@@ -4,6 +4,7 @@ import { redex } from '../..'
 import { StepperLiteral } from './Literal'
 import { StepperExpression, StepperPattern } from '..'
 import { convert } from '../../generator'
+import { isBuiltinFunction } from '../../builtins'
 export class StepperBinaryExpression implements BinaryExpression, StepperBaseNode {
   type: 'BinaryExpression'
   operator: BinaryOperator
@@ -46,6 +47,10 @@ export class StepperBinaryExpression implements BinaryExpression, StepperBaseNod
   }
 
   isContractible(): boolean {
+    if (this.freeNames().filter(name => !isBuiltinFunction(name)).length > 0) {
+      throw new Error(`Line ${this.loc?.start.line || 0}: Name ${this.freeNames()[0]} not declared or assigned.`);
+    }
+
     if (this.left.type !== 'Literal' || this.right.type !== 'Literal') {
       return false;
     }

src/tracer/nodes/Expression/ConditionalExpression.ts

@@ -3,6 +3,7 @@ import { StepperBaseNode } from '../../interface'
 import { redex } from '../..'
 import { StepperExpression, StepperPattern } from '..'
 import { convert } from '../../generator'
+import { isBuiltinFunction } from '../../builtins'
 
 export class StepperConditionalExpression implements ConditionalExpression, StepperBaseNode {
   type: 'ConditionalExpression'
@@ -46,6 +47,10 @@ export class StepperConditionalExpression implements ConditionalExpression, Step
   }
 
   isContractible(): boolean {
+    if (this.freeNames().filter(name => !isBuiltinFunction(name)).length > 0) {
+      throw new Error(`Line ${this.loc?.start.line || 0}: Name ${this.freeNames()[0]} not declared or assigned.`);
+    }
+    
     if (this.test.type !== 'Literal') return false
     const test_value = this.test.value
     if (typeof test_value !== 'boolean') {

src/tracer/nodes/Expression/LogicalExpression.ts

@@ -4,6 +4,7 @@ import { redex } from '../..'
 import { StepperLiteral } from './Literal'
 import { StepperExpression, StepperPattern } from '..'
 import { convert } from '../../generator'
+import { isBuiltinFunction } from '../../builtins'
 
 export class StepperLogicalExpression implements LogicalExpression, StepperBaseNode {
   type: 'LogicalExpression'
@@ -47,6 +48,10 @@ export class StepperLogicalExpression implements LogicalExpression, StepperBaseN
   }
 
   isContractible(): boolean {
+    if (this.freeNames().filter(name => !isBuiltinFunction(name)).length > 0) {
+      throw new Error(`Line ${this.loc?.start.line || 0}: Name ${this.freeNames()[0]} not declared or assigned.`);
+    }
+    
     if (this.left.type === 'Literal') {
       const leftType = typeof this.left.value;
 
@@ -57,7 +62,7 @@ export class StepperLogicalExpression implements LogicalExpression, StepperBaseN
       redex.preRedex = [this];
       return true;
     }
-    
+
     return false;
   }
 

src/tracer/nodes/Expression/UnaryExpression.ts

@@ -4,6 +4,7 @@ import { redex } from '../..'
 import { StepperLiteral } from './Literal'
 import { convert } from '../../generator'
 import { StepperExpression, StepperPattern } from '..'
+import { isBuiltinFunction } from '../../builtins'
 
 export class StepperUnaryExpression implements UnaryExpression, StepperBaseNode {
   type: 'UnaryExpression'
@@ -68,6 +69,10 @@ export class StepperUnaryExpression implements UnaryExpression, StepperBaseNode
   }
 
   isContractible(): boolean {
+    if (this.freeNames().filter(name => !isBuiltinFunction(name)).length > 0) {
+      throw new Error(`Line ${this.loc?.start.line || 0}: Name ${this.freeNames()[0]} not declared or assigned.`);
+    }
+    
     if (this.argument.type !== 'Literal') return false
 
     const valueType = typeof this.argument.value;