fix(eo-phi-normalizer): correctly handle empty parentheses

objectionary · Nov 28, 2024 · 4e1483d · 4e1483d
1 parent 0642f62
commit 4e1483d
Showing 1 changed file with 6 additions 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
@@ -63,7 +63,12 @@ render d = rend 0 False (map ($ "") $ d []) ""
     ShowS
   rend i p = \case
     "[" : "]" : ts -> showString "[]" . rend i False ts
-    "(" : ")" : ts -> showString "()" . rend i False ts
+    "(" : ")" : (t : ts) ->
+      (pending . showString "()")
+        . ( case t of
+              "," -> showChar ',' . new i ts
+              _ -> rend i False (t : ts)
+          )
     "⟦" : "⟧" : ts -> showString "⟦ ⟧" . rend i False ts
     "[" : ts -> char '[' . rend i False ts
     "(" : ts -> char '(' . new (i + 1) ts