Use existing functionality of Ppxlib.Longident

n-osborne · Jun 20, 2024 · eab2ac4 · eab2ac4
1 parent d991884
commit eab2ac4
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/plugins/qcheck-stm/src/config.ml b/plugins/qcheck-stm/src/config.ml
@@ -53,10 +53,7 @@ let get_sut_type_name config =
   | _ -> failwith "unreachable case in get_sut_type_name"
 
 let get_sut_type_name_str config =
-  let open Ppxlib in
-  match get_sut_type_name config with
-  | Longident.Lident s | Longident.Ldot (_, s) -> s
-  | Longident.Lapply (_, _) -> failwith "not supported"
+  Ppxlib.Longident.last_exn (get_sut_type_name config)
 
 let is_sut config ty =
   let sut_type_name = get_sut_type_name config in