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;    }; | 
