Fix

toku-sa-n · Aug 12, 2023 · 8502a14 · 8502a14
1 parent ca2ae67
commit 8502a14
Showing 1 changed file with 3 additions and 6 deletions.
diff --git a/lib/ppast.ml b/lib/ppast.ml
@@ -39,13 +39,10 @@ let rec pp_cases_pattern_expr printer CAst.{ v; loc = _ } =
 and pp_cases_pattern_expr_r printer = function
   | Constrexpr.CPatAtom (Some id) -> pp_qualid printer id
   | Constrexpr.CPatAtom None -> write printer "_"
-  | Constrexpr.CPatCstr (outer, None, values) ->
+  | Constrexpr.CPatCstr (outer, None, [ expr ]) ->
       pp_qualid printer outer;
-      List.iter
-        (fun value ->
-          space printer;
-          pp_cases_pattern_expr printer value)
-        values
+      space printer;
+      pp_cases_pattern_expr printer expr
   | Constrexpr.CPatNotation (None, (_, notation), (expr1, expr2), []) ->
       (* FIXME: THE CODE OF THIS BRANCH IS CORNER-CUTTING. *)
       let exprs = expr1 @ List.flatten expr2 in