Fix bugs

Author: bryanlohxz

src/types/checker/__tests__/assignStatements.test.ts

@@ -25,7 +25,8 @@ const testcases: {
       int test = 0;
       test = 1;
     `,
-    result: { type: null, errors: [] }
+    result: { type: null, errors: [] },
+    only: true
   },
   {
     input: `

src/types/checker/environment.ts

@@ -42,23 +42,16 @@ export class Frame {
   private constructor() {}
 
   public getMethod(name: string): Method | Error {
-    let frame: Frame | null = this
-    while (frame) {
-      const method = frame._methods.get(name)
-      if (method) return method
-      frame = frame._parentFrame
-    }
+    const method = this._methods.get(name)
+    if (method) return method
+    if (this._parentFrame) return this._parentFrame.getMethod(name)
     return new CannotFindSymbolError()
   }
 
   public getReturn(): Type | Error {
-    let frame: Frame | null = this
-    while (frame) {
-      const type = frame._returnType
-      if (type) return type
-      frame = frame._parentFrame
-    }
-    return new Error('Cannot find return type.')
+    if (this._returnType) return this._returnType
+    if (this._parentFrame) return this._parentFrame.getReturn()
+    return new Error('cannot find return type')
   }
 
   public getType(name: string): Type | Error {
@@ -69,22 +62,16 @@ export class Frame {
       return new Array(prefixType)
     }
 
-    let frame: Frame | null = this
-    while (frame) {
-      const type = frame._types.get(name)
-      if (type) return type
-      frame = frame._parentFrame
-    }
+    const type = this._types.get(name)
+    if (type) return type
+    if (this._parentFrame) return this._parentFrame.getType(name)
     return new CannotFindSymbolError()
   }
 
   public getVariable(name: string): Type | Error {
-    let frame: Frame | null = this
-    while (frame) {
-      const type = frame._variables.get(name)
-      if (type) return type
-      frame = frame._parentFrame
-    }
+    const variable = this._variables.get(name)
+    if (variable) return variable
+    if (this._parentFrame) return this._parentFrame.getVariable(name)
     return new CannotFindSymbolError()
   }
 

src/types/checker/index.ts

@@ -233,13 +233,14 @@ export const check = (node: Node, frame: Frame = Frame.globalFrame()): Result =>
         case 'StringLiteral':
           return newResult(String.from(value))
         default:
+          // eslint-disable-next-line @typescript-eslint/restrict-template-expressions
           throw new Error(`Unrecgonized literal type ${kind} found in literal.`)
       }
     }
     case 'LocalVariableDeclarationStatement': {
       if (!node.variableDeclaratorList) throw new Error('Variable declarator list is undefined.')
-      const errors: Error[] = []
       const results = node.variableDeclaratorList.map(variableDeclarator => {
+        const errors: Error[] = []
         const declaredType = frame.getType(node.localVariableType)
         if (declaredType instanceof Error) return newResult(null, [declaredType])
         const { variableInitializer } = variableDeclarator
@@ -262,7 +263,6 @@ export const check = (node: Node, frame: Frame = Frame.globalFrame()): Result =>
               if (checkResult.currentType == null)
                 throw new Error('Variable initializer should return a type.')
               if (!declaredType.canBeAssigned(checkResult.currentType)) {
-                console.log('HELLO!')
                 errors.push(new IncompatibleTypesError())
               }
               return