dev-haskell/type-equality
Type equality, coercion/cast and other operations
Screenshots
View
Download
BrowseChangeLog
commit c1d1ab135e7d4c3de68869388ff96abf77f868e5
Author: hololeap <hololeap@protonmail.com>
Date: Tue Mar 5 19:25:37 2024 -0700
*/*: Switch to EAPI 8
Signed-off-by: hololeap <hololeap@protonmail.com>
commit db98782e890b3cebf75a19b2da3a1bdcbee17fa4
Author: hololeap <hololeap@users.noreply.github.com>
Date: Fri May 12 06:28:08 2023 -0600
*/*: Remove [profile?] from ghc RDEPEND
This reverts commit b2f01bbf1333c88785109bebf75d49a3bd623727.
Adding [profile?] universally causes issues with exe-only packages with
no profile USE flag. This is better handled in the eclass.
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit a2f524e74d7e5e5000c1d057a74dcd7f4af7b43c
Author: hololeap <hololeap@users.noreply.github.com>
Date: Sat May 6 17:04:20 2023 -0600
*/*: Remove ~x86 (and related) from KEYWORDS
x86 is mostly untested, and even building a subset of ::haskell
revealed failing tests which pass on amd64.
With the new behavior of hackport to only add ARCH to KEYWORDS, there
will be CI failures if a package has ~x86 removed but not from its
revdep tree as well. The only sensible mitigation is to remove ~x86
tree-wide until we have a dedicated tester willing to fix current bugs.
See: https://github.com/snoyberg/mono-traversable/issues/210
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit b2f01bbf1333c88785109bebf75d49a3bd623727
Author: hololeap <hololeap@users.noreply.github.com>
Date: Fri May 5 15:53:40 2023 -0600
*/*: Add [profile?] to ghc RDEPEND
Any package that depends on 'base' will require the 'base' profiling
libs when profiling is enabled. Because virtually every package depends
on 'base', it makes sense to add [profile?] universally to
'dev-lang/ghc' in RDEPEND.
Reported-by: Filip Kszczot <filip@kszczot.pl>
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit 9672ee12c9c489f9e5bfdee329a4e6aed692fe4d
Author: Sam James <sam@gentoo.org>
Date: Sat Jul 30 06:55:18 2022 +0100
*/*: fix https->https in metadatd dtd
Newer hackport fixes this (in git, not tagged yet).
Signed-off-by: Sam James <sam@gentoo.org>
commit 7ffbc486f7ab713677cb9e8579bd7cf61c27089e
Author: Mark Wright <gienah@gentoo.org>
Date: Wed Apr 15 21:03:07 2020 +1000
dev-haskell/type-equality: Loosen base dep
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Mark Wright <gienah@gentoo.org>
commit fa8d269b8b4f66523703014a776d5d7ff2d8db51
Author: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
Date: Thu Dec 26 17:42:59 2019 -0500
dev-haskell/type-equality: drop old
Signed-off-by: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
commit 3d16013c65cc8986c7537d76ed3a2855e978d057
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Nov 23 15:39:53 2019 +0000
*/*: Inline mirror://hackage and update URIs
Follow ::gentoo commit 2a2e66a9407205f18
("*/*: Inline mirror://hackage and update URIs ")
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit dbc94991a47c3db28a29afcd3fd5fbdeae88b263
Author: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
Date: Tue Oct 15 17:03:36 2019 -0230
dev-haskell/type-equality: bump up to 1
ghc 8.6.5
Package-Manager: Portage-2.3.76, Repoman-2.3.17
Signed-off-by: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
commit 2a94f64d40e69b69ddfa1b5da7906d17009e5e6f
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Nov 24 09:25:20 2017 +0000
refresh Manifests
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 1a6ba469382ab24f8b77b4ff3b043b6e2ed68306
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Feb 28 21:38:05 2017 +0000
follow ::gentoo in removing '# $Id$' headers
Done as
$ sed -i */*/*.ebuild -e '/^# \$Id\$$/d'
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit aa19eeb10bc2eb3e09f93fa8a102c322742943e4
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Tue Jan 26 14:19:48 2016 -0500
Update metadata.xml for GLEP 67
commit 77bfc71d66aebed5c267cfc8980b563d5b01c3b7
Author: Sergei Trofimovich <siarheit@google.com>
Date: Mon Sep 21 09:29:14 2015 +0100
follow jlec@'s HOMEPAGE fix s/http:/https:/ form ::gentoo
The hack I did it is:
https://github.com/trofi/gentoo-qa/blob/master/check_homepage_https.sh
Will also need similar change in hackport.
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commit 4a585b54eb5f4c66e9b867f0bf95b390cbc62c60
Author: Heather <Heather@live.ru>
Date: Wed Aug 12 15:47:28 2015 +0400
fix headers and copyright lines
commit b9c11d9d44644f6a277de1f7af562de56e786675
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Aug 9 10:37:52 2015 +0100
convert '# $Header: ' lines to '# $Id$'
The change was adopted when ::gentoo switched to git.
https://github.com/trofi/gentoo-qa/blob/master/check_header.sh
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commit 7caba65cd543fbfef1c994cc43a84a5dec653ce7
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Thu Jul 24 18:07:32 2014 +0300
metadata.xml: from <maintainer> field in favour of <herd> one
Mangled by tiny tool:
https://github.com/trofi/gentoo-qa/blob/master/shrink_haskell_metadata.hs
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit e10b3ad26e94baf527bce2750ff1e5e1e11ca255
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Thu Jul 24 16:51:36 2014 +0300
drop trailing '.' from DESCRIPTIONs overlay-wide
repoman depected them as:
DESCRIPTION.punctuation 1
net-misc/htsn/htsn-0.1.0.ebuild: DESCRIPTION ends with a '.' character
Fixed by the following tiny script:
https://github.com/trofi/gentoo-qa/blob/master/check_description.sh
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit a88b91d584b5a936b818f3c5977b8f5dcd9cd606
Author: Alexander Vershilov <alexander.vershilov@gmail.com>
Date: Sun May 12 19:58:29 2013 +0400
dev-haskell/type-equality: minor version bump 0.1.2
commit 811901b188c4c72fdee0c643e1c9cbe22bceead2
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Dec 15 13:32:48 2012 +0300
dev-haskell/type-equality: bump up to 0.1.1
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 7db4e1b65c2de61d0028528402e5f4d4f1112cf1
Author: Alexander Vershilov <alexander.vershilov@gmail.com>
Date: Fri Sep 7 17:44:46 2012 +0400
big mirror update
commit eeec21f6eca73fd0f6ee0a2a6c1457bbcb32a406
Author: nCdy <nCdy@live.com>
Date: Thu Sep 6 15:25:48 2012 +0400
Metadata updates
commit 88bbb0224ca4d45e00f0f64b16b0c8e79dab66f1
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Jun 15 03:11:07 2012 +0300
regenerated all Manifests to make use of 'thin' feature in one shot
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit ddfc3d1aa83b3634fb3be0d8024f3d6afe252445
Author: Mark Wright <markwright@internode.on.net>
Date: Thu Nov 17 23:17:59 2011 +1100
Add hoogle support
commit 9e18f55ebd4929f874c7f259c375debbccae2dbb
Author: Mark Wright <markwright@internode.on.net>
Date: Sat Aug 27 19:17:20 2011 +1000
Add type-equality, built with ghc 7.2.1, 7.0.4 and 6.12.3
Author: hololeap <hololeap@protonmail.com>
Date: Tue Mar 5 19:25:37 2024 -0700
*/*: Switch to EAPI 8
Signed-off-by: hololeap <hololeap@protonmail.com>
commit db98782e890b3cebf75a19b2da3a1bdcbee17fa4
Author: hololeap <hololeap@users.noreply.github.com>
Date: Fri May 12 06:28:08 2023 -0600
*/*: Remove [profile?] from ghc RDEPEND
This reverts commit b2f01bbf1333c88785109bebf75d49a3bd623727.
Adding [profile?] universally causes issues with exe-only packages with
no profile USE flag. This is better handled in the eclass.
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit a2f524e74d7e5e5000c1d057a74dcd7f4af7b43c
Author: hololeap <hololeap@users.noreply.github.com>
Date: Sat May 6 17:04:20 2023 -0600
*/*: Remove ~x86 (and related) from KEYWORDS
x86 is mostly untested, and even building a subset of ::haskell
revealed failing tests which pass on amd64.
With the new behavior of hackport to only add ARCH to KEYWORDS, there
will be CI failures if a package has ~x86 removed but not from its
revdep tree as well. The only sensible mitigation is to remove ~x86
tree-wide until we have a dedicated tester willing to fix current bugs.
See: https://github.com/snoyberg/mono-traversable/issues/210
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit b2f01bbf1333c88785109bebf75d49a3bd623727
Author: hololeap <hololeap@users.noreply.github.com>
Date: Fri May 5 15:53:40 2023 -0600
*/*: Add [profile?] to ghc RDEPEND
Any package that depends on 'base' will require the 'base' profiling
libs when profiling is enabled. Because virtually every package depends
on 'base', it makes sense to add [profile?] universally to
'dev-lang/ghc' in RDEPEND.
Reported-by: Filip Kszczot <filip@kszczot.pl>
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit 9672ee12c9c489f9e5bfdee329a4e6aed692fe4d
Author: Sam James <sam@gentoo.org>
Date: Sat Jul 30 06:55:18 2022 +0100
*/*: fix https->https in metadatd dtd
Newer hackport fixes this (in git, not tagged yet).
Signed-off-by: Sam James <sam@gentoo.org>
commit 7ffbc486f7ab713677cb9e8579bd7cf61c27089e
Author: Mark Wright <gienah@gentoo.org>
Date: Wed Apr 15 21:03:07 2020 +1000
dev-haskell/type-equality: Loosen base dep
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Mark Wright <gienah@gentoo.org>
commit fa8d269b8b4f66523703014a776d5d7ff2d8db51
Author: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
Date: Thu Dec 26 17:42:59 2019 -0500
dev-haskell/type-equality: drop old
Signed-off-by: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
commit 3d16013c65cc8986c7537d76ed3a2855e978d057
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Nov 23 15:39:53 2019 +0000
*/*: Inline mirror://hackage and update URIs
Follow ::gentoo commit 2a2e66a9407205f18
("*/*: Inline mirror://hackage and update URIs ")
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit dbc94991a47c3db28a29afcd3fd5fbdeae88b263
Author: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
Date: Tue Oct 15 17:03:36 2019 -0230
dev-haskell/type-equality: bump up to 1
ghc 8.6.5
Package-Manager: Portage-2.3.76, Repoman-2.3.17
Signed-off-by: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
commit 2a94f64d40e69b69ddfa1b5da7906d17009e5e6f
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Nov 24 09:25:20 2017 +0000
refresh Manifests
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 1a6ba469382ab24f8b77b4ff3b043b6e2ed68306
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Feb 28 21:38:05 2017 +0000
follow ::gentoo in removing '# $Id$' headers
Done as
$ sed -i */*/*.ebuild -e '/^# \$Id\$$/d'
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit aa19eeb10bc2eb3e09f93fa8a102c322742943e4
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Tue Jan 26 14:19:48 2016 -0500
Update metadata.xml for GLEP 67
commit 77bfc71d66aebed5c267cfc8980b563d5b01c3b7
Author: Sergei Trofimovich <siarheit@google.com>
Date: Mon Sep 21 09:29:14 2015 +0100
follow jlec@'s HOMEPAGE fix s/http:/https:/ form ::gentoo
The hack I did it is:
https://github.com/trofi/gentoo-qa/blob/master/check_homepage_https.sh
Will also need similar change in hackport.
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commit 4a585b54eb5f4c66e9b867f0bf95b390cbc62c60
Author: Heather <Heather@live.ru>
Date: Wed Aug 12 15:47:28 2015 +0400
fix headers and copyright lines
commit b9c11d9d44644f6a277de1f7af562de56e786675
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Aug 9 10:37:52 2015 +0100
convert '# $Header: ' lines to '# $Id$'
The change was adopted when ::gentoo switched to git.
https://github.com/trofi/gentoo-qa/blob/master/check_header.sh
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commit 7caba65cd543fbfef1c994cc43a84a5dec653ce7
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Thu Jul 24 18:07:32 2014 +0300
metadata.xml: from <maintainer> field in favour of <herd> one
Mangled by tiny tool:
https://github.com/trofi/gentoo-qa/blob/master/shrink_haskell_metadata.hs
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit e10b3ad26e94baf527bce2750ff1e5e1e11ca255
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Thu Jul 24 16:51:36 2014 +0300
drop trailing '.' from DESCRIPTIONs overlay-wide
repoman depected them as:
DESCRIPTION.punctuation 1
net-misc/htsn/htsn-0.1.0.ebuild: DESCRIPTION ends with a '.' character
Fixed by the following tiny script:
https://github.com/trofi/gentoo-qa/blob/master/check_description.sh
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit a88b91d584b5a936b818f3c5977b8f5dcd9cd606
Author: Alexander Vershilov <alexander.vershilov@gmail.com>
Date: Sun May 12 19:58:29 2013 +0400
dev-haskell/type-equality: minor version bump 0.1.2
commit 811901b188c4c72fdee0c643e1c9cbe22bceead2
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Dec 15 13:32:48 2012 +0300
dev-haskell/type-equality: bump up to 0.1.1
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 7db4e1b65c2de61d0028528402e5f4d4f1112cf1
Author: Alexander Vershilov <alexander.vershilov@gmail.com>
Date: Fri Sep 7 17:44:46 2012 +0400
big mirror update
commit eeec21f6eca73fd0f6ee0a2a6c1457bbcb32a406
Author: nCdy <nCdy@live.com>
Date: Thu Sep 6 15:25:48 2012 +0400
Metadata updates
commit 88bbb0224ca4d45e00f0f64b16b0c8e79dab66f1
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Jun 15 03:11:07 2012 +0300
regenerated all Manifests to make use of 'thin' feature in one shot
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit ddfc3d1aa83b3634fb3be0d8024f3d6afe252445
Author: Mark Wright <markwright@internode.on.net>
Date: Thu Nov 17 23:17:59 2011 +1100
Add hoogle support
commit 9e18f55ebd4929f874c7f259c375debbccae2dbb
Author: Mark Wright <markwright@internode.on.net>
Date: Sat Aug 27 19:17:20 2011 +1000
Add type-equality, built with ghc 7.2.1, 7.0.4 and 6.12.3