finally?

polystat · Oct 31, 2022 · 0b1e6c7 · 0b1e6c7
1 parent 30706dc
commit 0b1e6c7
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/...piler/src/main/scala/org/polystat/py2eo/transpiler/PrintLinearizedMutableEOWithCage.scala b/...piler/src/main/scala/org/polystat/py2eo/transpiler/PrintLinearizedMutableEOWithCage.scala
@@ -415,7 +415,7 @@ object PrintLinearizedMutableEOWithCage {
   def printModule(moduleName : String, st : Statement.T) : Text = {
     HackName.count = 0
     val theTest@FuncDef(_, _, _, _, _, _, _, _, _, _) =
-      ComputeAccessibleIdents.computeAccessibleIdents(FuncDef(moduleName, List(), None, None, None, st, Decorators(List()),
+      ComputeAccessibleIdents.computeAccessibleIdents(FuncDef(moduleName.substring(1), List(), None, None, None, st, Decorators(List()),
         HashMap(), isAsync = false, st.ann.pos))
     val fakeStackUp = List(
       "[] > stackUp",
@@ -426,8 +426,8 @@ object PrintLinearizedMutableEOWithCage {
     val almost =
       "+package xmodules" ::
       headers ++
-      ("" :: s"[] > x$moduleName" :: hack.tail)
-    almost.init :+ "  ((ap)).result > @"
+      ("" :: s"[] > $moduleName" :: hack.tail)
+    almost.init.init :+ "      (return 0)" :+ "  ((ap)).result > @"
   }
 
 }