Submission #3220693

---

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), 'R' ->
          acc + r * (x' - x - 1), `Right (r + 1, x')
      | `Right (r, x), 'L' ->
          acc, `Left (x, x', r, 1, x')
      | `Left (xr, xl, r, l, x), 'L' ->
          acc + x' - x - 1, `Left (xr, xl, r, l + 1, x + 1)
      | `Left (xr, xl, r, l, _), 'R' ->
          acc + (xl - xr - 1) * max r l, `Right (1, x'))
    (0, `Right (0, 0)) xds
  with
  | acc, `Right (r, x) -> acc + r * (l - x)
  | acc, `Left (xr, xl, r, l, _) -> acc + (xl - xr - 1) * max r l

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