Tweak

Author: waterlens

compiler/shared/main/scala/mlscript/compiler/codegen/CppAst.scala

@@ -14,12 +14,11 @@ enum Specifier:
   case Static
   case Inline
 
-  def toDocument = raw(
+  def toDocument = raw:
     this match
     case Extern => "extern"
     case Static => "static"
     case Inline => "inline"
-  )
 
   override def toString: Str = toDocument.print
 

compiler/shared/main/scala/mlscript/compiler/optimizer/TailRecOpt.scala

@@ -344,7 +344,8 @@ class TailRecOpt(fnUid: FreshInt, classUid: FreshInt, tag: FreshInt, raise: Diag
                         else searchOptCalls(body)
       case LetMethodCall(names, cls, method, args, body) =>
         // method call is unresolved, just ignore it
-        searchOptCalls(body)(acc, src, scc, start, calledDefn, letCallNode, letCtorNode, containingCtors -- names.toSet) 
+        // `containingCtors -- names.toSet` takes care of variable shadowing
+        searchOptCalls(body)(acc, src, scc, start, calledDefn, letCallNode, letCtorNode, containingCtors -- names.toSet)
       case x @ LetCall(names, defn, args, isTailRec, body) =>
         val callInScc = scc.contains(defn.expectDefn)