Re: [Nix-dev] An issue regarding the default parameters of a function

On 12/02/2016 12:11, Sergey Mironov wrote: > Hi. I have an issue regarding the combination of two Nix features: > default parameters ( f = {arg ? def } : ...) and arbitrary length > parameters (f = args@{arg, ...} : ...). It looks like they doesn't > work together silently. Here is the example

Re: [Nix-dev] An issue regarding the default parameters of a function

This is intentional: @-capture captures what was actually passed. You can always do something like: let args_ = args // { buildDepends = args.buildDepends or buildDepends; } if you really need this behavior. On 2016-02-12 06:11, Sergey Mironov wrote: > Hi. I have an issue regarding the

[Nix-dev] change in HEAD can render a system unbootable

Since this is something of a hair-on-fire issue, I wanted to bring it up on-list as well as in the bug tracker to make sure it gets some exposure. As reported in https://github.com/NixOS/nixpkgs/issues/12949, there's a recent change in HEAD that requires some significant effort to recover from.

Re: [Nix-dev] change in HEAD can render a system unbootable

And of course, the moment I sent that I see that @peti did so. Mike. On Fri, Feb 12, 2016, at 07:18, Michael Alan Dorman wrote: > Since this is something of a hair-on-fire issue, I wanted to bring it up > on-list as well as in the bug tracker to make sure it gets some > exposure. > > As

Re: [Nix-dev] Using Nix as the preferred package manager for a new language

Interestingly enough, we have some of the same questions for the Agda programming language. Currently, Agda doesn't really have any package manager, so there are no backwards-compatibility problems with using Nix. It would be really nice if we could use Nix as the one-and-only package management

Re: [Nix-dev] Using Nix as a package manager (for yet another language)

urweb requires C/C++ libraries (eventually). AFAIK C/C++ package managers don't exist (dependency information) - they are "encoded in configure scripts and whatnot" - for some universes (gnome) there are dependency informations available eventually. Thus for that use case nix is a good fit,

[Nix-dev] Using Nix as a package manager (for yet another language)

Hi, List. I've just noticed a long topic regarding using NIx as a package manager for a language. Сoincidentally, I use Nix for the same purpose: I am working on packaging UrWeb libraries using Nix. Here is the combinators library I wrote [1] -

Re: [Nix-dev] An issue regarding the default parameters of a function

Hi. On 02/12/2016 12:11 PM, Sergey Mironov wrote: > I have an issue regarding the combination of two Nix features: > default parameters ( f = {arg ? def } : ...) and arbitrary length > parameters (f = args@{arg, ...} : ...). @-pattern binds exactly what was *passed* to the function. Eelco

Re: [Nix-dev] Including binary-only derivation in nixops deploy.

If you're saying you want to install something knowing only the Nix store path, you can do: { type = "derivation"; name = "whatever"; outputName = "out"; outPath = builtins.storePath "/nix/store/deadbeefdeadbeef"; } This will attempt to lookup the given store path in binary substitution

Re: [Nix-dev] An issue regarding the default parameters of a function

Thanks, It is clear. I would also vote for shorter code here. Sergey 2016-02-12 14:21 GMT+03:00 Vladimír Čunát : > Hi. > > On 02/12/2016 12:11 PM, Sergey Mironov wrote: >> I have an issue regarding the combination of two Nix features: >> default parameters ( f = {arg ? def } :

Re: [Nix-dev] Including binary-only derivation in nixops deploy.

On Feb 12, 2016 6:54 AM, "Oliver Charles" wrote: > > If you're saying you want to install something knowing only the Nix store path, you can do: > > { type = "derivation"; > name = "whatever"; > outputName = "out"; > outPath = builtins.storePath

Re: [Nix-dev] Wiki is dead

Hi, On 10/02/16 18:52, zimbatm wrote: > Is it possible to get a dump using dumpBackup.php ? > https://en.wikipedia.org/wiki/Help:Export I've put a dump at https://nixos.org/~eelco/wiki-20160212.xml.gz. -- Eelco Dolstra | LogicBlox, Inc. | http://nixos.org/

Re: [Nix-dev] Using Nix as a package manager (for yet another language)

If you don't mind I'll use this thread as the umbrella "nix as yet another language package manager" issue thread. I want to do this: create a derivation that creates a shell file. This shell file does one thing and one thing only: it creates a custom virtual machine depending on the inputs of

Re: [Nix-dev] Checking rpaths for 32 bit on 64 bit

Use glibc_multi, I think I've fixed its ldd some time ago to work correctly for both 32-bit and 64-bit libraries. On 02/12/2016 10:38 PM, Tony wrote: > Hi! > Does anyone know if there is something like ldd32 in NixOS I can use to > check 32 bit dynamic executables on a 64 bit system. > Thanks. >