Re: Packaging Idris2

[zimoun]

Hi,

Some quick comments. :-)

On Sun, 21 Aug 2022 at 11:39, "(" <paren@disroot.org> wrote:

> Yes, that's true -- however, it's still not the complete, readable
> source code. (It presumably doesn't have comments either, which greatly
> aid understanding, of course.) We do make exceptions when bootstrapping
> is simply impossible with currently existing tools (see Haskell, Pascal,
> and Nim) but here, where it does seem to be possile, 

a) Chicken is not bootstrapped.  See [1,2].

b) «it does seem to be possible» but it had not been done since 1.5
years.  Maybe it would be better to have something now instead than
never; then it would be still possible to improve the situation.  IMHO.

c) For the previous work, see patch#49607 [3].


1: <http://issues.guix.gnu.org/issue/22366>
2: <http://bugs.call-cc.org/ticket/1776>
3: <http://issues.guix.gnu.org/issue/49607>


Cheers,
simon