Received: from mail.netbsd.org (mail.netbsd.org [199.233.217.200]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) (Client CN "mail.NetBSD.org", Issuer "mail.NetBSD.org CA" (not verified)) by mollari.NetBSD.org (Postfix) with ESMTPS id 578E91A9239 for ; Wed, 16 Feb 2022 05:06:32 +0000 (UTC) Received: by mail.netbsd.org (Postfix, from userid 605) id 6E02F84D59; Wed, 16 Feb 2022 05:06:31 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id A4EBB84D59 for ; Wed, 16 Feb 2022 05:06:30 +0000 (UTC) X-Virus-Scanned: amavisd-new at netbsd.org Received: from mail.netbsd.org ([127.0.0.1]) by localhost (mail.netbsd.org [127.0.0.1]) (amavisd-new, port 10025) with ESMTP id T2DZlQlyhxjr for ; Wed, 16 Feb 2022 05:06:29 +0000 (UTC) Received: from cvs.NetBSD.org (ivanova.netbsd.org [199.233.217.197]) by mail.netbsd.org (Postfix) with ESMTP id BC75D84D2F for ; Wed, 16 Feb 2022 05:06:29 +0000 (UTC) Received: by cvs.NetBSD.org (Postfix, from userid 500) id B618BFB24; Wed, 16 Feb 2022 05:06:29 +0000 (UTC) Content-Transfer-Encoding: 7bit Content-Type: multipart/mixed; boundary="_----------=_164498798939490" MIME-Version: 1.0 Date: Wed, 16 Feb 2022 05:06:29 +0000 From: "Masatake Daimon" Subject: CVS commit: pkgsrc/devel/hs-dependent-sum To: pkgsrc-changes@NetBSD.org Reply-To: pho@netbsd.org X-Mailer: log_accum Message-Id: <20220216050629.B618BFB24@cvs.NetBSD.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: Precedence: bulk List-Unsubscribe: This is a multi-part message in MIME format. --_----------=_164498798939490 Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" Module Name: pkgsrc Committed By: pho Date: Wed Feb 16 05:06:29 UTC 2022 Added Files: pkgsrc/devel/hs-dependent-sum: DESCR Makefile PLIST buildlink3.mk distinfo pkgsrc/devel/hs-dependent-sum/patches: patch-dependent-sum.cabal Log Message: devel/hs-dependent-sum: import hs-dependent-sum-0.7.1.0 A dependent sum is a generalization of a particular way of thinking about the Either type. Either a b can be thought of as a 2-tuple (tag, value), where the value of the tag determines the type of the value. In particular, either tag = Left and value :: a or tag = Right and value :: b. This package allows you to define your own dependent sum types by using your own "tag" types. To generate a diff of this commit: cvs rdiff -u -r0 -r1.1 pkgsrc/devel/hs-dependent-sum/DESCR \ pkgsrc/devel/hs-dependent-sum/Makefile \ pkgsrc/devel/hs-dependent-sum/PLIST \ pkgsrc/devel/hs-dependent-sum/buildlink3.mk \ pkgsrc/devel/hs-dependent-sum/distinfo cvs rdiff -u -r0 -r1.1 \ pkgsrc/devel/hs-dependent-sum/patches/patch-dependent-sum.cabal Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files. --_----------=_164498798939490 Content-Disposition: inline Content-Length: 4950 Content-Transfer-Encoding: binary Content-Type: text/x-diff; charset=us-ascii Added files: Index: pkgsrc/devel/hs-dependent-sum/DESCR diff -u /dev/null pkgsrc/devel/hs-dependent-sum/DESCR:1.1 --- /dev/null Wed Feb 16 05:06:29 2022 +++ pkgsrc/devel/hs-dependent-sum/DESCR Wed Feb 16 05:06:29 2022 @@ -0,0 +1,7 @@ +A dependent sum is a generalization of a particular way of thinking about +the Either type. Either a b can be thought of as a 2-tuple (tag, value), +where the value of the tag determines the type of the value. In particular, +either tag = Left and value :: a or tag = Right and value :: b. + +This package allows you to define your own dependent sum types by using +your own "tag" types. Index: pkgsrc/devel/hs-dependent-sum/Makefile diff -u /dev/null pkgsrc/devel/hs-dependent-sum/Makefile:1.1 --- /dev/null Wed Feb 16 05:06:29 2022 +++ pkgsrc/devel/hs-dependent-sum/Makefile Wed Feb 16 05:06:29 2022 @@ -0,0 +1,13 @@ +# $NetBSD: Makefile,v 1.1 2022/02/16 05:06:29 pho Exp $ + +DISTNAME= dependent-sum-0.7.1.0 +CATEGORIES= devel + +MAINTAINER= pkgsrc-users@NetBSD.org +COMMENT= Dependent sum type +LICENSE= public-domain + +.include "../../devel/hs-constraints-extras/buildlink3.mk" +.include "../../devel/hs-some/buildlink3.mk" +.include "../../mk/haskell.mk" +.include "../../mk/bsd.pkg.mk" Index: pkgsrc/devel/hs-dependent-sum/PLIST diff -u /dev/null pkgsrc/devel/hs-dependent-sum/PLIST:1.1 --- /dev/null Wed Feb 16 05:06:29 2022 +++ pkgsrc/devel/hs-dependent-sum/PLIST Wed Feb 16 05:06:29 2022 @@ -0,0 +1,18 @@ +@comment $NetBSD: PLIST,v 1.1 2022/02/16 05:06:29 pho Exp $ +lib/dependent-sum-${PKGVERSION}/${HS_VERSION}/package-description +lib/dependent-sum-${PKGVERSION}/${HS_VERSION}/package-id +lib/${HS_PLATFORM}/${HS_PKGID}/Data/Dependent/Sum.dyn_hi +lib/${HS_PLATFORM}/${HS_PKGID}/Data/Dependent/Sum.hi +lib/${HS_PLATFORM}/${HS_PKGID}/Data/Dependent/Sum.p_hi +lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}.a +lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}_p.a +lib/${HS_PLATFORM}/libHS${HS_PKGID}-${HS_VER}.so +share/doc/${HS_PLATFORM}/dependent-sum-${PKGVERSION}/html/Data-Dependent-Sum.html +share/doc/${HS_PLATFORM}/dependent-sum-${PKGVERSION}/html/dependent-sum.haddock +share/doc/${HS_PLATFORM}/dependent-sum-${PKGVERSION}/html/doc-index.html +share/doc/${HS_PLATFORM}/dependent-sum-${PKGVERSION}/html/haddock-bundle.min.js +share/doc/${HS_PLATFORM}/dependent-sum-${PKGVERSION}/html/index.html +share/doc/${HS_PLATFORM}/dependent-sum-${PKGVERSION}/html/linuwial.css +share/doc/${HS_PLATFORM}/dependent-sum-${PKGVERSION}/html/meta.json +share/doc/${HS_PLATFORM}/dependent-sum-${PKGVERSION}/html/quick-jump.css +share/doc/${HS_PLATFORM}/dependent-sum-${PKGVERSION}/html/synopsis.png Index: pkgsrc/devel/hs-dependent-sum/buildlink3.mk diff -u /dev/null pkgsrc/devel/hs-dependent-sum/buildlink3.mk:1.1 --- /dev/null Wed Feb 16 05:06:29 2022 +++ pkgsrc/devel/hs-dependent-sum/buildlink3.mk Wed Feb 16 05:06:29 2022 @@ -0,0 +1,16 @@ +# $NetBSD: buildlink3.mk,v 1.1 2022/02/16 05:06:29 pho Exp $ + +BUILDLINK_TREE+= hs-dependent-sum + +.if !defined(HS_DEPENDENT_SUM_BUILDLINK3_MK) +HS_DEPENDENT_SUM_BUILDLINK3_MK:= + +BUILDLINK_API_DEPENDS.hs-dependent-sum+= hs-dependent-sum>=0.7.1 +BUILDLINK_ABI_DEPENDS.hs-dependent-sum+= hs-dependent-sum>=0.7.1.0 +BUILDLINK_PKGSRCDIR.hs-dependent-sum?= ../../devel/hs-dependent-sum + +.include "../../devel/hs-constraints-extras/buildlink3.mk" +.include "../../devel/hs-some/buildlink3.mk" +.endif # HS_DEPENDENT_SUM_BUILDLINK3_MK + +BUILDLINK_TREE+= -hs-dependent-sum Index: pkgsrc/devel/hs-dependent-sum/distinfo diff -u /dev/null pkgsrc/devel/hs-dependent-sum/distinfo:1.1 --- /dev/null Wed Feb 16 05:06:29 2022 +++ pkgsrc/devel/hs-dependent-sum/distinfo Wed Feb 16 05:06:29 2022 @@ -0,0 +1,6 @@ +$NetBSD: distinfo,v 1.1 2022/02/16 05:06:29 pho Exp $ + +BLAKE2s (dependent-sum-0.7.1.0.tar.gz) = 910d61cff0cb82bcbdd348138e7d4d4a92b5f73acbddca54bae122b386bf9e61 +SHA512 (dependent-sum-0.7.1.0.tar.gz) = 5143ad4399e831c25784b7ab66a0487dff1af50fe631b50844467b71e1d8ed13b74262eb04cf268498000e6583be2bbd7284375663d04621dda6eed43e9f8721 +Size (dependent-sum-0.7.1.0.tar.gz) = 4517 bytes +SHA1 (patch-dependent-sum.cabal) = d467dbe50ab066390fbff3df027edf2ea2a63d9f Index: pkgsrc/devel/hs-dependent-sum/patches/patch-dependent-sum.cabal diff -u /dev/null pkgsrc/devel/hs-dependent-sum/patches/patch-dependent-sum.cabal:1.1 --- /dev/null Wed Feb 16 05:06:29 2022 +++ pkgsrc/devel/hs-dependent-sum/patches/patch-dependent-sum.cabal Wed Feb 16 05:06:29 2022 @@ -0,0 +1,15 @@ +$NetBSD: patch-dependent-sum.cabal,v 1.1 2022/02/16 05:06:29 pho Exp $ + +Fix build with some-1.0.2 + +--- dependent-sum.cabal.orig 2001-09-09 01:46:40.000000000 +0000 ++++ dependent-sum.cabal +@@ -49,7 +49,7 @@ Library + , constraints-extras >= 0.2 && < 0.4 + + -- tight bounds, so re-exported API is versioned properly. +- build-depends: some == 1.0.1.* ++ build-depends: some >= 1.0.1 + + if impl(ghc >= 7.2) + ghc-options: -trust base --_----------=_164498798939490--