From unknown Fri Jun 13 10:25:19 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#34369 <34369@debbugs.gnu.org> To: bug#34369 <34369@debbugs.gnu.org> Subject: Status: [PATCH] gnu: Add ghc-base-unicode-symbols. Reply-To: bug#34369 <34369@debbugs.gnu.org> Date: Fri, 13 Jun 2025 17:25:19 +0000 retitle 34369 [PATCH] gnu: Add ghc-base-unicode-symbols. reassign 34369 guix-patches submitter 34369 Gabriel Hondet severity 34369 normal tag 34369 patch thanks From debbugs-submit-bounces@debbugs.gnu.org Thu Feb 07 07:15:14 2019 Received: (at submit) by debbugs.gnu.org; 7 Feb 2019 12:15:14 +0000 Received: from localhost ([127.0.0.1]:36625 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1griaI-0003Xw-Ie for submit@debbugs.gnu.org; Thu, 07 Feb 2019 07:15:14 -0500 Received: from eggs.gnu.org ([209.51.188.92]:48784) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1griaG-0003Xh-EL for submit@debbugs.gnu.org; Thu, 07 Feb 2019 07:15:12 -0500 Received: from lists.gnu.org ([209.51.188.17]:45163) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1griaB-0006IK-9G for submit@debbugs.gnu.org; Thu, 07 Feb 2019 07:15:07 -0500 Received: from eggs.gnu.org ([209.51.188.92]:34920) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1griaA-0007HN-2w for guix-patches@gnu.org; Thu, 07 Feb 2019 07:15:07 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,FREEMAIL_FROM autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gria9-0006Gw-4W for guix-patches@gnu.org; Thu, 07 Feb 2019 07:15:06 -0500 Received: from mail-wr1-x42f.google.com ([2a00:1450:4864:20::42f]:34810) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gria8-0006GW-Rg for guix-patches@gnu.org; Thu, 07 Feb 2019 07:15:05 -0500 Received: by mail-wr1-x42f.google.com with SMTP id z15so9261561wrn.1 for ; Thu, 07 Feb 2019 04:15:04 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=user-agent:from:to:subject:date:message-id:mime-version; bh=YN9hwaglrzkaUaymKQxAPHhe0uplqYASR5+uv+CXZAY=; b=gxXrL2mTyUHElsnJfXYnJcPpyEUmQQKpMKiDli0xTj9An4qJgyw/pYFsbqLCKaruBF v9Ha1WSLliSh2a0ESVZqpwZlMQsJ/dyvCGC6axj4nFl5acu9kB3N3HsP8rYS9keMTigg BjgTPS3jPIqEEJ+cJtOlTmopKZd2zreNRQlWFsYTzLVbXuKgVlQXvlUzplm92kZbZQ7V R75s/yh+vFx+w6XK3QAE2B1Ilpfr6G1nLzRrr8vHqEOK5PgVlRUfWgCskwEyzGFud2ag +iQ+/Ai/nAybYrMKDDSIfeGcuDm93kLKRH7mHNV7vn9se7xCKZounBCLjsbQMeUCD83d ETnQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:user-agent:from:to:subject:date:message-id :mime-version; bh=YN9hwaglrzkaUaymKQxAPHhe0uplqYASR5+uv+CXZAY=; b=j6/oyNrJ8s66e+CElsFm3iZHjNi164q5miTlRxu8wQIYyy2Bi3zid8UPU+IGG404um xk24jk+nPmv738uSA/WHa4ec/dxscYjrfQa505+kxAusKvB/ev7yTF5+OQPUD1T339he ezaDYj1/sCLIfNBJzo/fi9FLkwZ8vaXYGiKokNbdjZFmUhVbAptD4B3HKSLD6ICwU6X0 9QgzHAXYenkFHy79R7dnYSMcTEa9R5kXSbMYiUmyEwa7Gb2nGtQCFIvBT5yDNUOF+2fV O3fSbrMHkHtiJJrDWvcNzlD5u/A3uBMLAoo2fTtUPr2zRtPGKC3gl3fKV7jUU44vrwPw 08rQ== X-Gm-Message-State: AHQUAubILUTcHRkwnYlF6sPfeHrSgTaHA2DjcTqNGF0f3s4MgQHTIAiA rbzxcGbYncds7Jxn22yuO8zTXPv1 X-Google-Smtp-Source: AHgI3IZ7D6s7E843+HzqEbOoa2WQXzJrb7T76Of+WalxXsMOgfzaIERGlDBBVC7g2JJZZhg+vNtJUg== X-Received: by 2002:adf:f30f:: with SMTP id i15mr12729356wro.39.1549541703358; Thu, 07 Feb 2019 04:15:03 -0800 (PST) Received: from glht-aurore.gmail.com (2a01cb04062c860082fa5bfffe3823d7.ipv6.abo.wanadoo.fr. [2a01:cb04:62c:8600:82fa:5bff:fe38:23d7]) by smtp.gmail.com with ESMTPSA id c9sm11580545wrs.84.2019.02.07.04.15.02 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Thu, 07 Feb 2019 04:15:02 -0800 (PST) User-agent: mu4e 1.0; emacs 26.1 From: Gabriel Hondet To: guix-patches@gnu.org Subject: [PATCH] gnu: Add ghc-base-unicode-symbols. Date: Thu, 7 Feb 2019 13:12:38 +0100 Message-ID: <87d0o34wxm.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2a00:1450:4864:20::42f X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable * gnu/packages/haskell.scm (ghc-base-unicode-symbols): New variable. =2D-- gnu/packages/haskell.scm | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index 255e902e6..4fd54b940 100644 =2D-- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -11493,4 +11493,31 @@ imported with the correct Haskell types.") Music Player Daemon.") (license license:expat))) =20 +(define-public ghc-base-unicode-symbols + (package + (name "ghc-base-unicode-symbols") + (version "0.2.3") + (source + (origin + (method url-fetch) + (uri (string-append + "mirror://hackage/package/base-unicode-symbols/base-unicode-s= ymbols-" + version + ".tar.gz")) + (sha256 + (base32 + "1ia6li7qjg1zkak4gf6mnbshw45mq9bfjr0jch58ds0lscmvwyzf")))) + (build-system haskell-build-system) + (home-page "http://www.haskell.org/haskellwiki/Unicode-symbols") + (synopsis "Unicode alternatives for common functions and operators") + (description "This package defines new symbols for a number of functio= ns, +operators and types in the base package. All symbols are documented with +their actual definition and information regarding their Unicode code point. +They should be completely interchangeable with their definitions. For +further Unicode goodness you can enable the @code{UnicodeSyntax} +@url{https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasg= ow_exts.html#unicode-syntax, +language extension}. This extension enables Unicode characters to be used= to +stand for certain ASCII character sequences, i.e. =E2=86=92 instead of @co= de{->}, +=E2=88=80 instead of @code{forall} and many others.") + (license license:bsd-3))) ;;; haskell.scm ends here =2D-=20 2.20.1 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlxcIUUACgkQMbyBBfZZ 1CVYLw/+OGySPf1GIqDMShw3qY1XvedwcdHnLdO38lU0n0mnEPIBFJ7fgCD89H3z Tf45W/0Z0K/yYVF6JOy9mkmfp2olCHtml09UIvfbCK8+FUA3VGW2kw80Q8+SwaHb TyTVa8wpmZFjCeBOAmZZ6l8bp7igd4aSAJL3LHrHt0hb5xHIct1Nj3xrw8UiEBRB 6jl+CsfiZStki7RRetjESX9PJAQ6lzsCtSo7lujaNRy3CcbQKAfZ261wKpvu2zK7 ETXiZWRB9ZVc+Z0X6kUnXOfFXCWtgPgEPoMi6YAQ6bwaLIchD6+AMMzQTlZMN2e3 xa1QMoD3yeKtfO0+etiCbw4od/Su8/SSza03vCxp9brd8G2bXSliCwHdTYhKF5sP F8BHsVoDGDSzNJR/x5muNfqG766RADbSmUqMzuU2ka7oaxlBj9zYCg26qrX4up/O PHQpwMZ4BLMQEcKVpzZnxtOXHz2RG4o1tzCDrE+qp29OBH9fVt7mDhFMm97CTBsd OsHh8wdrsNYqZoKqvXKqfElD4hIZwECu+sS8g9TaPvRhX8JbM3u+RF0b2JtDfeoT a54wDFjQ+1nUYqANfj7RyFUQxMff42qyb7krEZtbLnz7Pgt8tTPISptYF/LCYOUp T6k/CtISbESeXQwn65MBPvCTzyERTVRXk8pDc+c1AIG66x53cbM= =kB+a -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sun Feb 10 15:46:10 2019 Received: (at 34369-done) by debbugs.gnu.org; 10 Feb 2019 20:46:10 +0000 Received: from localhost ([127.0.0.1]:42822 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gsvzO-00032e-HV for submit@debbugs.gnu.org; Sun, 10 Feb 2019 15:46:10 -0500 Received: from dd26836.kasserver.com ([85.13.145.193]:49570) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gsvzM-00032V-Dp for 34369-done@debbugs.gnu.org; Sun, 10 Feb 2019 15:46:08 -0500 Received: from localhost (178.113.144.125.wireless.dyn.drei.com [178.113.144.125]) by dd26836.kasserver.com (Postfix) with ESMTPSA id 55B14336231E; Sun, 10 Feb 2019 21:46:07 +0100 (CET) Date: Sun, 10 Feb 2019 21:46:04 +0100 From: Danny Milosavljevic To: Gabriel Hondet Subject: Re: [bug#34369] [PATCH] gnu: Add ghc-base-unicode-symbols. Message-ID: <20190210214604.3b6f6844@scratchpost.org> In-Reply-To: <87d0o34wxm.fsf@gmail.com> References: <87d0o34wxm.fsf@gmail.com> X-Mailer: Claws Mail 3.17.3 (GTK+ 2.24.32; x86_64-unknown-linux-gnu) MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; boundary="Sig_/MdqQfPxKMGgHqtHp.O7mzA."; protocol="application/pgp-signature" X-Spam-Score: -0.7 (/) X-Debbugs-Envelope-To: 34369-done Cc: 34369-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) --Sig_/MdqQfPxKMGgHqtHp.O7mzA. Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable Thanks! Pushed to guix master as d4ce1c5029dcf68a72ba4e4288d13341c57b2005. --Sig_/MdqQfPxKMGgHqtHp.O7mzA. Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEds7GsXJ0tGXALbPZ5xo1VCwwuqUFAlxgjYwACgkQ5xo1VCww uqW+ywf/Uf3yyYXs9t6HRXMe7SstREyF9LI/g3yEe2hVzsH0j8+jdTjj/IrjSh9p Wr9MF1Xe0R+SnkEAqmDD+mcS1zynFbJShu+TQom2wcdggtoPCM9VFgQV+b3SdnUF /jgUI/HXQ5WBQRf65Cp1GpUcBM95fGt7xPDQNofVUL67F2ZZPuf6aYGp7YvMvlfU xCU8mLwE7+ehB2ol9SN0oVJf1tOm4/HqbjAw3srcCT5ZgQxXCSV4+aRmsIdB/GfD wSkmxcDi/HIz8VrknV+eoNVoFxFihfIV89y30Kx76bcmAdcRTUxLtVW/LLcFbjPS fUMezhMsbLyL1bVLVz1VLswg1Es07g== =Yp3Z -----END PGP SIGNATURE----- --Sig_/MdqQfPxKMGgHqtHp.O7mzA.-- From unknown Fri Jun 13 10:25:19 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Mon, 11 Mar 2019 11:24:07 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator