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 kHzyGTY/SV84KAAA0tVLHw (envelope-from ) for ; Fri, 28 Aug 2020 17:30:30 +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 YOG8FTY/SV+mWwAAbx9fmQ (envelope-from ) for ; Fri, 28 Aug 2020 17:30:30 +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 DD34C9404CA for ; Fri, 28 Aug 2020 17:30:29 +0000 (UTC) Received: from localhost ([::1]:48140 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kBiCq-0006rF-Hd for larch@yhetil.org; Fri, 28 Aug 2020 13:30:28 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:42098) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kBiCf-0006px-Od for guix-devel@gnu.org; Fri, 28 Aug 2020 13:30:17 -0400 Received: from out3-smtp.messagingengine.com ([66.111.4.27]:50351) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kBiCd-00069d-Vp; Fri, 28 Aug 2020 13:30:17 -0400 Received: from compute3.internal (compute3.nyi.internal [10.202.2.43]) by mailout.nyi.internal (Postfix) with ESMTP id 97DC05C020B; Fri, 28 Aug 2020 13:30:13 -0400 (EDT) Received: from mailfrontend2 ([10.202.2.163]) by compute3.internal (MEProxy); Fri, 28 Aug 2020 13:30:13 -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=P1AHYCjEbkAIGCZoadKGHi6A2vFpOzuc8uLJE3XDx vg=; b=kUJGR+fobVmsRSEL8zhdubmkKizcPY1eraNFGxCyFO1jW5rQ0JToDWzjw IMuMrSlaGAI3dKpUMH8U0UX87P3SugImql1qGY4GgrkOBNklKmeySpQzMjcful5L n4dhWpIlxhz3dXvNXSUdOf6sVe4f9Wuj+3xBHcv8NzRksemd5RTGp4fwlr4LDKpB mwS7gJtM2asM0XO7a4f55GK5NnFz+cy5LtbLWrJvkbUIOn6QyTCSAo/9f3ZTqeYT kvy6pzNRUe0h5Vn1HToLWYLAMR4i0/Lndu5ksXrnW3/0rB9izD3v1OHgOweCrKCe M//ptcRq3wlVYGnOlHIuoo3JTIl7Q== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduiedruddvkedgudejucetufdoteggodetrfdotf 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 C1F1A306005F; Fri, 28 Aug 2020 13:30:12 -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> Date: Fri, 28 Aug 2020 13:29:22 -0400 In-Reply-To: <59802BA7-9EEC-4C57-A949-2A30BA1B96E9@asu.edu> (John Soo's message of "Fri, 28 Aug 2020 07:05:30 -0700") Message-ID: <87r1rqsmq5.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=66.111.4.27; envelope-from=samplet@ngyro.com; helo=out3-smtp.messagingengine.com X-detected-operating-system: by eggs.gnu.org: First seen = 2020/08/28 13:30:13 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?S8SF?= =?utf-8?B?ZHppb8WCa2E=?= , 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=fail (rsa verify failed) header.d=messagingengine.com header.s=fm3 header.b=kUJGR+fo; 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.99 X-TUID: okiyVeIDCHwC Hi John, John Soo writes: > Does anyone know why idris, agda, and purescript are failing? The really short version is that we now use shared libraries for Haskell dependencies, which mostly works, except for some of the more complicated builds. I did fix Agda a little while ago, so I think it=E2=80= =99s okay now. The issue was it couldn=E2=80=99t run the Agda compiler because = it didn=E2=80=99t know where it=E2=80=99s own shared libraries were before ins= talling. I fixed it by setting =E2=80=9CLD_LIBRARY_PATH=E2=80=9D during the build. Id= ris has a similar problem, but not similar enough that the same solution works. I imagine PureScript is in the same boat, but I didn=E2=80=99t know about it = until now. This makes me wonder about Elm, too. > I have only been able to do very little recently to look at them. Me too. I=E2=80=98ll take a look at PureScript and check Elm, since maybe = the Agda fix will work for them. I=E2=80=99m not sure about Idris =E2=80=93 it= needs a bit more effort. -- Tim