From mboxrd@z Thu Jan  1 00:00:00 1970
From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=)
Subject: Re: rust work in progress conflicts
Date: Fri, 06 May 2016 11:59:58 +0200
Message-ID: <87h9eb8q1t.fsf@gnu.org>
References: <20160325184540.4e02cb2d@scratchpost.org>
	<87k2kq6wma.fsf@grrlz.net> <87oa8mt8lh.fsf@gmail.com>
	<87lh3obpaz.fsf@gnu.org>
	<1462459586.3181019.599022233.5F377A74@webmail.messagingengine.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:36770)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1aycYV-0003T6-9N
	for guix-devel@gnu.org; Fri, 06 May 2016 06:00:25 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1aycYJ-0000k6-CI
	for guix-devel@gnu.org; Fri, 06 May 2016 06:00:13 -0400
In-Reply-To: <1462459586.3181019.599022233.5F377A74@webmail.messagingengine.com>
	(Alex Griffin's message of "Thu, 05 May 2016 09:46:26 -0500")
List-Id: "Development of GNU Guix and the GNU System distribution."
	<guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/guix-devel/>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=subscribe>
Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org
Sender: "Guix-devel" <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
To: Alex Griffin <a@ajgrf.com>
Cc: guix-devel@gnu.org

Alex Griffin <a@ajgrf.com> skribis:

> On Thu, May 5, 2016, at 08:35 AM, Ludovic Court=C3=A8s wrote:
>>=20
>> Yeah it=E2=80=99s OK to do it in the order: write the package bootstrapp=
ed from
>> the binary blob, and then work on bootstrapping it from OCaml.
>
> I do not think that bootstrapping Rust from OCaml is a practical goal.
> When you guys have talked about bootstrapping gcc from an older version,
> I don't think it has involved even a dozen gcc versions, let alone 319!

If it really has to be 319 versions of Rust, then I agree.
I thought/hoped that it would in fact be just a few of them.

Andy Wingo <wingo@igalia.com> skribis:

> Also FWIW, I think in the future a sane bootstrap is probably more
> likely from a MIR interpreter (something like this but implemented from
> another language: https://github.com/tsion/miri/tree/master/src).

Yeah, though MIR it not source (not the =E2=80=9Cpreferred form=E2=80=9D), =
AIUI.

Thanks,
Ludo=E2=80=99.