Merge pull request #54 from clementd-fretlink/polykindsv2.0

Migrate to dhall 1.26.1 and merge types and terms

1 files changed, 22 insertions, 0 deletions

diff --git a/dhall-1.26.1.nix b/dhall-1.26.1.nix
new file mode 100644
index 0000000..918a528
--- /dev/null
+++ b/dhall-1.26.1.nix
@@ -0,0 +1,22 @@
+{ pkgs ? import <nixpkgs> {} }: with pkgs;
+
+let
+  mkVersion =
+    version: sha256:
+      stdenv.mkDerivation {
+        name = "dhall-${version}";
+        inherit version;
+        src = fetchurl {
+          url = "https://github.com/dhall-lang/dhall-haskell/releases/download/${version}/dhall-${version}-x86_64-linux.tar.bz2";
+          inherit sha256;
+        };
+        unpackPhase = ''
+          tar -xjf $src
+        '';
+        installPhase = ''
+          mkdir -p $out/bin
+          mv bin/dhall $out/bin/
+        '';
+      };
+in
+  mkVersion "1.26.1" "0sl4r3mfairgd6kn26hs1r1lkh8rn992grd73078rhqf5w90ag05"