more formatting and cases for array pattern matching

Author: zth

jscomp/build_tests/super_errors/expected/warnings5.res.expected

@@ -80,6 +80,21 @@ Either bind these labels explicitly or add ', _' to the pattern.
  26 │ | [one] => Js.log(one)
  27 │ }
  28 │ 
+ 29 │ switch arr {
 
  You forgot to handle a possible case here, for example: 
- []
+ []
+
+
+ Warning number 8
+ /.../fixtures/warnings5.res:29:1-31:1
+
+ 27 │ }
+ 28 │ 
+ 29 │ switch arr {
+ 30 │ | [1, 2] => ()
+ 31 │ }
+ 32 │ 
+
+ You forgot to handle a possible case here, for example: 
+ [1, 0] | [0, _] | []

jscomp/build_tests/super_errors/fixtures/warnings5.res

@@ -25,3 +25,7 @@ switch arr {
 switch arr {
 | [one] => Js.log(one)
 }
+
+switch arr {
+| [1, 2] => ()
+}

jscomp/ml/parmatch.ml

@@ -432,7 +432,7 @@ let rec pretty_val ppf v =
  pretty_lvals filtered_lvs elision_mark
  end
  | Tpat_array vs ->
- fprintf ppf "@[[%a]@]" (pretty_vals " ;") vs
+ fprintf ppf "@[[%a]@]" (pretty_vals ",") vs
  | Tpat_lazy v ->
  fprintf ppf "@[<2>lazy@ %a@]" pretty_arg v
  | Tpat_alias (v, x,_) ->

lib/4.06.1/unstable/js_compiler.ml

@@ -26838,7 +26838,7 @@ let rec pretty_val ppf v =
  pretty_lvals filtered_lvs elision_mark
  end
  | Tpat_array vs ->
- fprintf ppf "@[[%a]@]" (pretty_vals " ;") vs
+ fprintf ppf "@[[%a]@]" (pretty_vals ",") vs
  | Tpat_lazy v ->
  fprintf ppf "@[<2>lazy@ %a@]" pretty_arg v
  | Tpat_alias (v, x,_) ->

lib/4.06.1/unstable/js_playground_compiler.ml

@@ -26838,7 +26838,7 @@ let rec pretty_val ppf v =
  pretty_lvals filtered_lvs elision_mark
  end
  | Tpat_array vs ->
- fprintf ppf "@[[%a]@]" (pretty_vals " ;") vs
+ fprintf ppf "@[[%a]@]" (pretty_vals ",") vs
  | Tpat_lazy v ->
  fprintf ppf "@[<2>lazy@ %a@]" pretty_arg v
  | Tpat_alias (v, x,_) ->

lib/4.06.1/whole_compiler.ml

@@ -186779,7 +186779,7 @@ let rec pretty_val ppf v =
  pretty_lvals filtered_lvs elision_mark
  end
  | Tpat_array vs ->
- fprintf ppf "@[[%a]@]" (pretty_vals " ;") vs
+ fprintf ppf "@[[%a]@]" (pretty_vals ",") vs
  | Tpat_lazy v ->
  fprintf ppf "@[<2>lazy@ %a@]" pretty_arg v
  | Tpat_alias (v, x,_) ->