head	1.2;
access;
symbols
	pkgsrc-2022Q4:1.1.0.8
	pkgsrc-2022Q4-base:1.1
	pkgsrc-2022Q3:1.1.0.6
	pkgsrc-2022Q3-base:1.1
	pkgsrc-2022Q2:1.1.0.4
	pkgsrc-2022Q2-base:1.1
	pkgsrc-2022Q1:1.1.0.2
	pkgsrc-2022Q1-base:1.1;
locks; strict;
comment	@# @;


1.2
date	2023.01.26.16.03.39;	author pho;	state dead;
branches;
next	1.1;
commitid	1XUePrHO0sndi4bE;

1.1
date	2022.02.16.05.06.29;	author pho;	state Exp;
branches;
next	;
commitid	etYjRgjZju9kINsD;


desc
@@


1.2
log
@devel/hs-dependent-sum: Update to 0.7.2.0

0.7.2.0 - 2022-12-22
* Update to some-1.0.4.*

0.7.1.1 - 2022-12-12
* Support constraints-extras 0.4
@
text
@$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
@


1.1
log
@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.
@
text
@d1 1
a1 1
$NetBSD$
@