From eede5717879062ef0cebde2a5718725e7afd17ca Mon Sep 17 00:00:00 2001
From: Justin Bedo <cu@cua0.org>
Date: Wed, 18 Nov 2020 07:40:59 +1100
Subject: switch to unchecked ADTs

Checked ADTs are causing an issue with the new overlays. If an overlay
that provides the entire tree is used, e.g.,:

  (self: super: super.slurm {})

then the result is unusable due to ADT type checking errors.
---
 lib/types.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/types.nix b/lib/types.nix
index f711170..fbc7513 100644
--- a/lib/types.nix
+++ b/lib/types.nix
@@ -11,7 +11,7 @@ let
     sha256 = "0vhk1y7gilgn2pgvj4813bh2ljpw4pvrph8k8b0fsg56dbm8mqxa";
   };
   nix-adt = import "${nix-adt-src}";
-  inherit (nix-adt.checked) make-type match any std none;
+  inherit (nix-adt.unchecked) make-type match any std none;
   inherit (std) option;
 
   idft = sym: ft: _: abort "unhandled filetype (${ft}) for ${sym}";
-- 
cgit v1.2.3