From 6c6e49e2ebb73d467c6396b504a090a7fcdeca3a Mon Sep 17 00:00:00 2001
From: Phil de Joux <philderbeast@gmail.com>
Date: Fri, 26 Jul 2024 15:51:19 -0400
Subject: [PATCH] Add test for spaced single line comments

---
 tests/empty-comment.test | 21 ++++++++++++++++++++-
 1 file changed, 20 insertions(+), 1 deletion(-)

diff --git a/tests/empty-comment.test b/tests/empty-comment.test
index 055eb724..26b3b515 100644
--- a/tests/empty-comment.test
+++ b/tests/empty-comment.test
@@ -208,4 +208,23 @@ Found:
   {- ^-}
 Perhaps you should remove it.
 
-6 hints
\ No newline at end of file
+6 hints
+
+---------------------------------------------------------------------
+RUN tests/empty-comment-mixed.hs
+FILE tests/empty-comment-mixed.hs
+
+-- |
+--
+-- Comment with blank line comment space above and below.
+--
+commentWithSpace = 1
+
+-- | Introduction line.
+--
+-- Comment with introduction line above and blank line below.
+--
+CommentWithSpaceOnlyAfter = 1
+
+OUTPUT
+No hints