final touches

Author: hikariatama

README.md

@@ -1,4 +1,4 @@
-# MiniLang -> WASM Compiler
+# ToyLang -> WASM Compiler
 
 ## Prereqs
 
@@ -32,7 +32,7 @@ make build
 make start
 ```
 
-Open http://localhost:3000 and you get the playground.
+Open http://localhost:3000.
 
 ## Style
 

compiler/Program.cs

@@ -1,9 +1,9 @@
 using System.Text;
 using System.Text.Json;
 using System.Text.Json.Serialization;
-using MiniLang.Semantic;
-using MiniLang.Syntax;
-using MiniLang.Wasm;
+using ToyLang.Semantic;
+using ToyLang.Syntax;
+using ToyLang.Wasm;
 
 public class Program
 {

compiler/analyzer/Analyzer.cs

@@ -1,4 +1,4 @@
-using MiniLang.Syntax;
+using ToyLang.Syntax;
 
 public sealed class Analyzer
 {

compiler/analyzer/Ast.cs

@@ -1,6 +1,6 @@
 using System.Text.Json.Serialization;
 
-namespace MiniLang.Syntax
+namespace ToyLang.Syntax
 {
     public abstract record AstNode(int Line, int Column);
 

compiler/semantic/AstUtils.cs

@@ -1,6 +1,6 @@
-using MiniLang.Syntax;
+using ToyLang.Syntax;
 
-namespace MiniLang.Semantic;
+namespace ToyLang.Semantic;
 
 public static class AstUtils
 {

compiler/semantic/CodePrinter.cs

@@ -1,6 +1,6 @@
-using MiniLang.Syntax;
+using ToyLang.Syntax;
 
-namespace MiniLang.Semantic;
+namespace ToyLang.Semantic;
 
 public static class CodePrinter
 {

compiler/semantic/Optimizer.cs

@@ -1,6 +1,6 @@
-using MiniLang.Syntax;
+using ToyLang.Syntax;
 
-namespace MiniLang.Semantic;
+namespace ToyLang.Semantic;
 
 public static class Optimizer
 {

compiler/semantic/SemanticAnalyzer.cs

@@ -1,9 +1,6 @@
-using System;
-using System.Collections.Generic;
-using System.Linq;
-using MiniLang.Syntax;
+using ToyLang.Syntax;
 
-namespace MiniLang.Semantic;
+namespace ToyLang.Semantic;
 
 public sealed class SemanticAnalyzer
 {
@@ -353,7 +350,7 @@ private void ValidateMethodBody(MethodDecl m, ClassInfo? cls, Dictionary<string,
             foreach (var st in b.Statements)
             {
                 if (afterReturn)
-                    AddWarning(Stage.Semantic, st.Line, "Dead code xd", hint: null);
+                    AddWarning(Stage.Semantic, st.Line, "Unreachable code", hint: null);
                 ValidateStmt(st, cls, locals, typeParams, m, inLoop: false);
                 if (st is ReturnStmt)
                     afterReturn = true;
@@ -449,9 +446,6 @@ private void ValidateStmt(Statement s, ClassInfo? cls, Dictionary<string, Simple
                 break;
             case IfStmt i:
                 ValidateExprSemantics(i.Condition, cls, locals, typeParams, inMethod: true);
-                var ct = TryInferExprType(i.Condition, locals, cls?.Fields, typeParams, inMethod: true, currentClass: cls);
-                if (ct != null && !TypeUtils.IsBoolean(ct))
-                    AddError(Stage.Semantic, i.Line, "If condition must be Boolean", "if");
                 var thenLocals = new Dictionary<string, SimpleType>(locals, StringComparer.Ordinal);
                 ValidateStmt(i.Then, cls, thenLocals, typeParams, method, inLoop);
                 if (i.Else != null)

compiler/semantic/SimpleType.cs

@@ -1,4 +1,4 @@
-namespace MiniLang.Semantic;
+namespace ToyLang.Semantic;
 
 public sealed class SimpleType
 {

compiler/semantic/SourceMapping.cs

@@ -1,4 +1,4 @@
-namespace MiniLang.Semantic;
+namespace ToyLang.Semantic;
 
 internal static class SourceMapping
 {