diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-05-21 01:38:51 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-05-21 01:38:51 +0000 |
| commit | fe406edaea77cc4297b5721ff2b40d9d33d29644 (patch) | |
| tree | 238e986e92998e22ca49005ac523e06a7a21f1ff /lib/qualified_name.ml | |
| parent | a0b04a0f6d14d1b89d97d184e516aaa7e3099084 (diff) | |
| download | Sakura-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.ml | 9 |
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 } |
