From unknown Thu Aug 14 17:27:28 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#30741 <30741@debbugs.gnu.org> To: bug#30741 <30741@debbugs.gnu.org> Subject: Status: [PATCH] fix idris (was "Re: Incomplete work to upgrade Idris to 1.2.0") Reply-To: bug#30741 <30741@debbugs.gnu.org> Date: Fri, 15 Aug 2025 00:27:28 +0000 retitle 30741 [PATCH] fix idris (was "Re: Incomplete work to upgrade Idris = to 1.2.0") reassign 30741 guix-patches submitter 30741 Alex ter Weele severity 30741 normal tag 30741 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Wed Mar 07 00:19:51 2018 Received: (at submit) by debbugs.gnu.org; 7 Mar 2018 05:19:51 +0000 Received: from localhost ([127.0.0.1]:48362 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1etRUO-0001ro-MA for submit@debbugs.gnu.org; Wed, 07 Mar 2018 00:19:51 -0500 Received: from eggs.gnu.org ([208.118.235.92]:56747) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1etRUN-0001rb-6l for submit@debbugs.gnu.org; Wed, 07 Mar 2018 00:19:43 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1etRUE-0006Em-37 for submit@debbugs.gnu.org; Wed, 07 Mar 2018 00:19:37 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,FREEMAIL_FROM, T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:48959) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1etRUD-0006EZ-TB for submit@debbugs.gnu.org; Wed, 07 Mar 2018 00:19:33 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:47666) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1etRUB-000721-Gl for guix-patches@gnu.org; Wed, 07 Mar 2018 00:19:33 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1etRU9-0006C9-N9 for guix-patches@gnu.org; Wed, 07 Mar 2018 00:19:31 -0500 Received: from mail-io0-x232.google.com ([2607:f8b0:4001:c06::232]:44728) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1etRU3-00068s-Kv; Wed, 07 Mar 2018 00:19:23 -0500 Received: by mail-io0-x232.google.com with SMTP id h23so1607159iob.11; Tue, 06 Mar 2018 21:19:23 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=lvOiI/o6ms4ljRg2UEQC/cVRaaORAHF/dNyuAsI8hYs=; b=Gm+6UbKtx9sE1kHm4cmQ8braVOOZMK0AdR/IdPe9J2CSSIrNMI5d5mx88fpfH5CQCj RfVZRtO54nVFJTH/bdkQ1k7nOla2Z2NOqPJYPS4s741+MMj116HgerCbKLcd6tgN0Vs+ d45zI0vOo9pPC+PyZwQPWSFcQZu0huupVi77aYl38DSeoh2V7JB1BlXvyCY61QI8GJeZ hJvdp4SXiZAvSMt0OkrknwEe0dCuOYO6EMbzvn6lS04deRBTh230Pa587XwnR/fRjJDS 6ezpVTNOSPNSSzH9oGWdTfeyPMPaEOiDNsuOjaZqTq5/z5FW2iqOCLRrzrp3mQ3z0GXv G1Sw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=lvOiI/o6ms4ljRg2UEQC/cVRaaORAHF/dNyuAsI8hYs=; b=bDi52/MOOmfk8WERXUv1OANWLi3BIluQdKIfVP80ivnHxM1x5KOdcGvcDY5kyU/TiF c4YFDUtXDLRslGiMNVxqIMWWtcgIrvhpdm4zbQy0FW86xjB+ewR9qwvfgJsivsAgXBJl Vaa581ldBQ+NXUIlm5NgvyRzm6kD26Zf43sObLXfojkcABOzxeATg69CAGxKe5CoIPOV O2ESSuHwaRiuKepYeebIScfCqSHMRG33ehV5Cb2Uy2o5FJVGQlcHo7rxaZFlcRDTFDZf D5iHN4IPQXbhPMAKgYKP+dN7LNDWy7yYX4ICyHpgmrUxdi4aP4gC2b5MTw16l58+8ZCi mpSw== X-Gm-Message-State: APf1xPDDzdrHMxMqJFSXCnLkUW6wgZH3BQvv8iaJGb/Gq2VfHTfuTTB/ 6tCEDs9Ht1rua/VaZLJ7zNT/YN6gd1Y= X-Google-Smtp-Source: AG47ELvPEQJ7vzTNcLKi+lzzknRrcEug9JPQWuP3Sf8M0RJj3YvGs9blpcUpA+x7yBj56mQoclJqMA== X-Received: by 10.107.164.3 with SMTP id n3mr22963470ioe.88.1520399962238; Tue, 06 Mar 2018 21:19:22 -0800 (PST) Received: from librem (24-148-50-16.s5644.c3-0.mart-ubr1.chi-mart.il.cable.rcncustomer.com. [24.148.50.16]) by smtp.gmail.com with ESMTPSA id m5sm7728698iti.2.2018.03.06.21.19.20 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Tue, 06 Mar 2018 21:19:20 -0800 (PST) From: Alex ter Weele X-Google-Original-From: Alex ter Weele To: guix-patches@gnu.org Subject: [PATCH] fix idris (was "Re: Incomplete work to upgrade Idris to 1.2.0") References: <877eqp7pql.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> Date: Tue, 06 Mar 2018 23:19:20 -0600 In-Reply-To: <877eqp7pql.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> (Alex ter Weele's message of "Mon, 05 Mar 2018 23:11:14 -0600") Message-ID: <87o9k0jwdj.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.0 (----) X-Debbugs-Envelope-To: submit Cc: guix-devel@gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 1.0 (+) --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On guix-devel=C2=B9, I had given an incomplete patch to update idris to 1.2.0. After further investigation, I concluded this was the wrong approach because our current version of GHC is 8.0.2, so the right version of LTS Haskell to follow is https://www.stackage.org/lts-9.4, which includes Idris 1.0, not 1.2. Big thank you to sclv on #hackage for all their help. =C2=B9 https://lists.gnu.org/archive/html/guix-devel/2018-03/msg00100.html --=-=-= Content-Type: text/plain; charset=utf-8 Content-Disposition: inline; filename=idris.scm Content-Transfer-Encoding: quoted-printable ;;; GNU Guix --- Functional package management for GNU ;;; Copyright =C2=A9 2015 Paul van der Walt ;;; Copyright =C2=A9 2016, 2017 David Craven ;;; ;;; This file is part of GNU Guix. ;;; ;;; GNU Guix is free software; you can redistribute it and/or modify it ;;; under the terms of the GNU General Public License as published by ;;; the Free Software Foundation; either version 3 of the License, or (at ;;; your option) any later version. ;;; ;;; GNU Guix is distributed in the hope that it will be useful, but ;;; WITHOUT ANY WARRANTY; without even the implied warranty of ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the ;;; GNU General Public License for more details. ;;; ;;; You should have received a copy of the GNU General Public License ;;; along with GNU Guix. If not, see . (define-module (gnu packages idris) #:use-module (gnu packages haskell) #:use-module (gnu packages haskell-check) #:use-module (gnu packages haskell-web) #:use-module (gnu packages multiprecision) #:use-module (gnu packages ncurses) #:use-module (guix build-system gnu) #:use-module (guix build-system haskell) #:use-module (guix download) #:use-module (guix git-download) #:use-module ((guix licenses) #:prefix license:) #:use-module (guix packages)) (define ghc-aeson-1.1.2.0 (package (inherit ghc-aeson) (version "1.1.2.0") (source (origin (method url-fetch) (uri (string-append "https://hackage.haskell.org/package/aeson/aeson-" version ".tar.gz")) (sha256 (base32 "1zy5z8pzvh53qkjm0nm3f4rwqfqg3867ck8ncd6mrxpcyvxqqj1p")))))) (define ghc-trifecta-1.6.2.1 (package (inherit ghc-trifecta) (version "1.6.2.1") (source (origin (method url-fetch) (uri (string-append "https://hackage.haskell.org/package/trifecta/" "trifecta-" version ".tar.gz")) (sha256 (base32 "1rgv62dlmm4vkdymx5rw5jg3w8ifpzg1745rvs1m4kzdx16p5cxs")))))) ;; ghc-cheapskate appeared too new. This follows LTS Haskell. (define ghc-cheapskate-0.1.0.5 (package (inherit ghc-cheapskate) (version "0.1.0.5") (source (origin (method url-fetch) (uri (string-append "https://hackage.haskell.org/package/cheapskate/cheapskate-" version ".tar.gz")) (sha256 (base32 "0cpsmfx5z2xykg71sv8j7pl8ga6pzyjnjdb9bxn00vcpqkzvfqvs")))) (arguments ;; LTS Haskell says data-default >=3D0.5 && <0.8 `(#:configure-flags (list "--allow-newer=3Ddata-default"))))) (define-public idris (package (name "idris") (version "1.0") (source (origin (method url-fetch) (uri (string-append "https://hackage.haskell.org/package/" "idris-" version "/idris-" version ".tar.gz")) (sha256 (base32 "1srbz0cyvd0k1yqgbrwnfj94yg5y3z533q1kzac96z1h7v454s5h")))) (build-system haskell-build-system) (inputs `(("gmp" ,gmp) ("ncurses" ,ncurses) ("ghc-aeson" ,ghc-aeson-1.1.2.0) ("ghc-annotated-wl-pprint" ,ghc-annotated-wl-pprint) ("ghc-ansi-terminal" ,ghc-ansi-terminal) ("ghc-ansi-wl-pprint" ,ghc-ansi-wl-pprint) ("ghc-async" ,ghc-async) ("ghc-base64-bytestring" ,ghc-base64-bytestring) ("ghc-blaze-html" ,ghc-blaze-html) ("ghc-blaze-markup" ,ghc-blaze-markup) ("ghc-cheapskate" ,ghc-cheapskate-0.1.0.5) ("ghc-code-page" ,ghc-code-page) ("ghc-fingertree" ,ghc-fingertree) ("ghc-fsnotify" ,ghc-fsnotify) ("ghc-ieee754" ,ghc-ieee754) ("ghc-mtl" ,ghc-mtl) ("ghc-network" ,ghc-network) ("ghc-optparse-applicative" ,ghc-optparse-applicative) ("ghc-regex-tdfa" ,ghc-regex-tdfa) ("ghc-safe" ,ghc-safe) ("ghc-split" ,ghc-split) ("ghc-terminal-size" ,ghc-terminal-size) ("ghc-text" ,ghc-text) ("ghc-trifecta" ,ghc-trifecta-1.6.2.1) ("ghc-uniplate" ,ghc-uniplate) ("ghc-unordered-containers" ,ghc-unordered-containers) ("ghc-utf8-string" ,ghc-utf8-string) ("ghc-vector" ,ghc-vector) ("ghc-vector-binary-instances" ,ghc-vector-binary-instances) ("ghc-zip-archive" ,ghc-zip-archive))) (arguments `(#:tests? #f ; FIXME: Test suite doesn't run in a sandbox. #:configure-flags (list (string-append "--datasubdir=3D" (assoc-ref %outputs "out") "/lib/idris")) #:phases (modify-phases %standard-phases (add-before 'configure 'set-cc-command (lambda _ (setenv "CC" "gcc") #t)) (add-after 'install 'fix-libs-install-location (lambda* (#:key outputs #:allow-other-keys) (let* ((out (assoc-ref outputs "out")) (lib (string-append out "/lib/idris")) (modules (string-append lib "/libs"))) (for-each (lambda (module) (symlink (string-append modules "/" module) (string-append lib "/" module))) '("prelude" "base" "contrib" "effects" "pruviloj")))))))) (native-search-paths (list (search-path-specification (variable "IDRIS_LIBRARY_PATH") (files '("lib/idris"))))) (home-page "http://www.idris-lang.org") (synopsis "General purpose language with full dependent types") (description "Idris is a general purpose language with full dependent types. It is compiled, with eager evaluation. Dependent types allow types= to be predicated on values, meaning that some aspects of a program's behaviour can be specified precisely in the type. The language is closely related to Epigram and Agda.") (license license:bsd-3))) ;; Idris modules use the gnu-build-system so that the IDRIS_LIBRARY_PATH is= set. (define (idris-default-arguments name) `(#:modules ((guix build gnu-build-system) (guix build utils) (ice-9 ftw) (ice-9 match)) #:phases (modify-phases %standard-phases (delete 'configure) (delete 'build) (delete 'check) (replace 'install (lambda* (#:key inputs outputs #:allow-other-keys) (let* ((out (assoc-ref outputs "out")) (idris (assoc-ref inputs "idris")) (idris-bin (string-append idris "/bin/idris")) (idris-libs (string-append idris "/lib/idris/libs")) (module-name (and (string-prefix? "idris-" ,name) (substring ,name 6))) (ibcsubdir (string-append out "/lib/idris/" module-name)) (ipkg (string-append module-name ".ipkg")) (idris-library-path (getenv "IDRIS_LIBRARY_PATH")) (idris-path (string-split idris-library-path #\:)) (idris-path-files (apply append (map (lambda (path) (map (lambda (dir) (string-append path= "/" dir)) (scandir path))) idri= s-path))) (idris-path-subdirs (filter (lambda (path) (and path (match (stat:type = (stat path)) ('directory #t) (_ #f)))) idris-path-files)) (install-cmd (cons* idris-bin "--ibcsubdir" ibcsubdir "--build" ipkg ;; only trigger a build, as --ibcsubdir ;; already installs .ibc files. (apply append (map (lambda (path) (list "--idrispat= h" path)) idris-path-subdirs)= )))) ;; FIXME: Seems to be a bug in idris that causes a dubious fail= ure. (apply system* install-cmd) #t)))))) (define-public idris-lightyear (let ((commit "6d65ad111b4bed2bc131396f8385528fc6b3678a")) (package (name "idris-lightyear") (version (git-version "0.1" "1" commit)) (source (origin (method git-fetch) (uri (git-reference (url "https://github.com/ziman/lightyear") (commit commit))) (file-name (git-file-name name version)) (sha256 (base32 "1pkxnn3ryr0v0cin4nasw7kgkc9dnnpja1nfbj466mf3qv5s98af")))) (build-system gnu-build-system) (native-inputs `(("idris" ,idris))) (arguments (idris-default-arguments name)) (home-page "https://github.com/ziman/lightyear") (synopsis "Lightweight parser combinator library for Idris") (description "Lightweight parser combinator library for Idris, inspir= ed by Parsec. This package is used (almost) the same way as Parsec, except fo= r one difference: backtracking.") (license license:bsd-2)))) (define-public idris-wl-pprint (let ((commit "1d365fcf4ba075859844dbc5eb96a90f57b9f338")) (package (name "idris-wl-pprint") (version (git-version "0.1" "1" commit)) (source (origin (method git-fetch) (uri (git-reference (url "https://github.com/shayan-najd/wl-pprint") (commit commit))) (file-name (git-file-name name version)) (sha256 (base32 "0g7c3y9smifdz4sivi3qmvymhdr7v9kfq45fmfmmvkqcrix0spzn")))) (build-system gnu-build-system) (native-inputs `(("idris" ,idris))) (arguments (idris-default-arguments name)) (home-page "https://github.com/shayan-najd/wl-pprint") (synopsis "Pretty printing library") (description "A pretty printing library for Idris based on Phil Wadle= r's paper A Prettier Printer and on Daan Leijen's extensions in the Haskell wl-pprint library.") (license license:bsd-2)))) (define-public idris-bifunctors (let ((commit "53d06a6ccfe70c49c9ae8c8a4135981dd2173202")) (package (name "idris-bifunctors") (version (git-version "0.1" "1" commit)) (source (origin (method git-fetch) (uri (git-reference (url "https://github.com/HuwCampbell/Idris-Bifunctors= ") (commit commit))) (file-name (string-append name "-" version "-checkout")) (sha256 (base32 "02vbsd3rmgnj0l1qq787709qcxjbr9890cbad4ykn27f77jk81h4")))) (build-system gnu-build-system) (native-inputs `(("idris" ,idris))) (arguments (idris-default-arguments name)) (home-page "https://github.com/HuwCampbell/Idris-Bifunctors") (synopsis "Bifunctor library") (description "This is a bifunctor library for Idris based off the excellent Haskell Bifunctors package from Edward Kmett.") (license license:bsd-3)))) (define-public idris-lens (let ((commit "26f012005f6849806cea630afe317e42cae97f29")) (package (name "idris-lens") (version (git-version "0.1" "1" commit)) (source (origin (method git-fetch) (uri (git-reference (url "https://github.com/HuwCampbell/idris-lens") (commit commit))) (file-name (git-file-name name version)) (sha256 (base32 "06jzfj6rad08rk92w8jk5byi79svmyg0mrcqhibgx8rkjjy6vmai")))) (build-system gnu-build-system) (native-inputs `(("idris" ,idris))) (propagated-inputs `(("idris-bifunctors" ,idris-bifunctors))) (arguments (idris-default-arguments name)) (home-page "https://github.com/HuwCampbell/idris-lens") (synopsis "Van Laarhoven lenses for Idris") (description "Lenses are composable functional references. They allow accessing and modifying data within a structure.") (license license:bsd-3)))) --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Mon Mar 12 22:08:39 2018 Received: (at 30741) by debbugs.gnu.org; 13 Mar 2018 02:08:39 +0000 Received: from localhost ([127.0.0.1]:57889 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1evZMk-0002zk-SY for submit@debbugs.gnu.org; Mon, 12 Mar 2018 22:08:39 -0400 Received: from mail-qt0-f169.google.com ([209.85.216.169]:40011) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1evZMj-0002zV-2B for 30741@debbugs.gnu.org; Mon, 12 Mar 2018 22:08:37 -0400 Received: by mail-qt0-f169.google.com with SMTP id y6so21137036qtm.7 for <30741@debbugs.gnu.org>; Mon, 12 Mar 2018 19:08:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:references:date:in-reply-to:message-id:user-agent :mime-version; bh=rXqzCSQ1qSlEkal21bB3d63SkkWQ0+YNosP8xInZB3s=; b=aG1rc0ZCWuhNtludjf1PIZ4a4xi6javK1f0E7ikr3vY2ezrILd7YU2tkVgqt6CY5hc GPLmsXzm3gKE7WyP2dGQ8l+H2YH1+ylXctponbjibxzvHPlll9XKZKLvuTb/JfnyCBHN PvzUd2CyIFSuTCWd0a0vtn2dVSp+8PItBYDQHrdC5hShCgMu7+ude0EDqfjThYwmsjVC zLrFnSVkgNN1DuC/GWJOUkvSrFG7InYkYgemmRzyLVXaw36G+WzXj4kT1BqySUpZxJvo +lEbK+ODfEeZayXiBl78BtYRkT65FGPAHm/Wj0QvmhTgcst//XalT9B4SpP1gnkpO1OH tRRw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=rXqzCSQ1qSlEkal21bB3d63SkkWQ0+YNosP8xInZB3s=; b=udr1wddGHdqa6mB1/CjN9uJRFdG495u/M7gh1Lc7iEPjjs9s62xKSEUtTY7eV4Ma6P lzN/zDNtAzWwDK6RvTLzgwHUsSGOMZhGfqpl8kRVbMAPByb9TgInPTemr4BtSYOObqAP bw9rgb2fgddyHGEchIgMMitZRmB+yHzRpi/Rt68Mor/VfGsF2KJ/HjL2e4yW2WmSsnNR tSARX5SGUPhgg5SSUk6y3+L2bkR1m/JN6L8jVF5vb5gxUZvIEUXHSQ3L9ISpWpgBZEX8 F+/eTY0ZBJmby9ingojbXoC1F3I8UVlOxZL9N/a1P0XSizYLR+2dJAmOOf6JRUxZT62J FIuw== X-Gm-Message-State: AElRT7Exu1+vgFWJS3U2VD6wMFOQ3WZBXtxdRI2TRsjRhJJ5gFyGfmKm 9yVpDWZcU1CLdOaCWZXJiajHlJi+ X-Google-Smtp-Source: AG47ELtc4UijXfOI6gU+0OFpzXGrBKiPc7csGfFdlBimwifbvOUqYEKoQe72SDqOJ4jo3AvFrUCqLQ== X-Received: by 10.200.7.77 with SMTP id k13mr15396985qth.165.1520906911268; Mon, 12 Mar 2018 19:08:31 -0700 (PDT) Received: from librem (24-148-50-16.s5644.c3-0.mart-ubr1.chi-mart.il.cable.rcncustomer.com. [24.148.50.16]) by smtp.gmail.com with ESMTPSA id f13sm5868828qtj.63.2018.03.12.19.08.29 for <30741@debbugs.gnu.org> (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Mon, 12 Mar 2018 19:08:29 -0700 (PDT) From: Alex ter Weele X-Google-Original-From: Alex ter Weele To: 30741@debbugs.gnu.org Subject: Re: [bug#30741] [PATCH] fix idris (was "Re: Incomplete work to upgrade Idris to 1.2.0") References: <877eqp7pql.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> <87o9k0jwdj.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> Date: Mon, 12 Mar 2018 21:08:28 -0500 In-Reply-To: <87o9k0jwdj.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> (Alex ter Weele's message of "Tue, 06 Mar 2018 23:19:20 -0600") Message-ID: <87vae0g21v.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 30741 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) --=-=-= Content-Type: text/plain Reposting a properly-formatted patch series here. --=-=-= Content-Type: text/x-patch Content-Disposition: attachment; filename=0001-gnu-Add-ghc-aeson-1.1.2.0.patch >From 2486f55a177b3f62509fd999e5d5cbd072d5ce17 Mon Sep 17 00:00:00 2001 From: Alex ter Weele Date: Wed, 7 Mar 2018 18:28:24 -0600 Subject: [PATCH 1/4] gnu: Add ghc-aeson-1.1.2.0. * gnu/packages/idris.scm (ghc-aeson-1.1.2.0): New variable. --- gnu/packages/idris.scm | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm index 6eb940c9d..ae90676d5 100644 --- a/gnu/packages/idris.scm +++ b/gnu/packages/idris.scm @@ -30,6 +30,20 @@ #:use-module ((guix licenses) #:prefix license:) #:use-module (guix packages)) +(define ghc-aeson-1.1.2.0 + (package (inherit ghc-aeson) + (version "1.1.2.0") + (source + (origin + (method url-fetch) + (uri (string-append + "https://hackage.haskell.org/package/aeson/aeson-" + version + ".tar.gz")) + (sha256 + (base32 + "1zy5z8pzvh53qkjm0nm3f4rwqfqg3867ck8ncd6mrxpcyvxqqj1p")))))) + (define-public idris (package (name "idris") -- 2.16.2 --=-=-= Content-Type: text/x-patch Content-Disposition: attachment; filename=0002-gnu-Add-ghc-trifecta-1.6.2.1.patch >From 477d5f85747501c5b78597f76713fa6f87eedd6f Mon Sep 17 00:00:00 2001 From: Alex ter Weele Date: Wed, 7 Mar 2018 18:29:23 -0600 Subject: [PATCH 2/4] gnu: Add ghc-trifecta-1.6.2.1. * gnu/packages/idris.scm (ghc-trifecta-1.6.2.1): New variable. --- gnu/packages/idris.scm | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm index ae90676d5..b67fcbccf 100644 --- a/gnu/packages/idris.scm +++ b/gnu/packages/idris.scm @@ -44,6 +44,19 @@ (base32 "1zy5z8pzvh53qkjm0nm3f4rwqfqg3867ck8ncd6mrxpcyvxqqj1p")))))) +(define ghc-trifecta-1.6.2.1 + (package (inherit ghc-trifecta) + (version "1.6.2.1") + (source + (origin + (method url-fetch) + (uri (string-append + "https://hackage.haskell.org/package/trifecta/" + "trifecta-" version ".tar.gz")) + (sha256 + (base32 + "1rgv62dlmm4vkdymx5rw5jg3w8ifpzg1745rvs1m4kzdx16p5cxs")))))) + (define-public idris (package (name "idris") -- 2.16.2 --=-=-= Content-Type: text/x-patch Content-Disposition: attachment; filename=0003-gnu-Add-ghc-cheapskate-0.1.0.5.patch >From ef0dcd5a84c4f8e4331fb8f07a4e1709a577eb31 Mon Sep 17 00:00:00 2001 From: Alex ter Weele Date: Wed, 7 Mar 2018 18:31:22 -0600 Subject: [PATCH 3/4] gnu: Add ghc-cheapskate-0.1.0.5. * gnu/packages/idris.scm (ghc-cheapskate-0.1.0.5): New variable. --- gnu/packages/idris.scm | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm index b67fcbccf..c103055f5 100644 --- a/gnu/packages/idris.scm +++ b/gnu/packages/idris.scm @@ -57,6 +57,25 @@ (base32 "1rgv62dlmm4vkdymx5rw5jg3w8ifpzg1745rvs1m4kzdx16p5cxs")))))) +;; ghc-cheapskate appeared too new. This follows LTS Haskell. +(define ghc-cheapskate-0.1.0.5 + (package + (inherit ghc-cheapskate) + (version "0.1.0.5") + (source + (origin + (method url-fetch) + (uri (string-append + "https://hackage.haskell.org/package/cheapskate/cheapskate-" + version + ".tar.gz")) + (sha256 + (base32 + "0cpsmfx5z2xykg71sv8j7pl8ga6pzyjnjdb9bxn00vcpqkzvfqvs")))) + (arguments + ;; LTS Haskell says data-default >=0.5 && <0.8 + `(#:configure-flags (list "--allow-newer=data-default"))))) + (define-public idris (package (name "idris") -- 2.16.2 --=-=-= Content-Type: text/x-patch Content-Disposition: attachment; filename=0004-gnu-Fix-idris.patch >From c19d3fc198afdddefc4feeb9151b57e7f72d8303 Mon Sep 17 00:00:00 2001 From: Alex ter Weele Date: Wed, 7 Mar 2018 18:32:19 -0600 Subject: [PATCH 4/4] gnu: Fix idris. * gnu/packages/idris.scm (idris)[inputs]: alphebetize ghc-vector-binary-instances and ghc-async. Use ghc-aeson-1.1.2.0, ghc-cheapskate-0.1.0.5, and ghc-trifecta-1.6.2.1. Remove ghc-aeson, ghc-cheapskate, ghc-parsers, ghc-tasty, ghc-tasty-golden, ghc-tasty-rerun, ghc-trifecta, and ghc-zlib. --- gnu/packages/idris.scm | 17 ++++++----------- 1 file changed, 6 insertions(+), 11 deletions(-) diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm index c103055f5..633b8b9d5 100644 --- a/gnu/packages/idris.scm +++ b/gnu/packages/idris.scm @@ -92,15 +92,15 @@ (inputs `(("gmp" ,gmp) ("ncurses" ,ncurses) - ("ghc-aeson" ,ghc-aeson) - ("ghc-async" ,ghc-async) + ("ghc-aeson" ,ghc-aeson-1.1.2.0) ("ghc-annotated-wl-pprint" ,ghc-annotated-wl-pprint) ("ghc-ansi-terminal" ,ghc-ansi-terminal) ("ghc-ansi-wl-pprint" ,ghc-ansi-wl-pprint) + ("ghc-async" ,ghc-async) ("ghc-base64-bytestring" ,ghc-base64-bytestring) ("ghc-blaze-html" ,ghc-blaze-html) ("ghc-blaze-markup" ,ghc-blaze-markup) - ("ghc-cheapskate" ,ghc-cheapskate) + ("ghc-cheapskate" ,ghc-cheapskate-0.1.0.5) ("ghc-code-page" ,ghc-code-page) ("ghc-fingertree" ,ghc-fingertree) ("ghc-fsnotify" ,ghc-fsnotify) @@ -108,23 +108,18 @@ ("ghc-mtl" ,ghc-mtl) ("ghc-network" ,ghc-network) ("ghc-optparse-applicative" ,ghc-optparse-applicative) - ("ghc-parsers" ,ghc-parsers) ("ghc-regex-tdfa" ,ghc-regex-tdfa) ("ghc-safe" ,ghc-safe) ("ghc-split" ,ghc-split) - ("ghc-tasty" ,ghc-tasty) - ("ghc-tasty-golden" ,ghc-tasty-golden) - ("ghc-tasty-rerun" ,ghc-tasty-rerun) ("ghc-terminal-size" ,ghc-terminal-size) ("ghc-text" ,ghc-text) - ("ghc-trifecta" ,ghc-trifecta) + ("ghc-trifecta" ,ghc-trifecta-1.6.2.1) ("ghc-uniplate" ,ghc-uniplate) ("ghc-unordered-containers" ,ghc-unordered-containers) ("ghc-utf8-string" ,ghc-utf8-string) - ("ghc-vector-binary-instances" ,ghc-vector-binary-instances) ("ghc-vector" ,ghc-vector) - ("ghc-zip-archive" ,ghc-zip-archive) - ("ghc-zlib" ,ghc-zlib))) + ("ghc-vector-binary-instances" ,ghc-vector-binary-instances) + ("ghc-zip-archive" ,ghc-zip-archive))) (arguments `(#:tests? #f ; FIXME: Test suite doesn't run in a sandbox. #:configure-flags -- 2.16.2 --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Fri Mar 16 06:56:23 2018 Received: (at 30741-done) by debbugs.gnu.org; 16 Mar 2018 10:56:24 +0000 Received: from localhost ([127.0.0.1]:35758 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ewn27-0006Xp-OJ for submit@debbugs.gnu.org; Fri, 16 Mar 2018 06:56:23 -0400 Received: from hera.aquilenet.fr ([185.233.100.1]:36710) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ewn25-0006Xf-9N for 30741-done@debbugs.gnu.org; Fri, 16 Mar 2018 06:56:22 -0400 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 0512212E96; Fri, 16 Mar 2018 11:56:20 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id EiBkqNhYGJkr; Fri, 16 Mar 2018 11:56:19 +0100 (CET) Received: from ribbon (vpn-0-27.aquilenet.fr [IPv6:2a0c:e300:4:27::]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 4208C12E7E; Fri, 16 Mar 2018 11:56:19 +0100 (CET) From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: Alex ter Weele Subject: Re: [bug#30741] [PATCH] fix idris (was "Re: Incomplete work to upgrade Idris to 1.2.0") References: <877eqp7pql.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> <87o9k0jwdj.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> <87vae0g21v.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> Date: Fri, 16 Mar 2018 11:56:18 +0100 In-Reply-To: <87vae0g21v.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> (Alex ter Weele's message of "Mon, 12 Mar 2018 21:08:28 -0500") Message-ID: <87efkkxp9p.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: 30741-done Cc: 30741-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: 1.0 (+) Hi Alex, Alex ter Weele skribis: > Reposting a properly-formatted patch series here. I pushed this yesterday evening, thanks! Ludo=E2=80=99. From unknown Thu Aug 14 17:27:28 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Fri, 13 Apr 2018 11:24:05 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator