tgeng
diff --git a/‎.idea/modules.xml
-2 b/‎.idea/modules.xml
-2
diff --git a/‎.idea/modules/archon.iml
+42-3 b/‎.idea/modules/archon.iml
+42-3
diff --git a/‎.idea/modules/archon.main.iml
-36 b/‎.idea/modules/archon.main.iml
-36
diff --git a/‎.idea/modules/archon.test.iml
-55 b/‎.idea/modules/archon.test.iml
-55
diff --git a/‎.idea/scala_compiler.xml
+1-3 b/‎.idea/scala_compiler.xml
+1-3
diff --git a/‎build.sbt
+3-3 b/‎build.sbt
+3-3
diff --git a/‎src/main/scala/com/github/tgeng/archon/core/ir/signatureTyping.scala
+1-1 b/‎src/main/scala/com/github/tgeng/archon/core/ir/signatureTyping.scala
+1-1
@@ -1,7 +1,7 @@
 Global / onChangedBuildSource := ReloadOnSourceChanges
 ThisBuild / version := "0.1.0-SNAPSHOT"
 
-ThisBuild / scalaVersion := "3.5.1"
+ThisBuild / scalaVersion := "3.5.2"
 
 lazy val root = (project in file("."))
   .settings(
@@ -20,8 +20,8 @@ lazy val root = (project in file("."))
       "org.scalatest" %% "scalatest" % "3.2.19" % "test",
       "com.lihaoyi" %% "pprint" % "0.9.0",
       "com.lihaoyi" %% "fastparse" % "3.1.1",
-      "com.lihaoyi" %% "os-lib" % "0.10.7",
-      "org.scala-lang.modules" %% "scala-collection-contrib" % "0.3.0",
+      "com.lihaoyi" %% "os-lib" % "0.11.3",
+      "org.scala-lang.modules" %% "scala-collection-contrib" % "0.4.0",
     ),
     Compile / unmanagedJars += {
       baseDirectory.value / "unmanaged" / "scalaz3_3-4.8.14-macos-aarch64.jar"
 
@@ -7,7 +7,7 @@ import com.github.tgeng.archon.core.common.*
 import com.github.tgeng.archon.core.ir
 import com.github.tgeng.archon.core.ir.CTerm.*
 import com.github.tgeng.archon.core.ir.Declaration.*
-import com.github.tgeng.archon.core.ir.EscapeStatus.{EsLocal, EsReturned, EsUnknown}
+import com.github.tgeng.archon.core.ir.EscapeStatus.{EsLocal, EsUnknown}
 import com.github.tgeng.archon.core.ir.IrError.*
 import com.github.tgeng.archon.core.ir.PrettyPrinter.pprint
 import com.github.tgeng.archon.core.ir.Usage.*