NixOS · Apr 2, 2020 · Apr 2, 2020 · Apr 2, 2020 · Apr 2, 2020 · Apr 2, 2020
diff --git a/flake.nix b/flake.nix
@@ -13,7 +13,7 @@
       versionSuffix =
         if officialRelease
         then ""
-        else "pre${builtins.substring 0 8 self.lastModified}_${self.shortRev or "dirty"}";
+        else "pre${builtins.substring 0 8 self.lastModifiedDate}_${self.shortRev or "dirty"}";
 
       officialRelease = false;
 

diff --git a/src/libexpr/flake/call-flake.nix b/src/libexpr/flake/call-flake.nix
@@ -8,7 +8,10 @@ let
     builtins.mapAttrs
       (key: node:
         let
-          sourceInfo = if key == lockFile.root then rootSrc else fetchTree (removeAttrs node.locked ["dir"]);
+          sourceInfo =
+            if key == lockFile.root
+            then rootSrc
+            else fetchTree ({ inherit (node.info) narHash; } // removeAttrs node.locked ["dir"]);
           subdir = if key == lockFile.root then rootSubdir else node.locked.dir or "";
           flake = import (sourceInfo + (if subdir != "" then "/" else "") + subdir + "/flake.nix");
           inputs = builtins.mapAttrs (inputName: key: allNodes.${key}) (node.inputs or {});

diff --git a/src/libexpr/flake/lockfile.cc b/src/libexpr/flake/lockfile.cc
@@ -32,44 +32,10 @@ FlakeRef getFlakeRef(
     throw Error("attribute '%s' missing in lock file", version4Attr);
 }
 
-static TreeInfo parseTreeInfo(const nlohmann::json & json)
-{
-    TreeInfo info;
-
-    auto i = json.find("info");
-    if (i != json.end()) {
-        const nlohmann::json & i2(*i);
-
-        auto j = i2.find("narHash");
-        if (j != i2.end())
-            info.narHash = Hash((std::string) *j);
-        else
-            throw Error("attribute 'narHash' missing in lock file");
-
-        j = i2.find("revCount");
-        if (j != i2.end())
-            info.revCount = *j;
-
-        j = i2.find("lastModified");
-        if (j != i2.end())
-            info.lastModified = *j;
-
-        return info;
-    }
-
-    i = json.find("narHash");
-    if (i != json.end()) {
-        info.narHash = Hash((std::string) *i);
-        return info;
-    }
-
-    throw Error("attribute 'info' missing in lock file");
-}
-
 LockedNode::LockedNode(const nlohmann::json & json)
     : lockedRef(getFlakeRef(json, "url", "uri", "locked"))
     , originalRef(getFlakeRef(json, "originalUrl", "originalUri", "original"))
-    , info(parseTreeInfo(json))
+    , info(TreeInfo::fromJson(json))
     , isFlake(json.find("flake") != json.end() ? (bool) json["flake"] : true)
 {
     if (!lockedRef.input->isImmutable())

diff --git a/src/libexpr/primops/fetchTree.cc b/src/libexpr/primops/fetchTree.cc
@@ -34,9 +34,11 @@ void emitTreeAttrs(
     if (tree.info.revCount)
         mkInt(*state.allocAttr(v, state.symbols.create("revCount")), *tree.info.revCount);
 
-    if (tree.info.lastModified)
-        mkString(*state.allocAttr(v, state.symbols.create("lastModified")),
+    if (tree.info.lastModified) {
+        mkInt(*state.allocAttr(v, state.symbols.create("lastModified")), *tree.info.lastModified);
+        mkString(*state.allocAttr(v, state.symbols.create("lastModifiedDate")),
             fmt("%s", std::put_time(std::gmtime(&*tree.info.lastModified), "%Y%m%d%H%M%S")));
+    }
 
     v.attrs->sort();
 }
@@ -79,7 +81,7 @@ static void prim_fetchTree(EvalState & state, const Pos & pos, Value * * args, V
         input = lookupInRegistries(state.store, input).first;
 
     if (evalSettings.pureEval && !input->isImmutable())
-        throw Error("in pure evaluation mode, 'fetchTree' requires an immutable input");
+        throw Error("in pure evaluation mode, 'fetchTree' requires an immutable input, at %s", pos);
 
     // FIXME: use fetchOrSubstituteTree
     auto [tree, input2] = input->fetchTree(state.store);

diff --git a/src/libfetchers/fetchers.cc b/src/libfetchers/fetchers.cc
@@ -29,8 +29,10 @@ std::unique_ptr<Input> inputFromURL(const std::string & url)
 
 std::unique_ptr<Input> inputFromAttrs(const Attrs & attrs)
 {
+    auto attrs2(attrs);
+    attrs2.erase("narHash");
     for (auto & inputScheme : *inputSchemes) {
-        auto res = inputScheme->inputFromAttrs(attrs);
+        auto res = inputScheme->inputFromAttrs(attrs2);
         if (res) {
             if (auto narHash = maybeGetStrAttr(attrs, "narHash"))
                 // FIXME: require SRI hash.

diff --git a/src/libfetchers/git.cc b/src/libfetchers/git.cc
@@ -39,7 +39,7 @@ struct GitInput : Input
 
     bool isImmutable() const override
     {
-        return (bool) rev;
+        return (bool) rev || narHash;
     }
 
     std::optional<std::string> getRef() const override { return ref; }

diff --git a/src/libfetchers/github.cc b/src/libfetchers/github.cc
@@ -33,7 +33,7 @@ struct GitHubInput : Input
 
     bool isImmutable() const override
     {
-        return (bool) rev;
+        return (bool) rev || narHash;
     }
 
     std::optional<std::string> getRef() const override { return ref; }

diff --git a/src/libfetchers/mercurial.cc b/src/libfetchers/mercurial.cc
@@ -33,7 +33,7 @@ struct MercurialInput : Input
 
     bool isImmutable() const override
     {
-        return (bool) rev;
+        return (bool) rev || narHash;
     }
 
     std::optional<std::string> getRef() const override { return ref; }

diff --git a/src/libfetchers/path.cc b/src/libfetchers/path.cc
@@ -19,6 +19,22 @@ struct PathInput : Input
 
     std::optional<Hash> getRev() const override { return rev; }
 
+    bool operator ==(const Input & other) const override
+    {
+        auto other2 = dynamic_cast<const PathInput *>(&other);
+        return
+            other2
+            && path == other2->path
+            && rev == other2->rev
+            && revCount == other2->revCount
+            && lastModified == other2->lastModified;
+    }
+
+    bool isImmutable() const override
+    {
+        return (bool) narHash;
+    }
+
     ParsedURL toURL() const override
     {
         auto query = attrsToQuery(toAttrsInternal());

diff --git a/src/libfetchers/registry.cc b/src/libfetchers/registry.cc
@@ -17,46 +17,51 @@ std::shared_ptr<Registry> Registry::read(
     if (!pathExists(path))
         return std::make_shared<Registry>(type);
 
-    auto json = nlohmann::json::parse(readFile(path));
-
-    auto version = json.value("version", 0);
-
-    // FIXME: remove soon
-    if (version == 1) {
-        auto flakes = json["flakes"];
-        for (auto i = flakes.begin(); i != flakes.end(); ++i) {
-            auto url = i->value("url", i->value("uri", ""));
-            if (url.empty())
-                throw Error("flake registry '%s' lacks a 'url' attribute for entry '%s'",
-                    path, i.key());
-            registry->entries.push_back(
-                {inputFromURL(i.key()), inputFromURL(url), {}});
+    try {
+
+        auto json = nlohmann::json::parse(readFile(path));
+
+        auto version = json.value("version", 0);
+
+        // FIXME: remove soon
+        if (version == 1) {
+            auto flakes = json["flakes"];
+            for (auto i = flakes.begin(); i != flakes.end(); ++i) {
+                auto url = i->value("url", i->value("uri", ""));
+                if (url.empty())
+                    throw Error("flake registry '%s' lacks a 'url' attribute for entry '%s'",
+                        path, i.key());
+                registry->entries.push_back(
+                    {inputFromURL(i.key()), inputFromURL(url), {}});
+            }
         }
-    }
 
-    else if (version == 2) {
-        for (auto & i : json["flakes"]) {
-            auto toAttrs = jsonToAttrs(i["to"]);
-            Attrs extraAttrs;
-            auto j = toAttrs.find("dir");
-            if (j != toAttrs.end()) {
-                extraAttrs.insert(*j);
-                toAttrs.erase(j);
+        else if (version == 2) {
+            for (auto & i : json["flakes"]) {
+                auto toAttrs = jsonToAttrs(i["to"]);
+                Attrs extraAttrs;
+                auto j = toAttrs.find("dir");
+                if (j != toAttrs.end()) {
+                    extraAttrs.insert(*j);
+                    toAttrs.erase(j);
+                }
+                auto exact = i.find("exact");
+                registry->entries.push_back(
+                    Entry {
+                        .from = inputFromAttrs(jsonToAttrs(i["from"])),
+                        .to = inputFromAttrs(toAttrs),
+                        .extraAttrs = extraAttrs,
+                        .exact = exact != i.end() && exact.value()
+                    });
             }
-            auto exact = i.find("exact");
-            registry->entries.push_back(
-                Entry {
-                    .from = inputFromAttrs(jsonToAttrs(i["from"])),
-                    .to = inputFromAttrs(toAttrs),
-                    .extraAttrs = extraAttrs,
-                    .exact = exact != i.end() && exact.value()
-                });
         }
-    }
 
-    else
-        throw Error("flake registry '%s' has unsupported version %d", path, version);
+        else
+            throw Error("flake registry '%s' has unsupported version %d", path, version);
 
+    } catch (nlohmann::json::exception & e) {
+        warn("cannot parse flake registry '%s': %s", path, e.what());
+    }
 
     return registry;
 }

diff --git a/src/libfetchers/tarball.cc b/src/libfetchers/tarball.cc
@@ -205,9 +205,7 @@ struct TarballInput : Input
     {
         Attrs attrs;
         attrs.emplace("url", url.to_string());
-        if (narHash)
-            attrs.emplace("narHash", narHash->to_string(SRI));
-        else if (hash)
+        if (hash)
             attrs.emplace("hash", hash->to_string(SRI));
         return attrs;
     }
@@ -260,7 +258,7 @@ struct TarballInputScheme : InputScheme
         if (maybeGetStrAttr(attrs, "type") != "tarball") return {};
 
         for (auto & [name, value] : attrs)
-            if (name != "type" && name != "url" && name != "hash" && name != "narHash")
+            if (name != "type" && name != "url" && name != "hash")
                 throw Error("unsupported tarball input attribute '%s'", name);
 
         auto input = std::make_unique<TarballInput>(parseURL(getStrAttr(attrs, "url")));

diff --git a/src/libfetchers/tree-info.cc b/src/libfetchers/tree-info.cc
@@ -11,6 +11,40 @@ StorePath TreeInfo::computeStorePath(Store & store) const
     return store.makeFixedOutputPath(true, narHash, "source");
 }
 
+TreeInfo TreeInfo::fromJson(const nlohmann::json & json)
+{
+    TreeInfo info;
+
+    auto i = json.find("info");
+    if (i != json.end()) {
+        const nlohmann::json & i2(*i);
+
+        auto j = i2.find("narHash");
+        if (j != i2.end())
+            info.narHash = Hash((std::string) *j);
+        else
+            throw Error("attribute 'narHash' missing in lock file");
+
+        j = i2.find("revCount");
+        if (j != i2.end())
+            info.revCount = *j;
+
+        j = i2.find("lastModified");
+        if (j != i2.end())
+            info.lastModified = *j;
+
+        return info;
+    }
+
+    i = json.find("narHash");
+    if (i != json.end()) {
+        info.narHash = Hash((std::string) *i);
+        return info;
+    }
+
+    throw Error("attribute 'info' missing in lock file");
+}
+
 nlohmann::json TreeInfo::toJson() const
 {
     nlohmann::json json;

diff --git a/src/libfetchers/tree-info.hh b/src/libfetchers/tree-info.hh
@@ -25,6 +25,8 @@ struct TreeInfo
 
     StorePath computeStorePath(Store & store) const;
 
+    static TreeInfo fromJson(const nlohmann::json & json);
+
     nlohmann::json toJson() const;
 };