Extract flake dependencies from the 'outputs' arguments

That is, instead of

  inputs = [ "nixpkgs" ];

  outputs = inputs: ... inputs.nixpkgs ...;

you can write

  outputs = { nixpkgs }: ... inputs.nixpkgs ...;

3 files changed, 15 insertions, 5 deletions

diff --git a/src/libexpr/eval.cc b/src/libexpr/eval.cc
index faa76f1f7..fa79b0d5e 100644
--- a/src/libexpr/eval.cc
+++ b/src/libexpr/eval.cc
@@ -304,6 +304,7 @@ EvalState::EvalState(const Strings & _searchPath, ref<Store> store)
     , sOutputHashAlgo(symbols.create("outputHashAlgo"))
     , sOutputHashMode(symbols.create("outputHashMode"))
     , sDescription(symbols.create("description"))
+    , sSelf(symbols.create("self"))
     , repair(NoRepair)
     , store(store)
     , baseEnv(allocEnv(128))
diff --git a/src/libexpr/eval.hh b/src/libexpr/eval.hh
index 75e91e6b1..5e976f196 100644
--- a/src/libexpr/eval.hh
+++ b/src/libexpr/eval.hh
@@ -80,7 +80,7 @@ public:
         sFile, sLine, sColumn, sFunctor, sToString,
         sRight, sWrong, sStructuredAttrs, sBuilder, sArgs,
         sOutputHash, sOutputHashAlgo, sOutputHashMode,
-        sDescription;
+        sDescription, sSelf;
     Symbol sDerivationNix;
 
     /* If set, force copying files to the Nix store even if they
diff --git a/src/libexpr/flake/flake.cc b/src/libexpr/flake/flake.cc
index e6cef502c..eb40f3b2a 100644
--- a/src/libexpr/flake/flake.cc
+++ b/src/libexpr/flake/flake.cc
@@ -232,10 +232,10 @@ Flake getFlake(EvalState & state, const FlakeRef & flakeRef)
 
     if (edition) {
         flake.edition = state.forceInt(*(**edition).value, *(**edition).pos);
-        if (flake.edition < 201906)
-            throw Error("flake '%s' has illegal edition %d", flakeRef, flake.edition);
-        if (flake.edition > 201906)
+        if (flake.edition > 201909)
             throw Error("flake '%s' requires unsupported edition %d; please upgrade Nix", flakeRef, flake.edition);
+        if (flake.edition < 201909)
+            throw Error("flake '%s' has illegal edition %d", flakeRef, flake.edition);
     } else
         throw Error("flake '%s' lacks attribute 'edition'", flakeRef);
 
@@ -272,6 +272,15 @@ Flake getFlake(EvalState & state, const FlakeRef & flakeRef)
     if (auto outputs = vInfo.attrs->get(sOutputs)) {
         state.forceFunction(*(**outputs).value, *(**outputs).pos);
         flake.vOutputs = (**outputs).value;
+
+        if (flake.vOutputs->lambda.fun->matchAttrs) {
+            for (auto & formal : flake.vOutputs->lambda.fun->formals->formals) {
+                if (formal.name != state.sSelf) {
+                    flake.inputs.push_back(FlakeRef(formal.name));
+                }
+            }
+        }
+
     } else
         throw Error("flake '%s' lacks attribute 'outputs'", flakeRef);
 
@@ -538,7 +547,7 @@ void callFlake(EvalState & state,
     auto vOutputs = state.allocAttr(v, state.symbols.create("outputs"));
     mkApp(*vOutputs, *flake.vOutputs, v);
 
-    v.attrs->push_back(Attr(state.symbols.create("self"), &v));
+    v.attrs->push_back(Attr(state.sSelf, &v));
 
     v.attrs->sort();