From: Marius Bakke <mbakke@fastmail.com>
To: Alex Griffin <a@ajgrf.com>, 37717@debbugs.gnu.org
Subject: [bug#37717] [PATCH 1/3] gnu: Add ghc-atomic-primops.
Date: Fri, 18 Oct 2019 20:23:22 +0200 [thread overview]
Message-ID: <87tv85ykth.fsf@devup.no> (raw)
In-Reply-To: <d20fc9b1-7886-4517-9440-a1b5a34f1f87@www.fastmail.com>
[-- Attachment #1: Type: text/plain, Size: 2202 bytes --]
"Alex Griffin" <a@ajgrf.com> writes:
> From 77ff329dd34d307f19629086baf44c1623858fa1 Mon Sep 17 00:00:00 2001
> From: Alex Griffin <a@ajgrf.com>
> Date: Sat, 12 Oct 2019 13:34:43 -0500
> Subject: [PATCH 1/3] gnu: Add ghc-atomic-primops.
>
> * gnu/packages/haskell-xyz.scm (ghc-atomic-primops): New variable.
[...]
> diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
> index 2977398880..37df2ed909 100644
> --- a/gnu/packages/haskell-xyz.scm
> +++ b/gnu/packages/haskell-xyz.scm
> @@ -381,6 +382,31 @@ over threads in Haskell, in which @code{Async a} is a concurrent thread that
> will eventually deliver a value of type @code{a}.")
> (license license:bsd-3)))
>
> +(define-public ghc-atomic-primops
> + (package
> + (name "ghc-atomic-primops")
> + (version "0.8.3")
Note: we follow the Stackage LTS versions for GHC 7.4, currently 12.26.
So I think we should take version 0.8.2 instead:
https://www.stackage.org/lts-12.26/package/atomic-primops-0.8.2
(hopefully Timothy or someone can correct me if I'm wrong here)
> + (source
> + (origin
> + (method url-fetch)
> + (uri (string-append
> + "https://hackage.haskell.org/package/atomic-primops/atomic-primops-"
> + version
> + ".tar.gz"))
Can you align these lines a bit?
> + (sha256
> + (base32
> + "03n5dmyplrqgbyf8dr91izkxci7gkl3i3fnp82i5ld869zrgjfh0"))))
> + (build-system haskell-build-system)
> + (inputs `(("ghc-primitive" ,ghc-primitive)))
> + (home-page "https://github.com/rrnewton/haskell-lockfree/wiki")
> + (synopsis "Safe approach to CAS and other atomic ops")
> + (description
> + "After GHC 7.4 a new @code{casMutVar#} primop became available, but it's
> +difficult to use safely, because pointer equality is a highly unstable property
> +in Haskell. This library provides a safer method based on the concept of
> +@code{Ticket}s.")
Can you try to adjust the first sentence so that it reads better?
Perhaps something along the lines of "GHC 7.4 introduced a new
@code{casMutVar#} PrimOp which is difficult to use safely, because ...".
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 487 bytes --]
next prev parent reply other threads:[~2019-10-18 18:24 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-10-12 19:32 [bug#37717] [PATCH 0/3] gnu: Add kmonad Alex Griffin
2019-10-12 19:33 ` [bug#37717] [PATCH 1/3] gnu: Add ghc-atomic-primops Alex Griffin
2019-10-18 18:23 ` Marius Bakke [this message]
2019-10-12 19:34 ` [bug#37717] [PATCH 2/3] gnu: Add ghc-unagi-chan Alex Griffin
2019-10-18 18:28 ` Marius Bakke
2019-10-12 19:38 ` [bug#37717] [PATCH 3/3] gnu: Add kmonad Alex Griffin
2019-10-12 22:32 ` Alex Griffin
2019-10-18 18:37 ` Marius Bakke
2019-10-18 18:47 ` [bug#37717] [PATCH 0/3] " Marius Bakke
2019-10-26 2:43 ` Alex Griffin
2019-10-28 23:11 ` Marius Bakke
2019-10-30 3:56 ` bug#37717: " Alex Griffin
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=87tv85ykth.fsf@devup.no \
--to=mbakke@fastmail.com \
--cc=37717@debbugs.gnu.org \
--cc=a@ajgrf.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).