Merge remote-tracking branch 'origin/master' into closure-size

1 files changed, 8 insertions, 0 deletions

diff --git a/lib/strings.nix b/lib/strings.nix
index 372c8833c32..4b6b91cbf0c 100644
--- a/lib/strings.nix
+++ b/lib/strings.nix
@@ -225,4 +225,12 @@ rec {
   # Check whether a value is a store path.
   isStorePath = x: builtins.substring 0 1 (toString x) == "/" && dirOf (builtins.toPath x) == builtins.storeDir;
 
+  # Convert string to int
+  # Obviously, it is a bit hacky to use fromJSON that way.
+  toInt = str:
+    let may_be_int = builtins.fromJSON str; in
+    if builtins.isInt may_be_int
+    then may_be_int
+    else throw "Could not convert ${str} to int.";
+
 }