Eta reduce under run

effekt-lang · Dec 27, 2024 · f27430a · f27430a
1 parent b5dcaef
commit f27430a
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/effekt/shared/src/main/scala/effekt/core/optimizer/Normalizer.scala b/effekt/shared/src/main/scala/effekt/core/optimizer/Normalizer.scala
@@ -292,6 +292,11 @@ object Normalizer { normal =>
 
   // run { return e }  =  e
   def Run(s: Stmt): Expr = s match {
+
+    // run { let x = e; return x }  =  e
+    case Stmt.Scope(Definition.Let(id1, _, binding) :: Nil, Stmt.Return(Pure.ValueVar(id2, _))) if id1 == id2 =>
+      binding
+
     case Stmt.Return(expr) => expr
     case _ => core.Run(s)
   }