[Nix-dev] maximal sharing and comparisons.

[Nicolas Pierron]

Hi,

I have a problem with the NixOS implementation.  I have remarked the
following problem:

let
  v = {foo=true;bar=false;};
  a = builtins.trace v v;
  b = a;
in
  assert a == b; true

where "v" is printed.  "v" should not be printed because unprocessed
values of "a" and "b" are identical.  Therefore the assertion should
succeed without evaluating "a" and "b".

-- 
Nicolas Pierron
http://www.linkedin.com/in/nicolasbpierron
- If you are doing something twice then you should try to do it once.