half semantic tests done :')

src/coolc.py

@@ -9,7 +9,7 @@
 print('Copyright (c) 2021: Yasmin Cisneros Cimadevila & Jessy Gigato Izquierdo')
 
 def run():
-    sp = subprocess.run(['python3', 'utils/pipeline.py', 'final-execution', input_file, output_file], capture_output=True, timeout=100) 
+    sp = subprocess.run(['python', 'utils/pipeline.py', 'final-execution', input_file, output_file], capture_output=True, timeout=100) 
     dcode = sp.stdout.decode()
     print(dcode)
     exit(sp.returncode)

src/utils/pipeline.py

@@ -269,11 +269,12 @@ def final_execution(program_file, program_file_out, debug: bool = False, verbose
             # e.text
             # errors
         if errors:
-            print_errors('\n'.join(errors))
+            # print_errors('\n'.join(errors))
+            print_errors(errors[-1])
             # InferenceTypeChecker(context, errors).visit(ast, Scope())
             # CodeBuilder().visit(ast, 0) # se puede ver el codigo transformado
             # Execution(context).visit(ast, Scope())
-
+            exit(1)
         ### code generation ###          
 
     # return "\n".join(errors) 

src/utils/utils/type_analysis.py

@@ -32,6 +32,7 @@ def visit(self, node: ast.ProgramNode):
         # defining methods
         object_type.define_method('abort', [], [], object_type)
         object_type.define_method('get_type', [], [], str_type)
+        object_type.define_method('type_name', ['str'], [str_type], str_type)
         object_type.define_method('copy', [], [], object_type)
         str_type.define_method('length', [], [], int_type)
         str_type.define_method('concat', ['str'], [str_type], str_type)