summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorยท๐‘‘๐‘ด๐‘•๐‘‘๐‘ฉ๐‘ค2025-12-11 20:25:21 +0000
committerยท๐‘‘๐‘ด๐‘•๐‘‘๐‘ฉ๐‘ค2025-12-11 20:25:21 +0000
commit47c742d53bc24da0815fd62313005557c1cab8f6 (patch)
treeee56db7b21b53faa93398164d6e32d76b7c4e151
parenta0bd1aa8ea87054e9b240b9ea2a2b8ce44193824 (diff)
downloadnixtaml-47c742d53bc24da0815fd62313005557c1cab8f6.tar
nixtaml-47c742d53bc24da0815fd62313005557c1cab8f6.tar.gz
nixtaml-47c742d53bc24da0815fd62313005557c1cab8f6.tar.bz2
nixtaml-47c742d53bc24da0815fd62313005557c1cab8f6.tar.lz
nixtaml-47c742d53bc24da0815fd62313005557c1cab8f6.tar.xz
nixtaml-47c742d53bc24da0815fd62313005557c1cab8f6.tar.zst
nixtaml-47c742d53bc24da0815fd62313005557c1cab8f6.zip
use Hashtbl.find_opt
-rw-r--r--lib/input.ml4
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/input.ml b/lib/input.ml
index 208cf4d..957e7fd 100644
--- a/lib/input.ml
+++ b/lib/input.ml
@@ -292,7 +292,9 @@ let jg_models2 (input : t) (needle : string) : Jingoo.Jg_types.tvalue =
htbl
end
in
- try Hashtbl.find hashtbl needle with Not_found -> Tnull
+ match Hashtbl.find_opt hashtbl needle with
+ | Some value -> value
+ | None -> Tnull
(* NIXPKGS ********************************************************************)