GNU bug report logs - #49607
[PATCH] gnu: Add Idris 2.

Previous Next

Full log

View this message in rfc822 format

From: Eric Bavier <bavier <at> posteo.net>
To: 49607 <at> debbugs.gnu.org
Subject: [bug#49607] [PATCH 2/3] gnu: idris: Add idris2 0.5.1, and update idris to 1.3.4.
Date: Wed, 20 Apr 2022 13:50:07 +0000

Hi!

On Thu, 2022-04-14 at 14:16 +0200, Attila Lendvai wrote:
> * gnu/packages/idris.scm (idris-1.3.4): New variable, the latest from
> the v1.x
> line of Idris at the time of writing.
> (make-idris-package): New function to instantiate a package of
> Idris2.
> (idris2-0.5.1): New variable.
> * gnu/packages/patches/idris-build-with-haskeline-0.8.patch: Deleted.
> * gnu/packages/patches/idris-build-with-megaparsec-9.patch: Deleted.
> * gnu/packages/patches/idris-disable-test.patch: Deleted.
> ---
>  gnu/local.mk                                  |   3 -
>  gnu/packages/idris.scm                        | 307
> +++++++++++++++++-
>  .../idris-build-with-haskeline-0.8.patch      |  85 -----
>  .../idris-build-with-megaparsec-9.patch       |  27 --
>  gnu/packages/patches/idris-disable-test.patch |  19 --
>  5 files changed, 293 insertions(+), 148 deletions(-)
>  delete mode 100644 gnu/packages/patches/idris-build-with-haskeline-
> 0.8.patch
>  delete mode 100644 gnu/packages/patches/idris-build-with-megaparsec-
> 9.patch
>  delete mode 100644 gnu/packages/patches/idris-disable-test.patch

I've pushed the 1.3.4 update portion of this patch in commit
0cf1178a65.  I am still reviewing the rest.

`~Eric

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.