From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id wDPoGQNrVmWrvAAAG6o9tA:P1 (envelope-from ) for ; Thu, 16 Nov 2023 20:18:27 +0100 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id wDPoGQNrVmWrvAAAG6o9tA (envelope-from ) for ; Thu, 16 Nov 2023 20:18:27 +0100 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 2E8D114846 for ; Thu, 16 Nov 2023 20:18:27 +0100 (CET) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=philipmcgrath.com header.s=fm1 header.b=Dwcu19gb; dkim=fail ("headers rsa verify failed") header.d=messagingengine.com header.s=fm1 header.b="o w6vdEt"; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" ARC-Seal: i=1; s=key1; d=yhetil.org; t=1700162307; a=rsa-sha256; cv=none; b=WOejXxfeeyaUkPZobrRjacOrsfFAHf/w2XdQjqkzkZkEmg1auaLuXuV+gpNP6Z4xnG0+E1 sqRzGQKWh8DNnyXDwx/FylpQhYgjuzF5zwXkhQmES7tZ29XQuzNX7KABQYJejlJ3NlPRkk w83UWpTc8iuKaG/it164ddO4DrZ8ZEuG12Pe9JV0jG6xXev6s6jEBmfd7mDynoRscz5KkY jMEA0rDAZad4v7m9FXfmgKxZd5R9Huwyw612f0Lj/cl2+gUwxEwPpfJwHLmyq2yNtURZqi TQ7vb9QEuzhShHykjHnqSEXp4ViyId/WMDIldg+Eq2HE4PJnsYu3EzsFlLjJ9g== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1700162307; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=uBPGilGjd9Aw7cXVuG4eXD+LGRM9MnxL+qpQY+GT7EU=; b=j5V7m0d7qkBCpFdm4cgmsI9eYRmgF5tSpPm6bCqEcushotROHX8hsZ6ldyyQ88PaSu0bYZ varESmjTJFiV+Z9UJ2g884i2bcWJ95NdzKS2/3VzjBxr0q9vKcPdm0tunQy601njACw7gM 1LbCtMfRcfI/7Q507L/W28GG5oxwLAJEPhkaT6L+07G/wx0UNF6OCC7Uvjlt49Th05Rb/m DWyB74nxPlsX7ZRQWzxs4TG9OvqSbKqh/AicyTVV0GRdqYbi5uF2wska4ZwiGhiGuixawc A4vXe0yIz1kwvN7vaAIukxIcAGnMR/2X2pTv5fdUoAIVnCvKTabfYk3ou09uNA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=philipmcgrath.com header.s=fm1 header.b=Dwcu19gb; dkim=fail ("headers rsa verify failed") header.d=messagingengine.com header.s=fm1 header.b="o w6vdEt"; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r3hsK-0004Ld-4e; Thu, 16 Nov 2023 14:18:04 -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 1r3hsI-0004L8-J4 for guix-patches@gnu.org; Thu, 16 Nov 2023 14:18:02 -0500 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1r3hsI-0004Vs-AS for guix-patches@gnu.org; Thu, 16 Nov 2023 14:18:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1r3hsI-0003oP-1P; Thu, 16 Nov 2023 14:18:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#67019] [PATCH v2 06/16] gnu: Add ocaml-ppx-gen-rec. Resent-From: Philip McGrath Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Thu, 16 Nov 2023 19:18:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 67019 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 67019@debbugs.gnu.org Cc: Philip McGrath , Liliana Marie Prikler , Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 67019-submit@debbugs.gnu.org id=B67019.170016222814519 (code B ref 67019); Thu, 16 Nov 2023 19:18:02 +0000 Received: (at 67019) by debbugs.gnu.org; 16 Nov 2023 19:17:08 +0000 Received: from localhost ([127.0.0.1]:44585 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r3hrP-0003m6-S2 for submit@debbugs.gnu.org; Thu, 16 Nov 2023 14:17:08 -0500 Received: from out4-smtp.messagingengine.com ([66.111.4.28]:38383) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r3hr2-0003iQ-Tk for 67019@debbugs.gnu.org; Thu, 16 Nov 2023 14:16:45 -0500 Received: from compute1.internal (compute1.nyi.internal [10.202.2.41]) by mailout.nyi.internal (Postfix) with ESMTP id 00F7B5C00D1; Thu, 16 Nov 2023 14:16:40 -0500 (EST) Received: from mailfrontend1 ([10.202.2.162]) by compute1.internal (MEProxy); Thu, 16 Nov 2023 14:16:39 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= philipmcgrath.com; h=cc:cc:content-transfer-encoding :content-type:date:date:from:from:in-reply-to:in-reply-to :message-id:mime-version:references:reply-to:sender:subject :subject:to:to; s=fm1; t=1700162199; x=1700248599; bh=uBPGilGjd9 Aw7cXVuG4eXD+LGRM9MnxL+qpQY+GT7EU=; b=Dwcu19gb0mQSzaFDyMCfy1smw0 AC9PHJuiK+TPpmLeadtu65V2Obd60dVyY3mfxcKSLmmZcHc8ZvBOIlfpik2EHIPA HngAYgztt34BFj0ju/dag772NG2mMprXDkM0WyaAvnF0mbh+TWKmgZPaFCCq8Dvc 4kpInicgacRoHsr9Re4FBBmzchf05OoKhHLWrtnwG0YiiHLyMujPgu9hLg6xeK2o oUj0a5Sr5UcnuMVKAKS25+K/6+8nugN+zOAQ22olLVLiJF9jpEuoPFP5lar011Ha YZ813kCzdh5GfEWXt+27uoEWvZRBfct7X4kJGEWcOqIHrCsVOWea6CDWKJEw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:cc:content-transfer-encoding :content-type:date:date:feedback-id:feedback-id:from:from :in-reply-to:in-reply-to:message-id:mime-version:references :reply-to:sender:subject:subject:to:to:x-me-proxy:x-me-proxy :x-me-sender:x-me-sender:x-sasl-enc; s=fm1; t=1700162199; x= 1700248599; bh=uBPGilGjd9Aw7cXVuG4eXD+LGRM9MnxL+qpQY+GT7EU=; b=o w6vdEt8iazzHLTb66UbRI080Wn1xapcJNVeJGG57spZhmlyZe1LR7SB64wTgeVVf xyJlQ/W+pF6uskS2zayyaQulnPe0AwmG3/LtfwOfaU/3sfOStlpnMQw/7vQHVuhV qhs8InHtGKtKkqhQV7luJBepzetzqQRboQRJPUB3dIHcsCZ3q4ZHHiyDeO/LxTau VE471JfGyKeBSOs+kAV6woOqOc9+/NlkIn0w7WBBQ+Z4bUsQzriyfkzVNV8qSkGA AQscRp52IvF4MxX7iLr/zVRBYMPb8jQVzS7epsFVY80r5rLj8et/tLfiig5lGT6D vJ0QqyxQkjTLqszNqqnTg== X-ME-Sender: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvkedrudefkedguddvtdcutefuodetggdotefrod ftvfcurfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfgh necuuegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmd enucfjughrpefhvfevufffkffojghfggfgsedtkeertdertddtnecuhfhrohhmpefrhhhi lhhiphcuofgtifhrrghthhcuoehphhhilhhiphesphhhihhlihhpmhgtghhrrghthhdrtg homheqnecuggftrfgrthhtvghrnhepudehvdefjeetfffffeektdehtdetudfhtdfhuddt ueeukefhveehhfehvdfhheffnecuffhomhgrihhnpehgihhthhhusgdrtghomhenucevlh hushhtvghrufhiiigvpedtnecurfgrrhgrmhepmhgrihhlfhhrohhmpehphhhilhhiphes phhhihhlihhpmhgtghhrrghthhdrtghomh X-ME-Proxy: Feedback-ID: i2b1146f3:Fastmail Received: by mail.messagingengine.com (Postfix) with ESMTPA; Thu, 16 Nov 2023 14:16:39 -0500 (EST) From: Philip McGrath Date: Thu, 16 Nov 2023 14:15:44 -0500 Message-ID: X-Mailer: git-send-email 2.41.0 In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit 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+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Scanner: mx11.migadu.com X-Spam-Score: 0.81 X-Migadu-Queue-Id: 2E8D114846 X-Migadu-Spam-Score: 0.81 X-TUID: RV7Y3M5Scuf2 * gnu/packages/ocaml.scm (ocaml-ppx-gen-rec): New variable. --- gnu/packages/ocaml.scm | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index f9a3932d18..b12c12fad5 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6722,6 +6722,34 @@ (define-public ocaml-ppx-deriving on type definitions, and a set of useful plugins for common tasks.") (license license:expat))) +(define-public ocaml-ppx-gen-rec + (package + (name "ocaml-ppx-gen-rec") + (version "2.0.0") + (source (origin + (method url-fetch) + (uri + (string-append "https://github.com/flow/ocaml-ppx_gen_rec/" + "releases/download/v" + version + "/ppx_gen_rec-v" version ".tbz")) + (sha256 + (base32 + "0ncy7ps0w3cnb3nk6y1j4v4g60rs500qwv1daw3a9n7n8kjj6qzy")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-ppxlib)) + (native-inputs (list ocaml-ppx-deriving)) + (properties `((upstream-name . "ppx_gen_rec"))) + (home-page "https://github.com/flow/ocaml-ppx_gen_rec") + (synopsis "Ppx rewriter for recursive module expressions") + (description + "This package provides a ppx rewriter that transforms a recursive module +expression into a struct. In a recursive module expression, the struct can be +derived from the signature automatically by the compiler. This package does +the same thing, but doing it this way allows @code{ppx_deriving} to transform +the signature and the struct separately.") + (license license:expat))) + (define-public ocaml-ppx-derivers (package (name "ocaml-ppx-derivers") -- 2.41.0