diff --git a/src/Typecheck.hs b/src/Typecheck.hs index ac08d39..fd58f17 100644 --- a/src/Typecheck.hs +++ b/src/Typecheck.hs @@ -21,7 +21,7 @@ typeCheckMethodDeclaration (MethodDeclaration retType name params body) classFie let -- Combine class fields with method parameters to form the initial symbol table for the method methodParams = [(identifier, dataType) | ParameterDeclaration dataType identifier <- params] - initialSymtab = ("thisMeth", retType) : classFields ++ methodParams + initialSymtab = classFields ++ methodParams checkedBody = typeCheckStatement body initialSymtab classes bodyType = getTypeFromStmt checkedBody -- Check if the type of the body matches the declared return type