feat: merge labts fixes

src/main/wacc/Main.scala

@@ -82,9 +82,11 @@ def compile(filename: String, outFile: Option[File] = None)(using
 def main(args: Array[String]): Unit =
   OParser.parse(cliParser, args, CliConfig()) match {
     case Some(config) =>
-      compile(
-        config.file.getAbsolutePath,
-        outFile = Some(File(".", config.file.getName.stripSuffix(".wacc") + ".s"))
+      System.exit(
+        compile(
+          config.file.getAbsolutePath,
+          outFile = Some(File(".", config.file.getName.stripSuffix(".wacc") + ".s"))
+        )
       )
     case None =>
   }

src/main/wacc/frontend/typeChecker.scala

@@ -180,8 +180,8 @@ object typeChecker {
             microWacc.Builtin.Read,
             List(
               destTy match {
-                case KnownType.Int      => "%d".toMicroWaccCharArray
-                case KnownType.Char | _ => "%c".toMicroWaccCharArray
+                case KnownType.Int      => " %d".toMicroWaccCharArray
+                case KnownType.Char | _ => " %c".toMicroWaccCharArray
               },
               destTyped
             )