fix(eo-phi-normalizer): don't print space in an empty formation

objectionary · Nov 29, 2024 · 578774a · 578774a
1 parent 0073138
commit 578774a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/eo-phi-normalizer/src/Language/EO/Phi/Syntax.hs b/eo-phi-normalizer/src/Language/EO/Phi/Syntax.hs
@@ -64,7 +64,7 @@ render d = rend 0 False (map ($ "") $ d []) ""
   rend i p = \case
     "[" : "]" : ts -> showString "[]" . rend i False ts
     "(" : ")" : (t : ts) -> handleTrailingComma "()" t ts
-    "⟦" : "⟧" : (t : ts) -> handleTrailingComma "⟦ ⟧" t ts
+    "⟦" : "⟧" : (t : ts) -> handleTrailingComma "⟦⟧" t ts
     "[" : ts -> char '[' . rend i False ts
     "(" : ts -> char '(' . new (i + 1) ts
     "{" : "⟦" : ts -> showChar '{' . onNewLine (i + 1) p . showChar '⟦' . new (i + 2) ts