[printer] Do not print () after variant pattern with no attached da…

…ta (#1107)
SamChou19815 · Oct 16, 2023 · b0b8c68 · b0b8c68
1 parent 1084299
commit b0b8c68
Showing 1 changed file with 13 additions and 7 deletions.
diff --git a/crates/samlang-core/src/printer/source_printer.rs b/crates/samlang-core/src/printer/source_printer.rs
@@ -714,12 +714,18 @@ fn matching_pattern_to_document(heap: &Heap, pattern: &pattern::MatchingPattern<
       tag,
       data_variables,
       type_: (),
-    }) => Document::concat(vec![
-      Document::Text(rc_pstr(heap, tag.name)),
-      parenthesis_surrounded_doc(comma_sep_list(data_variables, |(p, _)| {
-        matching_pattern_to_document(heap, p)
-      })),
-    ]),
+    }) => {
+      if data_variables.is_empty() {
+        Document::Text(rc_pstr(heap, tag.name))
+      } else {
+        Document::concat(vec![
+          Document::Text(rc_pstr(heap, tag.name)),
+          parenthesis_surrounded_doc(comma_sep_list(data_variables, |(p, _)| {
+            matching_pattern_to_document(heap, p)
+          })),
+        ])
+      }
+    }
     pattern::MatchingPattern::Id(id, _) => Document::Text(rc_pstr(heap, id.name)),
     pattern::MatchingPattern::Wildcard(_) => Document::Text(rcs("_")),
   }
@@ -1358,7 +1364,7 @@ Test /* b */ /* c */.VariantName<T>(42)"#,
       r#"{
   let _ = if let {
     foo as {
-      bar as [Fizz(baz), Buzz(), _],
+      bar as [Fizz(baz), Buzz, _],
       boo
     }
   } = true then {