diff options
author | tv <tv@krebsco.de> | 2017-06-18 16:17:55 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2017-06-18 16:17:55 +0200 |
commit | 4f704b41fccf29efee31cf44dc5fd88c9e2b2089 (patch) | |
tree | 76de9345c8051b83d92f82e240a0ded7a030fe10 | |
parent | 8cb9d8ac4f99ed0a930b1657c4ef2ea769c5a86c (diff) |
types.label: drop redundant isString
-rw-r--r-- | lib/types.nix | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/types.nix b/lib/types.nix index 5a01e5b..f9ec7b1 100644 --- a/lib/types.nix +++ b/lib/types.nix @@ -426,8 +426,7 @@ rec { label = mkOptionType { name = "label"; # TODO case-insensitive labels - check = x: isString x - && test "[0-9A-Za-z]([0-9A-Za-z-]*[0-9A-Za-z])?" x; + check = test "[0-9A-Za-z]([0-9A-Za-z-]*[0-9A-Za-z])?"; merge = mergeOneOption; }; |