[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Packaging Idris2
From: |
zimoun |
Subject: |
Re: Packaging Idris2 |
Date: |
Sun, 21 Aug 2022 14:31:58 +0200 |
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
- Packaging Idris2, Pierre-Henry Fröhring, 2022/08/19
- Re: Packaging Idris2, (, 2022/08/19
- Re: Packaging Idris2, Pierre-Henry Fröhring, 2022/08/20
- Re: Packaging Idris2, Csepp, 2022/08/20
- Re: Packaging Idris2, Andreas Reuleaux, 2022/08/20
- Re: Packaging Idris2, (, 2022/08/21
- Re: Packaging Idris2, Csepp, 2022/08/21
- Re: Packaging Idris2, Andreas Reuleaux, 2022/08/21
- Re: Packaging Idris2, (, 2022/08/21
- Re: Packaging Idris2, (, 2022/08/21
- Re: Packaging Idris2,
zimoun <=
- Re: Packaging Idris2, Philip McGrath, 2022/08/21
- Re: Packaging Idris2, contact, 2022/08/23
- Re: Packaging Idris2, Csepp, 2022/08/23
- Re: Packaging Idris2, contact, 2022/08/23