From e3c896d507670a4c66f022557131c5d80e020827 Mon Sep 17 00:00:00 2001 From: Daniel Firth <dan.firth@homotopic.tech> Date: Wed, 30 Nov 2022 12:25:08 +0000 Subject: [PATCH] remove broken.dhall --- broken.dhall | 51 --------------------------------------------------- 1 file changed, 51 deletions(-) delete mode 100644 broken.dhall diff --git a/broken.dhall b/broken.dhall deleted file mode 100644 index 892cd5ef..00000000 --- a/broken.dhall +++ /dev/null @@ -1,51 +0,0 @@ -let HsSrc = - < FromHackage : { name : Text, version : Text } - | FromGit : - { url : Text, revision : Optional Text, subdir : Optional Text } - > - -let Modifiers = - { Type = { doJailbreak : Bool, doCheck : Bool } - , default = { doJailbreak = True, doCheck = False } - } - -let Attr = λ(a : Type) → { mapKey : Text, mapValue : a } - -let HsPkg = - { Type = { source : HsSrc, modifiers : Modifiers.Type } - , default.modifiers = Modifiers.default - } - -let callHackage - : ∀(name : Text) → ∀(version : Text) → Attr HsPkg.Type - = λ(name : Text) → - λ(version : Text) → - { mapKey = name - , mapValue = HsPkg::{ source = HsSrc.FromHackage { name, version } } - } - -let callCabal2nix - : ∀(name : Text) → - ∀(url : Text) → - ∀(revision : Optional Text) → - ∀(subdir : Optional Text) → - Attr HsPkg.Type - = λ(name : Text) → - λ(url : Text) → - λ(revision : Optional Text) → - λ(subdir : Optional Text) → - { mapKey = name - , mapValue = HsPkg::{ source = HsSrc.FromGit { url, revision, subdir } } - } - -let callHorizonAdopted - : ∀(name : Text) → ∀(revision : Text) → Attr HsPkg.Type - = λ(name : Text) → - λ(revision : Text) → - callCabal2nix - name - ("https://gitlab.homotopic.tech/horizon/adopted/" ++ name) - (Some revision) - (None Text) - -in [ callHackage "hiedb" "0.4.2.0" ] -- GitLab