Print tuples with racket syntax

iu-parfunc · Oct 11, 2023 · 0f851d7 · 0f851d7
1 parent d28fca1
commit 0f851d7
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
@@ -383,13 +383,13 @@ printerTy1 ty1 d = case ty1 of
       [ "case", d, "of"
       , parens $ interleave comma $ ("x__" <>) . int . fst <$> zip [1..] uts
       , "-> let"
-      , "val _ = print \"(\""
+      , "val _ = print \"#(\""
       , foldMap ppSub $ zip [1..] uts
       , "val _ = print \")\""
       , "in ()"
       ]
     where
-      ppSub (i, x) = "val _ = " <> printerTy1 x ("x__" <> int i)
+      ppSub (i, x) = "val _ = " <> printerTy1 x ("x__" <> int i) <> "val _ = print \" \""
   SymDictTy _m_var _ut -> _
   PackedTy s () -> "internal_print_" <> text s <> parens d
   VectorTy ut ->