Gentoo Archives: gentoo-commits

From: Sergei Trofimovich <slyfox@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-haskell/inspection-testing/
Date: Sat, 29 Aug 2020 18:37:21
Message-Id: 1598726222.7565ebf9869d82b8df48028cef12eb16b96714f8.slyfox@gentoo
1 commit: 7565ebf9869d82b8df48028cef12eb16b96714f8
2 Author: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org>
3 AuthorDate: Sat Aug 29 18:34:14 2020 +0000
4 Commit: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org>
5 CommitDate: Sat Aug 29 18:37:02 2020 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7565ebf9
7
8 dev-haskell/inspection-testing: new package, a depend of esqueleto-3.3
9
10 Package-Manager: Portage-3.0.4, Repoman-3.0.1
11 Signed-off-by: Sergei Trofimovich <slyfox <AT> gentoo.org>
12
13 dev-haskell/inspection-testing/Manifest | 1 +
14 .../inspection-testing-0.4.2.4.ebuild | 34 ++++++++++++++++++++++
15 dev-haskell/inspection-testing/metadata.xml | 33 +++++++++++++++++++++
16 3 files changed, 68 insertions(+)
17
18 diff --git a/dev-haskell/inspection-testing/Manifest b/dev-haskell/inspection-testing/Manifest
19 new file mode 100644
20 index 00000000000..a3e6a9a7782
21 --- /dev/null
22 +++ b/dev-haskell/inspection-testing/Manifest
23 @@ -0,0 +1 @@
24 +DIST inspection-testing-0.4.2.4.tar.gz 20946 BLAKE2B 20547c5a231083391c886fcef8b3dc153fde8498d9268a297013691a055c65dc93deb31b5988a8cdf1e32d465344802153448850a89b819744551dc13712a1a2 SHA512 16ebfcd20e4ee3a9117670ad9e0d683002262a2f3c52dcfdb7c7123f256db4f133780e759a80469a14c786a4158ef9ba4e7d534e728e8d44188b11765a1e8745
25
26 diff --git a/dev-haskell/inspection-testing/inspection-testing-0.4.2.4.ebuild b/dev-haskell/inspection-testing/inspection-testing-0.4.2.4.ebuild
27 new file mode 100644
28 index 00000000000..88c02ec0b85
29 --- /dev/null
30 +++ b/dev-haskell/inspection-testing/inspection-testing-0.4.2.4.ebuild
31 @@ -0,0 +1,34 @@
32 +# Copyright 1999-2020 Gentoo Authors
33 +# Distributed under the terms of the GNU General Public License v2
34 +
35 +EAPI=7
36 +
37 +# ebuild generated by hackport 0.6.4.9999
38 +#hackport: flags: -more-tests
39 +
40 +CABAL_FEATURES="lib profile haddock hoogle hscolour" # Broken test-suite: compiler-dependent
41 +inherit haskell-cabal
42 +
43 +DESCRIPTION="GHC plugin to do inspection testing"
44 +HOMEPAGE="https://github.com/nomeata/inspection-testing"
45 +SRC_URI="https://hackage.haskell.org/package/${P}/${P}.tar.gz"
46 +
47 +LICENSE="MIT"
48 +SLOT="0/${PV}"
49 +KEYWORDS="~amd64 ~x86"
50 +IUSE=""
51 +
52 +RESTRICT=test # examples/Fusion.hs:22:1: sumUp1 === sumUp2 failed
53 +
54 +RDEPEND="dev-haskell/mtl:=[profile?]
55 + >=dev-lang/ghc-8.0.1:=
56 + >=dev-lang/ghc-8.0.2:=[profile?] <dev-lang/ghc-8.11:=[profile?]
57 +"
58 +DEPEND="${RDEPEND}
59 + >=dev-haskell/cabal-1.24.0.0
60 +"
61 +
62 +src_configure() {
63 + haskell-cabal_src_configure \
64 + --flag=-more-tests
65 +}
66
67 diff --git a/dev-haskell/inspection-testing/metadata.xml b/dev-haskell/inspection-testing/metadata.xml
68 new file mode 100644
69 index 00000000000..f4d3257dab7
70 --- /dev/null
71 +++ b/dev-haskell/inspection-testing/metadata.xml
72 @@ -0,0 +1,33 @@
73 +<?xml version="1.0" encoding="UTF-8"?>
74 +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
75 +<pkgmetadata>
76 + <maintainer type="project">
77 + <email>haskell@g.o</email>
78 + <name>Gentoo Haskell</name>
79 + </maintainer>
80 + <longdescription>
81 + Some carefully crafted libraries make promises to their
82 + users beyond functionality and performance.
83 +
84 + Examples are: Fusion libraries promise intermediate data
85 + structures to be eliminated. Generic programming libraries promise
86 + that the generic implementation is identical to the
87 + hand-written one. Some libraries may promise allocation-free
88 + or branch-free code.
89 +
90 + Conventionally, the modus operandi in all these cases is
91 + that the library author manually inspects the (intermediate or
92 + final) code produced by the compiler. This is not only
93 + tedious, but makes it very likely that some change, either
94 + in the library itself or the surrounding eco-system,
95 + breaks the library's promised without anyone noticing.
96 +
97 + This package provides a disciplined way of specifying such
98 + properties, and have them checked by the compiler. This way,
99 + this checking can be part of the ususal development cycle
100 + and regressions caught early.
101 +
102 + See the documentation in &quot;Test.Inspection&quot; or the project
103 + webpage for more examples and more information.
104 + </longdescription>
105 +</pkgmetadata>