futhark fmt: handle comment-only programs better.

diku-dk · Jan 11, 2025 · 7f15f73 · 7f15f73
1 parent 69e3a42
commit 7f15f73
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/src/Futhark/Fmt/Printer.hs b/src/Futhark/Fmt/Printer.hs
@@ -619,6 +619,7 @@ instance Format UncheckedDec where
     addComments loc $ "import" <+> "\"" <> fmtPretty path <> "\""
 
 instance Format UncheckedProg where
+  fmt (Prog Nothing []) = popComments
   fmt (Prog Nothing decs) = sepDecs fmt decs </> popComments
   fmt (Prog (Just dc) decs) = fmt dc </> sepDecs fmt decs </> popComments
 

diff --git a/tests_fmt/expected/header_comment.fut b/tests_fmt/expected/header_comment.fut
@@ -0,0 +1 @@
+-- # This comment is the first and only thing in this file.
diff --git a/tests_fmt/header_comment.fut b/tests_fmt/header_comment.fut
@@ -0,0 +1 @@
+-- # This comment is the first and only thing in this file.
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		-- # This comment is the first and only thing in this file.