aboutsummaryrefslogtreecommitdiffstats
path: root/lib/qualified_name.ml
diff options
context:
space:
mode:
authorEstevan Castilho <tevo@riajuu.net>2026-05-21 01:38:51 +0000
committerEstevan Castilho <tevo@riajuu.net>2026-05-21 01:38:51 +0000
commitfe406edaea77cc4297b5721ff2b40d9d33d29644 (patch)
tree238e986e92998e22ca49005ac523e06a7a21f1ff /lib/qualified_name.ml
parenta0b04a0f6d14d1b89d97d184e516aaa7e3099084 (diff)
downloadSakura-fe406edaea77cc4297b5721ff2b40d9d33d29644.tar.gz
Sakura-fe406edaea77cc4297b5721ff2b40d9d33d29644.zip
Have `Qualified_name.try_parse` return a `Condition.t`
Diffstat (limited to 'lib/qualified_name.ml')
-rw-r--r--lib/qualified_name.ml9
1 files changed, 7 insertions, 2 deletions
diff --git a/lib/qualified_name.ml b/lib/qualified_name.ml
index 47134c8..d69e866 100644
--- a/lib/qualified_name.ml
+++ b/lib/qualified_name.ml
@@ -13,6 +13,11 @@
type t = { mg : string; name : string }
+module Error = struct
+ open Condition
+ let unqualified_name name = condition "unqualified-name" ("name" |=| (of_string name))
+end
+
exception Unqualified of string
let parse (s : string) : t =
@@ -24,8 +29,8 @@ let parse (s : string) : t =
if mg = "" || name = "" then raise (Unqualified s)
else { mg; name }
-let try_parse (s : string) : (t, string) result =
- try Ok (parse s) with Unqualified s -> Error s
+let try_parse (s : string) : (t, Condition.t) result =
+ try Ok (parse s) with Unqualified s -> Error (Error.unqualified_name s)
let make ~mg ~name = { mg; name }