From patchwork Fri Apr 9 23:21:50 2021 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Sharlatan Hellseher X-Patchwork-Id: 28438 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 812C827BC6F; Sat, 10 Apr 2021 00:23:10 +0100 (BST) X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=BAYES_00,DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H4, RCVD_IN_MSPIKE_WL,SPF_HELO_PASS,T_DKIM_INVALID,URIBL_BLOCKED,URIBL_SBL, URIBL_SBL_A autolearn=unavailable autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id A804627BC6E for ; Sat, 10 Apr 2021 00:23:09 +0100 (BST) Received: from localhost ([::1]:58432 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lV0Sy-0006hE-QK for patchwork@mira.cbaines.net; Fri, 09 Apr 2021 19:23:08 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:35128) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lV0St-0006gv-20 for guix-patches@gnu.org; Fri, 09 Apr 2021 19:23:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:39602) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lV0Ss-0004NI-ND for guix-patches@gnu.org; Fri, 09 Apr 2021 19:23:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lV0Ss-0000SZ-Jz for guix-patches@gnu.org; Fri, 09 Apr 2021 19:23:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#47683] [PATCH]: gnu: Add cl-abstract-classess, coalton Resent-From: Sharlatan Hellseher Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 09 Apr 2021 23:23:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 47683 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 47683@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.16180105261677 (code B ref -1); Fri, 09 Apr 2021 23:23:02 +0000 Received: (at submit) by debbugs.gnu.org; 9 Apr 2021 23:22:06 +0000 Received: from localhost ([127.0.0.1]:51148 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lV0Rx-0000Qz-VV for submit@debbugs.gnu.org; Fri, 09 Apr 2021 19:22:06 -0400 Received: from lists.gnu.org ([209.51.188.17]:60032) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lV0Rw-0000Qr-LL for submit@debbugs.gnu.org; Fri, 09 Apr 2021 19:22:05 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:35040) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lV0Rw-0006dK-Fy for guix-patches@gnu.org; Fri, 09 Apr 2021 19:22:04 -0400 Received: from mail-wm1-x329.google.com ([2a00:1450:4864:20::329]:45032) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lV0Ru-0003lR-HZ for guix-patches@gnu.org; Fri, 09 Apr 2021 19:22:04 -0400 Received: by mail-wm1-x329.google.com with SMTP id j4-20020a05600c4104b029010c62bc1e20so3745226wmi.3 for ; Fri, 09 Apr 2021 16:22:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=78vpSd0ZYfmyUIDeJkxG9GKEVWm2gUnaPEgJd/Vxc5A=; b=LK+Pgu5frsmozq5Su0ADp4VvXZx+pZaVWetsHcD/TKvqkQAsWlZcn2jl64e+IfZfbH 8i1nHchKgMgy5FhR9vrjUi6yM/uNqZDmNslCTltlXsWqqs3sMbtyxvpAE8c18MxJSuAT pNOZir3yM1CFA0u+pEVIepRvI0Did5sxgw5eZI3P6mC1zm8dGIIrU0fK+p1YfVn534ZQ dUgaxoQLYOBR5o6/BEc4QUA6M3cmmQ0dQ6MuUZgPnEdlkazJzCRZCTctAE3o0mH/vlql PrTBWCmVvn2eglKFekugKqzWm358Sn9w4i+tnpl1kiCMi1ArXmaOeACXoGpVXEj/JyyL j0XQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=78vpSd0ZYfmyUIDeJkxG9GKEVWm2gUnaPEgJd/Vxc5A=; b=N1zqhj10FtoPITpK7OGk8N3WuVxMc4H/RXCwdzJsoE+rJ/TMEoNFSuk5U23YJBDTjZ pWHv9NG5Dre7Qv3QZl4ObFDnUKf3weOSgs9Evdup/s/3ja5FZuzSuwK5oN1KWOKcgeam bR59OGvS4zo/5hHENlkoEBXEPP1B8SOLaFY272hCSbAs5RdB8ISgGMIJ5wbOXV3l74hQ vHiolb3H06z5ncacFJRmzCadB3GeDduPxcntw0U5FoDbWdndLdL8gVEi/DgaxeB6+R+E SfXQ7o6fG3G3HJZcaFMuBcc/zgAQeJ+6YkQzgVUnLBYhvyeiLmNUU/o3p6mjJyHe7qis CaNQ== X-Gm-Message-State: AOAM5300l9Ja+Ef21/IW/xZcniuVZknMu9UiJTCecxx601GIEcH56Txw sV6Zgim3MnxtWP9hdzP+4KPNrEeAAO5iaPDxJkBvZesJDiY= X-Google-Smtp-Source: ABdhPJxVvIaukGqNRCfyEbLWd9sRn2j1tVwgvXoqWzynKU+BEJDOp80ifLhaF7I1/ImYTLU9f3+Qa6li/QpRKl2a+Jw= X-Received: by 2002:a7b:cd98:: with SMTP id y24mr4219246wmj.52.1618010520740; Fri, 09 Apr 2021 16:22:00 -0700 (PDT) MIME-Version: 1.0 From: Sharlatan Hellseher Date: Fri, 9 Apr 2021 23:21:50 +0000 Message-ID: Received-SPF: pass client-ip=2a00:1450:4864:20::329; envelope-from=sharlatanus@gmail.com; helo=mail-wm1-x329.google.com X-Spam_score_int: -19 X-Spam_score: -2.0 X-Spam_bar: -- X-Spam_report: (-2.0 / 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, URIBL_SBL_A=0.1 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-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" X-getmail-retrieved-from-mailbox: Patches Hi Guix team! Here are interesting packages for Common Lisp providing static typing (?!) but cl-abstract-classes is only available through Software heritage. --- … наш разум - превосходная объяснительная машина которая способна найти смысл почти в чем угодно, истолковать любой феномен, но совершенно не в состоянии принять мысль о непредсказуемости. From 65ece0b4c88568dcbad9be885b12dca262eba8b9 Mon Sep 17 00:00:00 2001 From: Sharlatan Hellseher Date: Sat, 10 Apr 2021 00:12:14 +0100 Subject: [PATCH] gnu: Add coalton * gnu/packages/lisp-xyz.scm: (sbcl-coalton, cl-coalton, ecl-coalton): New variables. --- gnu/packages/lisp-xyz.scm | 38 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) diff --git a/gnu/packages/lisp-xyz.scm b/gnu/packages/lisp-xyz.scm index a6da75675e..20b0016798 100644 --- a/gnu/packages/lisp-xyz.scm +++ b/gnu/packages/lisp-xyz.scm @@ -15751,3 +15751,41 @@ abstract and final and singleton classes.") (define-public cl-abstract-classes (sbcl-package->cl-source-package sbcl-abstract-classes)) + +(define-public sbcl-coalton + (let ((commit "4a42ffb4222fde3abfd1b50d96e455ff2eef9fe8") + (revision "1")) + (package + (name "sbcl-coalton") + (version (git-version "0.0.0" revision commit)) + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/stylewarning/coalton") + (commit commit))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0aidwwam7cnhb3p9212zbv5w2dl6kr5iklzanypzr1a9lqaxwdlk")))) + (build-system asdf-build-system/sbcl) + (native-inputs + `(("fiasco" ,sbcl-fiasco))) + (inputs + `(("alexandria" ,sbcl-alexandria) + ("global-vars" ,sbcl-global-vars) + ("trivial-garbage" ,sbcl-trivial-garbage) + ("optima" ,sbcl-optima) + ("abstract-classes" ,sbcl-abstract-classes))) + (home-page "https://github.com/stylewarning/coalton") + (synopsis "Dialect of ML in Common Lisp") + (description + "Coalton is a dialect of ML embedded in Common Lisp. It emphasizes +practicality and interoperability with Lisp, and is intended to be a DSL that +allows one to gradually make their programs safer.") + (license license:expat)))) + +(define-public ecl-coalton + (sbcl-package->ecl-package sbcl-coalton)) + +(define-public cl-coalton + (sbcl-package->cl-source-package sbcl-coalton)) -- 2.30.2