Re: [Nix-dev] new tool: nixos-typecheck

2016-03-04 Thread Profpatsch
On 16-03-04 01:51pm, Thomas Strobel wrote: > Does the following command work: "nixos-typecheck printUnspecified -I > nixpkgs=/path/to/nixpkgs/from/PR/13607" ? It does indeed. But why can’t I directly give it the path to a module? -- Proudly written in Mutt with Vim on NixOS. Q: Why is this

Re: [Nix-dev] new tool: nixos-typecheck

2016-03-04 Thread Hash Domains
On 03/04/2016 01:50 AM, Profpatsch wrote: > On 16-02-29 03:16am, Hash Domains wrote: >> What do you think? > > Tried to test it on my local nixpkgs, but can’t get it working. > > nixpkgs> nixos-typecheck printUnspecified ./nixos > error: attribute ‘typechecker’ in selection path >

Re: [Nix-dev] new tool: nixos-typecheck

2016-03-04 Thread Thomas Strobel
On 03/04/2016 01:50 AM, Profpatsch wrote: > On 16-02-29 03:16am, Hash Domains wrote: >> What do you think? > > Tried to test it on my local nixpkgs, but can’t get it working. > > nixpkgs> nixos-typecheck printUnspecified ./nixos > error: attribute ‘typechecker’ in selection path >

Re: [Nix-dev] new tool: nixos-typecheck

2016-03-03 Thread Profpatsch
On 16-02-29 03:16am, Hash Domains wrote: > What do you think? Tried to test it on my local nixpkgs, but can’t get it working. nixpkgs> nixos-typecheck printUnspecified ./nixos error: attribute ‘typechecker’ in selection path ‘typechecker.printUnspecified’ not found Happens also with --help, so

[Nix-dev] new tool: nixos-typecheck

2016-02-29 Thread Hash Domains
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

Re: [Nix-dev] new tool: nixos-typecheck

2016-02-29 Thread zimbatm
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, <4ZKTUB6TEP74PYJOPWIR013S2AV29YUBW5F9ZH2F4D5UMJUJ6S@hash.domains> wrote: > Hi! > > There is the new tool "nixos-typecheck" available

[Nix-dev] new tool: nixos-typecheck

2016-02-28 Thread Thomas Strobel
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