From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: [PATCH 1/2] gnu: idris: Update to 0.99. Date: Mon, 19 Dec 2016 17:22:37 +0100 Message-ID: <8737hj51o2.fsf@gnu.org> References: <20161215172835.7300-1-david@craven.ch> <87poko3t38.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:53713) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cJ0i5-000714-NK for guix-devel@gnu.org; Mon, 19 Dec 2016 11:22:46 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cJ0i0-0007sn-RC for guix-devel@gnu.org; Mon, 19 Dec 2016 11:22:45 -0500 In-Reply-To: (David Craven's message of "Mon, 19 Dec 2016 15:17:46 +0100") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: David Craven Cc: guix-devel David Craven skribis: >> The conventional thing would be to use =E2=80=9Clib/idris=E2=80=9D (just= like we have >> =E2=80=9Clib/perl5=E2=80=9D, =E2=80=9Clib/python2.7=E2=80=9D, =E2=80=9Cl= ib/guile=E2=80=9D, etc.) Could you make this >> change? > > you're right, much better. thank you. > >> If you haven=E2=80=99t done it yet, I encourage you to submit it upstrea= m: it >> looks like there=E2=80=99s no reason not to have it upstream. > > It still needs some work, the goal is to get it upstream. Still needs > more testing and it's not a complete solution yet, but only a partial > one. OK. Well it=E2=80=99s probably good enough for our own use. Maybe just ad= d a note in the patch that this is not submitted yet. Thanks! Ludo=E2=80=99.