From fe6985ad16ca5e1bdab57f777e98f1ea4c47d47e Mon Sep 17 00:00:00 2001
From: Daniel Firth <dan.firth@homotopic.tech>
Date: Wed, 7 Sep 2022 20:44:32 +0100
Subject: [PATCH] Switch to master of quickcheck-dynamic
---
flake.lock | 17 +++++++++++++++++
flake.nix | 4 ++++
overlay.nix | 2 +-
3 files changed, 22 insertions(+), 1 deletion(-)
diff --git a/flake.lock b/flake.lock
index bb3243dc..d2b7e8e5 100644
--- a/flake.lock
+++ b/flake.lock
@@ -280,6 +280,22 @@
"type": "github"
}
},
+ "quickcheck-dynamic": {
+ "flake": false,
+ "locked": {
+ "lastModified": 1662454862,
+ "narHash": "sha256-sMAO+Vkocf/ejwg2sx58rXlmoE6tTPQV/ECVVOnWPHo=",
+ "owner": "input-output-hk",
+ "repo": "quickcheck-dynamic",
+ "rev": "81310df2de73094d5daff1b675a4318cff5fc8b5",
+ "type": "github"
+ },
+ "original": {
+ "owner": "input-output-hk",
+ "repo": "quickcheck-dynamic",
+ "type": "github"
+ }
+ },
"root": {
"inputs": {
"Cabal": "Cabal",
@@ -297,6 +313,7 @@
"memory": "memory",
"nixpkgs": "nixpkgs_2",
"polysemy": "polysemy",
+ "quickcheck-dynamic": "quickcheck-dynamic",
"servant": "servant",
"tasty": "tasty",
"tasty-hedgehog": "tasty-hedgehog"
diff --git a/flake.nix b/flake.nix
index 0839a3d3..38c42fc1 100644
--- a/flake.nix
+++ b/flake.nix
@@ -45,6 +45,10 @@
url = "github:locallycompact/polysemy?ref=ghc-942";
flake = false;
};
+ quickcheck-dynamic = {
+ url = "github:input-output-hk/quickcheck-dynamic";
+ flake = false;
+ };
servant = {
url = "github:TeofilC/servant?ref=ghc-9.4";
flake = false;
diff --git a/overlay.nix b/overlay.nix
index cb3ecb91..036d6062 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -244,7 +244,7 @@ final: prev: with pkgs.haskell.lib; {
proteaaudio-sdl = doJailbreak (prev.callHackage "proteaaudio-sdl" "0.9.2" { });
- quickcheck-dynamic = prev.callHackage "quickcheck-dynamic" "1.1.0" { };
+ quickcheck-dynamic = prev.callCabal2nix "quickcheck-dynamic" (inputs.quickcheck-dynamic + /quickcheck-dynamic) { };
quickcheck-instances = doJailbreak (prev.callHackage "quickcheck-instances" "0.3.28" { });
--
GitLab