From mboxrd@z Thu Jan 1 00:00:00 1970 From: Pierre Neidhardt Subject: bug#31142: guix package --upgrade reverses the order of packages Date: Thu, 28 Mar 2019 14:53:20 +0100 Message-ID: <87d0mbnm0f.fsf@ambrevar.xyz> References: <87wokko8ki.fsf@ambrevar.xyz> <87ftr7cgfz.fsf@gnu.org> <87pnqbnond.fsf@mimimi.i-did-not-set--mail-host-address--so-tickle-me> <87k1gjazyk.fsf@gnu.org> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([209.51.188.92]:51737) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h9VTo-0000jB-9V for bug-guix@gnu.org; Thu, 28 Mar 2019 09:54:05 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1h9VTm-0006Zz-Ih for bug-guix@gnu.org; Thu, 28 Mar 2019 09:54:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:48574) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1h9VTm-0006Zh-BE for bug-guix@gnu.org; Thu, 28 Mar 2019 09:54:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1h9VTm-0004iN-2D for bug-guix@gnu.org; Thu, 28 Mar 2019 09:54:02 -0400 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: <87k1gjazyk.fsf@gnu.org> List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Cc: 31142@debbugs.gnu.org --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Ludovic Court=C3=A8s writes: > At first sight, to me, it=E2=80=99s not entirely clear how to determine w= hether > something is to be upgraded in the presence of propagated inputs. I think the linked discussion suggested we checked upgrades recursively. Wouldn't that work? > And more importantly, I think the =E2=80=9Cimperative=E2=80=9D model is n= ecessarily not > as expressive and =E2=80=9Cclean=E2=80=9D as =E2=80=98--manifest=E2=80=99= . There are tradeoffs to make. Sorry, I don't understand what you mean. How do we upgrade declaratively? = I could be missing something big here! :) =2D-=20 Pierre Neidhardt https://ambrevar.xyz/ --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEUPM+LlsMPZAEJKvom9z0l6S7zH8FAlyc0dAACgkQm9z0l6S7 zH9TPwf/c540gjDohPJaLzFnZbFGuoUxIl/7XC5gVRRf6xRjlD4NnErNST2Q9GUs jjtgQ4IQath+0Ax3WygQqcv+/96ZCqDLAdXO5T7cJXJGYhF0AAy80s7JLqXHPysn JlNhsJC+HsKMnT6EwNifYOI/Sk9fyazbcYEufl7C9fj3iLZeNT0rn77Jib6enrm+ jji13xqeI1IPNAc4AmiVQcQ4fQGWGXzNiwvEUq6G28kVwK/ZAGXqv4zgxmdBo2Ty 4oky+6LKrkLoBVA5e6kuCS5CL6O2Y/YnFSnvs7INiWBNI0TLRMfHM/BrmxcxqHdL y7mWTreZwk90/tEaQa6NUIy27GVSSQ== =8ZWA -----END PGP SIGNATURE----- --=-=-=--