From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id gEh/MMF1Sl8MOAAA0tVLHw (envelope-from ) for ; Sat, 29 Aug 2020 15:35:29 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id GBpqLMF1Sl9CfQAA1q6Kng (envelope-from ) for ; Sat, 29 Aug 2020 15:35:29 +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 51A7994053D for ; Sat, 29 Aug 2020 15:35:29 +0000 (UTC) Received: from localhost ([::1]:48914 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kC2t5-00040y-Uo for larch@yhetil.org; Sat, 29 Aug 2020 11:35:27 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:47006) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kC2sj-0003wO-Lo for guix-devel@gnu.org; Sat, 29 Aug 2020 11:35:05 -0400 Received: from wout3-smtp.messagingengine.com ([64.147.123.19]:42411) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kC2sh-00077W-Pe for guix-devel@gnu.org; Sat, 29 Aug 2020 11:35:05 -0400 Received: from compute3.internal (compute3.nyi.internal [10.202.2.43]) by mailout.west.internal (Postfix) with ESMTP id DF7AC75F; Sat, 29 Aug 2020 11:35:01 -0400 (EDT) Received: from mailfrontend2 ([10.202.2.163]) by compute3.internal (MEProxy); Sat, 29 Aug 2020 11:35:02 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-me-proxy:x-me-proxy:x-me-sender:x-me-sender :x-sasl-enc; s=fm3; bh=sVEj4HnzrXjmCx0659E9cvbycrwRjaE/oUe5mugNe Aw=; b=aFV0KG5h2/Q2JbyKzcL+Ni8T6bBpHfX6LFXV1rz/6G/p2WLvlBBtlwEvU DFHEJC2y5djU7kCsWL14SjXHCTv/3LgF4OhMHWAeMoBr+i8yKK56VTeeLrwjGBdV C/04mWg3ZVpaRQMtvvpUBV9BDM3era/CRbSxog3qjj0xB09ioVlxbJV/EK6ZW/Cr +wA1+Dt8W57/jR+Yc6RpFXi+og59c2t5NUPvGtyla0/NqyFbErvSAAoFj6bKgx0x cn1wWFhZHKRM5Mt3+6e6fpbS7H38cBWAi7ZksenBperjL4RWvw3ozHWveWtnL/dv WpXyHSLxZr5lNCttI9e6Gd8EX+EmA== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduiedrudefuddgleduucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmne cujfgurhephffvufhfffgjkfgfgggtgfesthhqredttderjeenucfhrhhomhepvfhimhho thhhhicuufgrmhhplhgvuceoshgrmhhplhgvthesnhhghihrohdrtghomheqnecuggftrf grthhtvghrnhepieduuefhgeegleelveehgedugfeuhfeikefftdevieelgfelhfdvtdfg ieehtefgnecukfhppeejgedrudduiedrudekiedrgeegnecuvehluhhsthgvrhfuihiivg eptdenucfrrghrrghmpehmrghilhhfrhhomhepshgrmhhplhgvthesnhhghihrohdrtgho mh X-ME-Proxy: Received: from mrblack (74-116-186-44.qc.dsl.ebox.net [74.116.186.44]) by mail.messagingengine.com (Postfix) with ESMTPA id EC09D30606FB; Sat, 29 Aug 2020 11:35:00 -0400 (EDT) From: Timothy Sample To: John Soo Subject: Re: merge wip-haskell? References: <87eenqq3lg.fsf@gnu.org> <59802BA7-9EEC-4C57-A949-2A30BA1B96E9@asu.edu> <87r1rqsmq5.fsf@ngyro.com> Date: Sat, 29 Aug 2020 11:34:09 -0400 In-Reply-To: <87r1rqsmq5.fsf@ngyro.com> (Timothy Sample's message of "Fri, 28 Aug 2020 13:29:22 -0400") Message-ID: <87d039qxe6.fsf@ngyro.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=64.147.123.19; envelope-from=samplet@ngyro.com; helo=wout3-smtp.messagingengine.com X-detected-operating-system: by eggs.gnu.org: First seen = 2020/08/29 11:35:02 X-ACL-Warn: Detected OS = Linux 2.2.x-3.x [generic] [fuzzy] X-Spam_score_int: -25 X-Spam_score: -2.6 X-Spam_bar: -- X-Spam_report: (-2.6 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-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: Jakub =?utf-8?B?S8SFZHppb8WCa2E=?= , 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=pass header.d=messagingengine.com header.s=fm3 header.b=aFV0KG5h; 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: -0.21 X-TUID: wXEyEcRVkXoL Hi again, Timothy Sample writes: > I=E2=80=98ll take a look at PureScript and check Elm, since maybe the Agd= a fix > will work for them. I=E2=80=99m not sure about Idris =E2=80=93 it needs = a bit more > effort. Good news! Elm and PureScript are fine, and I just pushed a fix for Idris: 5aaa1995922285d53a97824f2b83bdb71ec9fdd0. -- Tim