Skip to content

Commit

Permalink
Improve formatting of product printer
Browse files Browse the repository at this point in the history
  • Loading branch information
jazullo committed Oct 11, 2023
1 parent 0f851d7 commit 3500b60
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion gibbon-compiler/src/Gibbon/L1/GenSML.hs
Original file line number Diff line number Diff line change
Expand Up @@ -389,7 +389,11 @@ printerTy1 ty1 d = case ty1 of
, "in ()"
]
where
ppSub (i, x) = "val _ = " <> printerTy1 x ("x__" <> int i) <> "val _ = print \" \""
ppSub (i, x) = hsep
[ "val _ ="
, printerTy1 x ("x__" <> int i)
, "val _ = print \" \""
]
SymDictTy _m_var _ut -> _
PackedTy s () -> "internal_print_" <> text s <> parens d
VectorTy ut ->
Expand Down

0 comments on commit 3500b60

Please sign in to comment.