From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id GL8XFlp3LV9nEQAA0tVLHw (envelope-from ) for ; Fri, 07 Aug 2020 15:46:34 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id WOPGEVp3LV/1CwAAbx9fmQ (envelope-from ) for ; Fri, 07 Aug 2020 15:46:34 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 206889404D9 for ; Fri, 7 Aug 2020 15:46:34 +0000 (UTC) Received: from localhost ([::1]:53994 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1k44Zl-0008W1-4h for larch@yhetil.org; Fri, 07 Aug 2020 11:46:33 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:56252) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1k44Zc-0008Vr-CS for guix-devel@gnu.org; Fri, 07 Aug 2020 11:46:24 -0400 Received: from pat.zlotemysli.pl ([37.59.186.212]:37520) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1k44ZZ-0005Za-T3 for guix-devel@gnu.org; Fri, 07 Aug 2020 11:46:24 -0400 Received: (qmail 20922 invoked by uid 1009); 7 Aug 2020 17:46:19 +0200 Received: from 188.123.215.55 (kuba@kadziolka.net@188.123.215.55) by pat.zlotemysli.pl (envelope-from , uid 1002) with qmail-scanner-2.08st (clamdscan: 0.98.6/25896. spamassassin: 3.4.0. perlscan: 2.08st. Clear:RC:1(188.123.215.55):. Processed in 0.055716 secs); 07 Aug 2020 15:46:19 -0000 Received: from unknown (HELO gravity) (kuba@kadziolka.net@188.123.215.55) by pat.zlotemysli.pl with SMTP; 7 Aug 2020 17:46:18 +0200 Date: Fri, 7 Aug 2020 17:46:17 +0200 From: Jakub =?utf-8?B?S8SFZHppb8WCa2E=?= To: John Soo Subject: Re: merge wip-haskell? Message-ID: <20200807154617.nvwh6g7b43tdpg5y@gravity> References: <20200807150326.4sk2lcgqxi6xf4y7@gravity> <1930592E-05B5-454A-BDA3-E57AEAB609EF@asu.edu> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="2zesjofhdqxsav2l" Content-Disposition: inline In-Reply-To: <1930592E-05B5-454A-BDA3-E57AEAB609EF@asu.edu> Received-SPF: none client-ip=37.59.186.212; envelope-from=kuba@kadziolka.net; helo=pat.zlotemysli.pl X-detected-operating-system: by eggs.gnu.org: First seen = 2020/08/07 11:03:28 X-ACL-Warn: Detected OS = Linux 3.11 and newer X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_PASS=-0.001, SPF_NONE=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: guix-devel@gnu.org Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Spam-Score: -1.61 X-TUID: 06rP7zLJtT8i --2zesjofhdqxsav2l Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Fri, Aug 07, 2020 at 08:12:36AM -0700, John Soo wrote: > I would rather wait until some evidence that the closure size would be to= o large. Also I=E2=80=99m not sure propagation is necessary for dependents = to find libraries or use paths from an input. Ricardo already explained that this is indeed the case. --2zesjofhdqxsav2l Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCAAdFiEE5Xa/ss9usT31cTO54xWnWEYTFWQFAl8td0kACgkQ4xWnWEYT FWQJrg/9FAkaJu0deCra5d6A3xYPeb6Ev93RC1XoWksyKCUb71XDhnK+1QVL4dMb ROLIPenOYYC3MAO2SSlp9UpsZX0Ge62UxwQ2u2qbxEUpImOcyvTNT03btbIx33uA ShXamK+4zyQUO9BMhKmaYPlq2PF1qNLB5liTmk1vQ58xAGdK26dmNTTx0g/cEEHG +p2SOAuMwTP61KpZ8sV2t5EOnZ7HBpLgBpf0STsO5UYqobkMDXd5VjDAPRr0LbIR TSh90bbBQzY8TkjX9c3/Rn018JEciuMb5d62Ib4wAjwQPzs/o6I4Y0VDKHe7apKA SAwwbbb6oRs0LEwMnUWf9dW2vKwHzK/f2hzVxAAdA869+tCJ/7BiyS+z6Hbf16vO +qXTMRuLtN25xGrGDRNEfo+qEIB7U35axG8OJF8+wmkbmw199OzPBr3otQW2aINU ZNF+JiIEiBox5LhfHpDxnVdHp3L0DgVKgZHMoCZnEHF6bo+yFYKetQkhifu6E3a/ XaApm9zlwsXOF37lPB2QGu7l8z6ttSnS0qjSsFSNRIPNr6rps0CTNxTNdc5RtXen Qay4MIXyxcRGam/FyrsrPuYo1TjZQolBSAnPSrQYZKmyRilo+EHF86HLHywLdR54 N/BNcNDdEl+YotJHs40TRdi3VYKrFdJUx1CQwoqj7qmc8/HPH9k= =qq4Z -----END PGP SIGNATURE----- --2zesjofhdqxsav2l--