Sounds good. Regarding the name, isn't that more of a nixos-lint or does it do type inference to find type mismatches ?
On Mon, 29 Feb 2016 02:17 Thomas Strobel, <[email protected]> wrote: > Hi! > > There is the new tool "nixos-typecheck" available in NixOS (currently in > master only) that is meant help us to keep the options of our nixos > module system well defined. In particular, "nixos-typecheck" can check > whether a type attribute is defined for the options of the module > system, and whether the default and example attributes are extended by > defaultText and literalExample where appropriate. > > Defining the type attribute and defaultText and literalExample is > especially important for automatically generating a well specified > documentation of the nixos modules system, and to build enhanced tools > like NixUI. So I think it would be great if we could get all the options > that "nixos-typecheck" currently reports as "unspecified" typed for our > next release 16.09. > > What do you think? > > Thomas > _______________________________________________ > nix-dev mailing list > [email protected] > http://lists.science.uu.nl/mailman/listinfo/nix-dev >
_______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
