From 9db8668b1b23c57f3c0307463fbfacde443040cf Mon Sep 17 00:00:00 2001 From: Troels Henriksen Date: Sun, 3 Nov 2024 11:17:32 +0100 Subject: [PATCH] We also want a space here. --- src/Futhark/Fmt/Printer.hs | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/src/Futhark/Fmt/Printer.hs b/src/Futhark/Fmt/Printer.hs index d02432f87b..0d8a10de5e 100644 --- a/src/Futhark/Fmt/Printer.hs +++ b/src/Futhark/Fmt/Printer.hs @@ -464,12 +464,7 @@ instance Format UncheckedSpec where | null ps = fmtName bindingStyle name | otherwise = fmtName bindingStyle name align (sep line $ map fmt ps) fmt (ValSpec name ps te _ doc loc) = - addComments loc $ - fmt doc - <> "val" - <+> sub - <> ":" - <+> fmt te + addComments loc $ fmt doc <> "val" <+> sub <+> ":" <+> fmt te where sub | null ps = fmtName bindingStyle name