[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#28884] [PATCH 08/38] gnu: Add ghc-test-framework-th.
From: |
rsiddharth |
Subject: |
[bug#28884] [PATCH 08/38] gnu: Add ghc-test-framework-th. |
Date: |
Wed, 18 Oct 2017 03:07:28 +0000 |
* gnu/packages/haskell.scm (ghc-test-framework-th): New variable.
---
gnu/packages/haskell.scm | 75 ++++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 75 insertions(+)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 2f064e2b2..d4078a307 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -9237,4 +9237,79 @@ Example:
")
(license license:bsd-3)))
+(define-public ghc-test-framework-th
+ (package
+ (name "ghc-test-framework-th")
+ (version "0.2.4")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append "https://hackage.haskell.org/package/"
+ "test-framework-th-" version "/"
+ "test-framework-th-" version ".tar.gz"))
+ (sha256
+ (base32
+ "12lw7yj02jb9s0i7rb98jjam43j2h0gzmnbj9zi933fx7sg0sy4b"))))
+ (build-system haskell-build-system)
+ (inputs
+ `(("ghc-test-framework" ,ghc-test-framework)
+ ("ghc-language-haskell-extract" ,ghc-language-haskell-extract)
+ ("ghc-haskell-src-exts" ,ghc-haskell-src-exts)
+ ("ghc-regex-posix" ,ghc-regex-posix)))
+ (home-page "https://github.com/finnsson/test-generator")
+ (synopsis "Auto generate the HUnit- and Quickcheck-bulk-code
+using Template Haskell")
+ (description "This library contains two functions:
address@hidden and @code{testGroupGenerator}.
+
address@hidden will extract all functions beginning with
+case_, prop_ or test_in the module and put them in a testGroup.
+
address@hidden
+ -- file SomeModule.hs
+ \( -# LANGUAGE TemplateHaskell #- )
+ module SomeModule where
+ import Test.Framework.TH
+ import Test.Framework
+ import Test.HUnit
+ import Test.Framework.Providers.HUnit
+ import Test.Framework.Providers.QuickCheck2
+
+ -- observe this line!
+ main = $\(defaultMainGenerator)
+ case_1 = do 1 @=? 1
+ case_2 = do 2 @=? 2
+ prop_reverse xs = reverse \(reverse xs) == xs
+ where types = xs::[Int]
address@hidden verbatim
+
+ is the same as
+
address@hidden
+ -- file SomeModule.hs
+ \( -# LANGUAGE TemplateHaskell #- )
+ module SomeModule where
+ import Test.Framework.TH
+ import Test.Framework
+ import Test.HUnit
+ import Test.Framework.Providers.HUnit
+ import Test.Framework.Providers.QuickCheck2
+
+ -- observe this line!
+ main =
+ defaultMain [
+ testGroup \"SomeModule\" [ testCase \"1\" case_1, testCase \"2\" \
+case_2, testProperty \"reverse\" prop_reverse]
+ ]
+ case_1 = do 1 @=? 1
+ case_2 = do 2 @=? 2
+ prop_reverse xs = reverse \(reverse xs) == xs
+ where types = xs::[Int]
address@hidden verbatim
+
address@hidden is like @code{defaultMainGenerator} but without
address@hidden It is useful if you need a function for the testgroup
+\(e.g. if you want to be able to call the testgroup from another module).")
+ (license license:bsd-3)))
+
;;; haskell.scm ends here
--
2.15.0.rc0
- [bug#28884] [PATCH 00/38] Add ghc-aws and its dependencies., rsiddharth, 2017/10/17
- [bug#28884] [PATCH 01/38] gnu: Add ghc-errors., rsiddharth, 2017/10/17
- [bug#28884] [PATCH 04/38] gnu: Add ghc-math-functions., rsiddharth, 2017/10/17
- [bug#28884] [PATCH 03/38] gnu: Add ghc-erf., rsiddharth, 2017/10/17
- [bug#28884] [PATCH 02/38] gnu: Add ghc-vector-th-unbox., rsiddharth, 2017/10/17
- [bug#28884] [PATCH 09/38] gnu: Add ghc-abstract-par., rsiddharth, 2017/10/17
- [bug#28884] [PATCH 07/38] gnu: Add ghc-language-haskell-extract., rsiddharth, 2017/10/17
- [bug#28884] [PATCH 05/38] gnu: Add ghc-mwc-random., rsiddharth, 2017/10/17
- [bug#28884] [PATCH 06/38] gnu: Add ghc-vector-algorithms., rsiddharth, 2017/10/17
- [bug#28884] [PATCH 08/38] gnu: Add ghc-test-framework-th.,
rsiddharth <=
- [bug#28884] [PATCH 11/38] gnu: Add ghc-abstract-deque., rsiddharth, 2017/10/17
- [bug#28884] [PATCH 12/38] gnu: Add ghc-monad-par., rsiddharth, 2017/10/17
- [bug#28884] [PATCH 10/38] gnu: Add ghc-monad-par-extras., rsiddharth, 2017/10/17
- [bug#28884] [PATCH 13/38] gnu: ghc-base-orphans: Update to 0.6., rsiddharth, 2017/10/17
- [bug#28884] [PATCH 15/38] gnu: Add ghc-chunked-data., rsiddharth, 2017/10/17
- [bug#28884] [PATCH 14/38] gnu: Add ghc-statistics., rsiddharth, 2017/10/17
- [bug#28884] [PATCH 21/38] gnu: Add ghc-entropy., rsiddharth, 2017/10/17
- [bug#28884] [PATCH 19/38] gnu: Add ghc-monadrandom., rsiddharth, 2017/10/17
- [bug#28884] [PATCH 17/38] gnu: Add ghc-tuple-th., rsiddharth, 2017/10/17