fix reanalyze suggestions

Author: zth

compiler/syntax/src/res_core.ml

@@ -5580,12 +5580,12 @@ and parse_type_extension ~params ~attrs ~name p =
   let constructors = loop p [first] in
   Ast_helper.Te.mk ~attrs ~params ~priv name constructors
 
-and parse_type_definitions ?current_type_name_path ?inline_types ~attrs ~name
+and parse_type_definitions ~current_type_name_path ~inline_types ~attrs ~name
     ~params ~start_pos p =
   let type_def =
     let manifest, priv, kind =
-      parse_type_equation_and_representation ?current_type_name_path
-        ?inline_types p
+      parse_type_equation_and_representation ~current_type_name_path
+        ~inline_types p
     in
     let cstrs = parse_type_constraints p in
     let loc = mk_loc start_pos p.prev_end_pos in

compiler/syntax/src/res_printer.ml

@@ -1626,11 +1626,11 @@ and print_label_declaration ?inline_record_definitions ~state
              {ptyp_desc = Ptyp_constr ({txt = Lident constr_name}, _)} ) -> (
            let record_definition =
              inline_record_definitions
-             |> List.find (fun (r : Parsetree.type_declaration) ->
+             |> List.find_opt (fun (r : Parsetree.type_declaration) ->
                     r.ptype_name.txt = constr_name)
            in
-           match record_definition.ptype_kind with
-           | Ptype_record lds ->
+           match record_definition with
+           | Some {ptype_kind = Ptype_record lds} ->
              print_record_declaration ~inline_record_definitions ~state lds
                cmt_tbl
            | _ -> assert false)