From patchwork Tue Feb 21 13:58:41 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: gemmaro X-Patchwork-Id: 1280 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id B1D4816B44; Tue, 21 Feb 2023 16:45:54 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-3.7 required=5.0 tests=BAYES_00,DKIM_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI, RCVD_IN_MSPIKE_H2,SPF_HELO_PASS autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id F1F0E16A96 for ; Tue, 21 Feb 2023 16:45:53 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pUVm1-00084x-Ed; Tue, 21 Feb 2023 11:45:49 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pUTAd-0006fr-B1 for guix-patches@gnu.org; Tue, 21 Feb 2023 08:59:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pUTAd-0004Yt-2S for guix-patches@gnu.org; Tue, 21 Feb 2023 08:59:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1pUTAc-00009X-GI for guix-patches@gnu.org; Tue, 21 Feb 2023 08:59:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#61678] [PATCH 0/2] gnu: Add smlsharp. Resent-From: gemmaro Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 21 Feb 2023 13:59:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 61678 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 61678@debbugs.gnu.org Cc: gemmaro X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.1676987937572 (code B ref -1); Tue, 21 Feb 2023 13:59:02 +0000 Received: (at submit) by debbugs.gnu.org; 21 Feb 2023 13:58:57 +0000 Received: from localhost ([127.0.0.1]:55080 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pUTAW-00009A-TL for submit@debbugs.gnu.org; Tue, 21 Feb 2023 08:58:57 -0500 Received: from lists.gnu.org ([209.51.188.17]:42500) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1pUTAV-000092-6K for submit@debbugs.gnu.org; Tue, 21 Feb 2023 08:58:56 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pUTAU-0006fR-Vp for guix-patches@gnu.org; Tue, 21 Feb 2023 08:58:54 -0500 Received: from mail-pf1-x42e.google.com ([2607:f8b0:4864:20::42e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pUTAT-0004XH-Dh for guix-patches@gnu.org; Tue, 21 Feb 2023 08:58:54 -0500 Received: by mail-pf1-x42e.google.com with SMTP id n5so2719585pfv.11 for ; Tue, 21 Feb 2023 05:58:52 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=/9SIHk+fK1CXoy8m1k+Z8M2QMJJq0xp4dPTmFJ6V6YU=; b=eyw5RJKZ7X7itWBt5ekKcTyw0bprefBAQvsvm9dnePxMNWCi4RZcGuAQWHLl42v0cB ZdvvHv2kVGLWIGsobsIV6ivk51Hyj+XbTRKv5smQYsk7Nm8m7itBAwyKM6pka5CQQLKU 5PQBZhU91TvuRswJELrCzsKMDnD15DjzwU+6D6N/ZjxQEYSaatoDQEMO2TqB/wwmJxLl kgVYAefGazJBc5s92uqKR1FpASqS7vJcZred9s0VMm/SycRC0etoi3Ccx9izhatayebL e3JFy9MTfVo6hat09Y//BtX1lE2AGKFRknK30H4WtKMCQpfIL++iY+xXjXUAnpPcy5dZ wwsQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=/9SIHk+fK1CXoy8m1k+Z8M2QMJJq0xp4dPTmFJ6V6YU=; b=EAV12OW0ZL+eiUrGXOrtU84wi2yg6ntK4fcXqP1lf33h6olh1q9RKfS+yTLIUKqV76 ZBPdnOoTWOFmC0PWrstL2MROduQR0hy2z/WXUKIuF4dnrLM751QD+nq/+1devm0rKsY2 Q7P4vdNKEqyN69zMaFY32lORy4eZenBvO5HZboItmVrPXaSRvjTcFYdyFXYTWYM65fjW cMS4iI1C9yq0rxkuIZOPmFuG2XDNQ+A2P8mDeqxKnewlSqzHMrgIggLFr2ghKu7Dmr/F 5LPX/cPJyQaLgO9WR+j3tu4uJVlXePPIYWD1uEP4WH9kkfM2P+cpBzx7HQycfMCUMpHn 6c+g== X-Gm-Message-State: AO0yUKX4cmc9sXTeivMMFqFGjIcNUvaqpPT/q5d/6O0IqFTue1+l21FH qhpRQkl4/wHRpXhq6XCDn56dB02JyFlaSw== X-Google-Smtp-Source: AK7set8qX/ba7gRy2RVQJAe91w4RBxWHbntHA5Oc84/QCby7tS4tK21BYi8jl0jgRu962NxfjlQ+8A== X-Received: by 2002:a62:7b42:0:b0:5a8:cc65:5766 with SMTP id w63-20020a627b42000000b005a8cc655766mr3851872pfc.6.1676987931285; Tue, 21 Feb 2023 05:58:51 -0800 (PST) Received: from mac.gemmaro.name ([240f:74:d1f0:1:ba1:e787:c9e:b1dc]) by smtp.gmail.com with ESMTPSA id i13-20020aa787cd000000b005abbfa874d9sm2703769pfo.88.2023.02.21.05.58.49 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 21 Feb 2023 05:58:50 -0800 (PST) From: gemmaro Date: Tue, 21 Feb 2023 22:58:41 +0900 Message-Id: X-Mailer: git-send-email 2.39.1 MIME-Version: 1.0 Received-SPF: pass client-ip=2607:f8b0:4864:20::42e; envelope-from=gemmaro.dev@gmail.com; helo=mail-pf1-x42e.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Mailman-Approved-At: Tue, 21 Feb 2023 11:45:35 -0500 X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches This series of patches adds SML#, an open source functional programming language compatible with with Standard ML. gemmaro (2): gnu: Add massivethreads. gnu: Add smlsharp. gnu/packages/parallel.scm | 26 +++++++++++++++++++++ gnu/packages/sml.scm | 48 +++++++++++++++++++++++++++++++++++++++ 2 files changed, 74 insertions(+) base-commit: 73b5c955ae46af2548625fe31afe60193fb83e2a