From dc3f52a1447df8523f44c89e25e48e8b7f5341a0 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <edolstra@gmail.com>
Date: Tue, 10 Sep 2019 14:52:22 +0200
Subject: [PATCH] nix flake check: Check overlays

---
 src/nix/flake.cc | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/src/nix/flake.cc b/src/nix/flake.cc
index 4129ef323..10ce9addc 100644
--- a/src/nix/flake.cc
+++ b/src/nix/flake.cc
@@ -280,6 +280,22 @@ struct CmdFlakeCheck : FlakeCommand, MixJSON
             }
         };
 
+        auto checkOverlay = [&](const std::string & attrPath, Value & v) {
+            try {
+                state->forceValue(v);
+                if (v.type != tLambda || v.lambda.fun->matchAttrs || std::string(v.lambda.fun->arg) != "final")
+                    throw Error("overlay does not take an argument named 'final'");
+                auto body = dynamic_cast<ExprLambda *>(v.lambda.fun->body);
+                if (!body || body->matchAttrs || std::string(body->arg) != "prev")
+                    throw Error("overlay does not take an argument named 'prev'");
+                // FIXME: if we have a 'nixpkgs' input, use it to
+                // evaluate the overlay.
+            } catch (Error & e) {
+                e.addPrefix(fmt("while checking the overlay '" ANSI_BOLD "%s" ANSI_NORMAL "':\n", attrPath));
+                throw;
+            }
+        };
+
         {
             Activity act(*logger, lvlInfo, actUnknown, "evaluating flake");
 
@@ -326,6 +342,9 @@ struct CmdFlakeCheck : FlakeCommand, MixJSON
                             // FIXME: do getDerivations?
                             ;
 
+                        else if (name == "overlay")
+                            checkOverlay(name, vProvide);
+
                         else
                             warn("unknown flake output '%s'", name);