Submission #3220622

---

Source Code Expand

let () = Scanf.scanf "%d %d\n" @@ fun n l ->
  let xds = Array.init n @@ fun _ ->
    Scanf.scanf "%d %c\n" @@ fun x d -> x, d in
  Printf.printf "%d\n" @@
  match
    Array.fold_left (fun (acc, st) (x', d) ->
      match st, d with
      | `Right (r, x, c), 'R' ->
          acc, `Right (r + 1, x', c + r * (x' - x - 1))
      | `Right (r, x, c), 'L' ->
          acc, `Left (x + 1, c + r * (x' - x - 1), x' - x - 1)
      | `Left (x, cr, cl), 'L' ->
          acc, `Left (x + 1, cr, cl + x' - x - 1)
      | `Left (_, cr, cl), 'R' ->
          acc + max cr cl, `Right (1, x', 0)) (0, `Right (0, 0, 0)) xds
  with
  | acc, `Right (r, x, c) -> acc + c + r * (l - x)
  | acc, `Left (_, cr, cl) -> acc + max cr cl

Submission Info

Compile Error

File "./Main.ml", line 7, characters 6-378:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(`Left (_, _, _), 'a')

Judge Result