Print gibbon_main in the sml backend

iu-parfunc · Oct 4, 2023 · 8fcbf06 · 8fcbf06
1 parent 29f6f52
commit 8fcbf06
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/gibbon-compiler/src/Gibbon/L1/GenSML.hs b/gibbon-compiler/src/Gibbon/L1/GenSML.hs
@@ -316,8 +316,8 @@ reduceFunDefs keyword funDef doc =
 ppMainExpr :: Maybe (Exp1, Ty1) -> Doc
 ppMainExpr opt = case opt of
   Nothing -> mempty
-  Just (exp0, _) -> 
-    "val _ = " <> ppE exp0 <> semi
+  Just (exp1, ty1) -> 
+    "val _ = " <> printerTy1 ty1 (ppE exp1) <> semi
     <> "\nval _ = print \"\\n\""
 
 ppDDefs :: DDefs1 -> Doc