diff --git a/src/analysis/jump.ml b/src/analysis/jump.ml index 5392c917e..076e1f5ff 100644 --- a/src/analysis/jump.ml +++ b/src/analysis/jump.ml @@ -187,16 +187,16 @@ let get typed_tree pos target = in if String.length target = 0 then `Error "Specify target" - else begin + else let nodes = skip_non_moving pos enclosings in let node = find_node preds nodes in - match target with + match target with | "match-next-case" -> find_case_pos (get_cases_from_match node) pos Next - | "match-prev-case" -> find_case_pos (List.rev (get_cases_from_match node)) pos Prev + | "match-prev-case" -> + find_case_pos (List.rev (get_cases_from_match node)) pos Prev | _ -> - let node_loc = Browse_raw.node_real_loc Location.none node in - `Found node_loc.Location.loc_start - end + let node_loc = Browse_raw.node_real_loc Location.none node in + `Found node_loc.Location.loc_start with | No_predicate target -> `Error ("No predicate for " ^ target) diff --git a/src/analysis/jump.mli b/src/analysis/jump.mli index ba5f1a248..f42a950e9 100644 --- a/src/analysis/jump.mli +++ b/src/analysis/jump.mli @@ -31,7 +31,7 @@ val get : Mtyper.typedtree -> Std.Lexing.position -> string -> [> `Error of string | `Found of Lexing.position ] - + val phrase : Mtyper.typedtree -> Std.Lexing.position ->