From 5c1a14563510ffff5067d7b645c4dd1704edcb27 Mon Sep 17 00:00:00 2001 From: "Mohammad-Habib.Javaid" Date: Mon, 26 Aug 2024 11:16:15 +0200 Subject: [PATCH] put the error back --- src/ohow/api.ml | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/src/ohow/api.ml b/src/ohow/api.ml index 30c7e76..3cc532f 100644 --- a/src/ohow/api.ml +++ b/src/ohow/api.ml @@ -18,16 +18,18 @@ let parse_lid id = | id :: rpath when not (is_capitalized id) -> check_capitalized_path rpath; (List.rev rpath, id) - | _ -> ([], "") -(* raise (Error (Printf.sprintf "invalid ocaml id %S" (String.concat "" id))) *) + | _ -> + (* ([], "") *) + raise (Error (Printf.sprintf "invalid ocaml id %S" (String.concat "" id))) let parse_uid id = match List.rev (String.split_on_char '.' (String.concat "" id)) with | id :: rpath when is_capitalized id -> check_capitalized_path rpath; (List.rev rpath, id) - | _ -> ([], "") -(* raise (Error (Printf.sprintf "invalid ocaml id %S" (String.concat "" id))) *) + | _ -> + (* ([], "") *) + raise (Error (Printf.sprintf "invalid ocaml id %S" (String.concat "" id))) let parse_method id = match String.split_on_char '#' id with