[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 1/2] gnu: idris: Update to 0.99.
|
From: |
Ludovic Courtès |
|
Subject: |
Re: [PATCH 1/2] gnu: idris: Update to 0.99. |
|
Date: |
Mon, 19 Dec 2016 17:22:37 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux) |
David Craven <address@hidden> skribis:
>> The conventional thing would be to use “lib/idris” (just like we have
>> “lib/perl5”, “lib/python2.7”, “lib/guile”, etc.) Could you make this
>> change?
>
> you're right, much better. thank you.
>
>> If you haven’t done it yet, I encourage you to submit it upstream: it
>> looks like there’s 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’s probably good enough for our own use. Maybe just add a
note in the patch that this is not submitted yet.
Thanks!
Ludo’.