mutual with-imports don't work

[fogti]

This is an issue with the nixpkgs/lib/systems/{inspect,parse}.nix files, which mutually include themselves, and use nested with expressions, which makes static analysis about which free variables belong to which scope mostly impossible.

• https://github.com/NixOS/nixpkgs/blob/698d8759c90f2e811b1044b999b91a0e963772bb/lib/systems/inspect.nix#L1-L4

{ lib }:
with import ./parse.nix { inherit lib; };
with lib.attrsets;
with lib.lists;

• https://github.com/NixOS/nixpkgs/blob/698d8759c90f2e811b1044b999b91a0e963772bb/lib/systems/parse.nix#L17-L22

{ lib }:
with lib.lists;
with lib.types;
with lib.attrsets;
with lib.strings;
with (import ./inspect.nix { inherit lib; }).predicates;

• see also https://gist.github.com/zseri/bb8ed4f47123960f4231d6fa928599ac for the current transpilation result.

• RFC to maybe fix this: [RFC 0120] Discourage nested with expressions NixOS/rfcs#120

[fogti]

yeah, static scope lookups were easy (e.g. inherit (y) x; were translated in JS let x = y.x and such), but I had no idea where exactly to put with handling. I probably need to keep an explicit list of static identifiers while transpiling, to omit them from dynamic lookups, which should hopefully fix most of the issue...