From bc5d7a6915af2774f17f31641ed249d20311f9ee Mon Sep 17 00:00:00 2001
From: Mirek Kratochvil <exa.exa@gmail.com>
Date: Sun, 13 Jul 2025 10:24:23 +0200
Subject: fine-grained space merging

---
 Toks.hs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Toks.hs')

diff --git a/Toks.hs b/Toks.hs
index c8ec567..3a27715 100644
--- a/Toks.hs
+++ b/Toks.hs
@@ -23,6 +23,9 @@ unmarkSpace ('.':s) = s
 unmarkSpace ('|':s) = s
 unmarkSpace _ = error "wat"
 
+space ('.':_) = True
+space _ = False
+
 split =
   unlines
     . map (concatMap escape . markSpace)
-- 
cgit v1.2.3