BatOption -> Option

Signed-off-by: Sora Morimoto <sora@morimoto.io>

src/config.ml

@@ -33,7 +33,7 @@ let resolve_lib_file_scheme (relpath : lib_path) : string option * string list =
 
 let resolve_lib_file_opt (relpath : lib_path) : abs_path option =
   let (opt, _) = resolve_lib_file_scheme relpath in
-  opt |> BatOption.map make_abs_path
+  opt |> Option.map make_abs_path
 
 
 let resolve_lib_file_exn (relpath : lib_path) : abs_path =

src/frontend/evaluator.cppo.ml

@@ -569,7 +569,7 @@ and interpret_1 (env : environment) (ast : abstract_tree) : code_value * environ
       let (codept0, _) = interpret_1 env astpt0 in
       let cdpathcomplst = pathcomplst |> List.map (map_path_component (interpret_1_value env) (interpret_1_value env)) in
       let cdcycleopt =
-        cycleopt |> BatOption.map (map_path_component (interpret_1_value env) (fun () -> ())
+        cycleopt |> Option.map (map_path_component (interpret_1_value env) (fun () -> ())
         )
       in
       return @@ CdPath(codept0, cdpathcomplst, cdcycleopt)

src/frontend/types.cppo.ml

@@ -1559,7 +1559,7 @@ let rec unlift_code (code : code_value) : abstract_tree =
     List.map (map_path_component aux aux) cdpath
 
   and aux_cycle cdcycleopt =
-    cdcycleopt |> BatOption.map (map_path_component aux (fun () -> ()))
+    cdcycleopt |> Option.map (map_path_component aux (fun () -> ()))
 
   in
   aux code

src/myYojsonUtil.ml

@@ -18,7 +18,7 @@ let syntax_error srcpath msg =
 
 let make_range (pos : Yojson.position) =
   let open Yojson in
-  let fname = BatOption.default "(none)" pos.file_name in
+  let fname = Option.value ~default:"(none)" pos.file_name in
   Range.make_large fname pos.start_line pos.start_column pos.end_line pos.end_column