commit ghc-ghc-typelits-extra for openSUSE:Factory
Hello community,
here is the log from the commit of package ghc-ghc-typelits-extra for
openSUSE:Factory checked in at 2017-09-15 21:41:33
Comparing /work/SRC/openSUSE:Factory/ghc-ghc-typelits-extra (Old)
and /work/SRC/openSUSE:Factory/.ghc-ghc-typelits-extra.new (New)
Package is "ghc-ghc-typelits-extra"
Fri Sep 15 21:41:33 2017 rev:4 rq:524566 version:0.2.3
Changes:
---
/work/SRC/openSUSE:Factory/ghc-ghc-typelits-extra/ghc-ghc-typelits-extra.changes
2017-06-04 01:57:28.324179133 +0200
+++
/work/SRC/openSUSE:Factory/.ghc-ghc-typelits-extra.new/ghc-ghc-typelits-extra.changes
2017-09-15 21:41:34.247947977 +0200
@@ -1,0 +2,5 @@
+Thu Aug 3 15:38:38 UTC 2017 - psim...@suse.com
+
+- Updated with latest spec-cleaner version 0.9.8-8-geadfbbf.
+
+---
Other differences:
--
++ ghc-ghc-typelits-extra.spec ++
--- /var/tmp/diff_new_pack.wBy7Nj/_old 2017-09-15 21:41:34.775873597 +0200
+++ /var/tmp/diff_new_pack.wBy7Nj/_new 2017-09-15 21:41:34.779873034 +0200
@@ -23,8 +23,8 @@
Release:0
Summary:Additional type-level operations on GHC.TypeLits.Nat
License:BSD-2-Clause
-Group: Development/Languages/Other
-Url:https://hackage.haskell.org/package/%{pkg_name}
+Group: Development/Libraries/Haskell
+URL:https://hackage.haskell.org/package/%{pkg_name}
Source0:
https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz
BuildRequires: ghc-Cabal-devel
BuildRequires: ghc-ghc-devel
@@ -34,7 +34,6 @@
BuildRequires: ghc-rpm-macros
BuildRequires: ghc-singletons-devel
BuildRequires: ghc-transformers-devel
-BuildRoot: %{_tmppath}/%{name}-%{version}-build
%if %{with tests}
BuildRequires: ghc-tasty-devel
BuildRequires: ghc-tasty-hunit-devel
@@ -85,7 +84,7 @@
%package devel
Summary:Haskell %{pkg_name} library development files
-Group: Development/Libraries/Other
+Group: Development/Libraries/Haskell
Requires: %{name} = %{version}-%{release}
Requires: ghc-compiler = %{ghc_version}
Requires(post): ghc-compiler = %{ghc_version}
@@ -114,11 +113,9 @@
%ghc_pkg_recache
%files -f %{name}.files
-%defattr(-,root,root,-)
%doc LICENSE
%files devel -f %{name}-devel.files
-%defattr(-,root,root,-)
%doc CHANGELOG.md README.md
%changelog
commit ghc-ghc-typelits-extra for openSUSE:Factory
Hello community,
here is the log from the commit of package ghc-ghc-typelits-extra for
openSUSE:Factory checked in at 2017-06-04 01:57:27
Comparing /work/SRC/openSUSE:Factory/ghc-ghc-typelits-extra (Old)
and /work/SRC/openSUSE:Factory/.ghc-ghc-typelits-extra.new (New)
Package is "ghc-ghc-typelits-extra"
Sun Jun 4 01:57:27 2017 rev:3 rq:499699 version:0.2.3
Changes:
---
/work/SRC/openSUSE:Factory/ghc-ghc-typelits-extra/ghc-ghc-typelits-extra.changes
2017-05-09 18:00:58.851283691 +0200
+++
/work/SRC/openSUSE:Factory/.ghc-ghc-typelits-extra.new/ghc-ghc-typelits-extra.changes
2017-06-04 01:57:28.324179133 +0200
@@ -1,0 +2,5 @@
+Thu May 18 09:52:28 UTC 2017 - psim...@suse.com
+
+- Update to version 0.2.3 with cabal2obs.
+
+---
Old:
ghc-typelits-extra-0.2.2.tar.gz
New:
ghc-typelits-extra-0.2.3.tar.gz
Other differences:
--
++ ghc-ghc-typelits-extra.spec ++
--- /var/tmp/diff_new_pack.tkoCpo/_old 2017-06-04 01:57:28.916095510 +0200
+++ /var/tmp/diff_new_pack.tkoCpo/_new 2017-06-04 01:57:28.916095510 +0200
@@ -19,7 +19,7 @@
%global pkg_name ghc-typelits-extra
%bcond_with tests
Name: ghc-%{pkg_name}
-Version:0.2.2
+Version:0.2.3
Release:0
Summary:Additional type-level operations on GHC.TypeLits.Nat
License:BSD-2-Clause
++ ghc-typelits-extra-0.2.2.tar.gz -> ghc-typelits-extra-0.2.3.tar.gz ++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/ghc-typelits-extra-0.2.2/CHANGELOG.md
new/ghc-typelits-extra-0.2.3/CHANGELOG.md
--- old/ghc-typelits-extra-0.2.2/CHANGELOG.md 2017-01-15 19:02:16.0
+0100
+++ new/ghc-typelits-extra-0.2.3/CHANGELOG.md 2017-05-15 10:41:17.0
+0200
@@ -1,5 +1,20 @@
# Changelog for the
[`ghc-typelits-extra`](http://hackage.haskell.org/package/ghc-typelits-extra)
package
+# 0.2.3 *May 15th 2017*
+* Support GHC 8.2
+* `Max`, `Min`, `GCD`, and `LCM` now have a commutativity property
[#9](https://github.com/clash-lang/ghc-typelits-extra/issues/9)
+* Reduce `GCD 0 x` to `x`
[#9](https://github.com/clash-lang/ghc-typelits-extra/issues/9)
+* Reduce `GCD 1 x` to `1`
[#9](https://github.com/clash-lang/ghc-typelits-extra/issues/9)
+* Reduce `GCD x x` to `x`
[#9](https://github.com/clash-lang/ghc-typelits-extra/issues/9)
+* Reduce `LCM 0 x` to `0`
[#9](https://github.com/clash-lang/ghc-typelits-extra/issues/9)
+* Reduce `LCM 1 x` to `x`
[#9](https://github.com/clash-lang/ghc-typelits-extra/issues/9)
+* Reduce `LCM x x` to `x`
[#9](https://github.com/clash-lang/ghc-typelits-extra/issues/9)
+* Reduce `Max (0-1) 0` to `0`
[#10](https://github.com/clash-lang/ghc-typelits-extra/issues/10)
+* Reduce `Min (0-1) 0` to `0 - 1`
[#10](https://github.com/clash-lang/ghc-typelits-extra/issues/10)
+* Fixes bugs:
+ * Solver turns LCM into GCD
[#8](https://github.com/clash-lang/ghc-typelits-extra/issues/8)
+ * Solver turns Max into Min
+
# 0.2.2 *January 15th 2017*
* Reduce `Min n (n+1)` to `n`
* Reduce `Max n (n+1)` to `n+1`
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/ghc-typelits-extra-0.2.2/ghc-typelits-extra.cabal
new/ghc-typelits-extra-0.2.3/ghc-typelits-extra.cabal
--- old/ghc-typelits-extra-0.2.2/ghc-typelits-extra.cabal 2017-01-15
19:02:16.0 +0100
+++ new/ghc-typelits-extra-0.2.3/ghc-typelits-extra.cabal 2017-05-02
10:48:53.0 +0200
@@ -1,5 +1,5 @@
name:ghc-typelits-extra
-version: 0.2.2
+version: 0.2.3
synopsis:Additional type-level operations on GHC.TypeLits.Nat
description:
Additional type-level operations on @GHC.TypeLits.Nat@:
@@ -63,9 +63,10 @@
other-modules: GHC.TypeLits.Extra.Solver.Unify
GHC.TypeLits.Extra.Solver.Operations
build-depends: base >= 4.8 && <5,
- ghc >= 7.10&& <8.2,
+ ghc >= 7.10&& <8.4,
+ ghc-prim >= 0.5 && <1.0,
ghc-tcplugins-extra >= 0.2,
- ghc-typelits-knownnat >= 0.2 && <0.3,
+ ghc-typelits-knownnat >= 0.2 && <0.4,
ghc-typelits-natnormalise >= 0.5 && <0.6,
integer-gmp >= 1.0 && <1.1,
singletons>= 2.2 && <3,
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore'
commit ghc-ghc-typelits-extra for openSUSE:Factory
Hello community,
here is the log from the commit of package ghc-ghc-typelits-extra for
openSUSE:Factory checked in at 2017-05-09 18:00:56
Comparing /work/SRC/openSUSE:Factory/ghc-ghc-typelits-extra (Old)
and /work/SRC/openSUSE:Factory/.ghc-ghc-typelits-extra.new (New)
Package is "ghc-ghc-typelits-extra"
Tue May 9 18:00:56 2017 rev:2 rq:453298 version:0.2.2
Changes:
---
/work/SRC/openSUSE:Factory/ghc-ghc-typelits-extra/ghc-ghc-typelits-extra.changes
2016-11-01 09:53:16.0 +0100
+++
/work/SRC/openSUSE:Factory/.ghc-ghc-typelits-extra.new/ghc-ghc-typelits-extra.changes
2017-05-09 18:00:58.851283691 +0200
@@ -1,0 +2,15 @@
+Wed Jan 18 09:00:30 UTC 2017 - psim...@suse.com
+
+- Update to version 0.2.2 with cabal2obs.
+
+---
+Sat Oct 1 17:18:10 UTC 2016 - psim...@suse.com
+
+- Update to version 0.2.1 with cabal2obs.
+
+---
+Thu Sep 15 07:07:21 UTC 2016 - psim...@suse.com
+
+- Update to version 0.2 revision 1 with cabal2obs.
+
+---
Old:
ghc-typelits-extra-0.1.3.tar.gz
New:
ghc-typelits-extra-0.2.2.tar.gz
Other differences:
--
++ ghc-ghc-typelits-extra.spec ++
--- /var/tmp/diff_new_pack.oEzi7H/_old 2017-05-09 18:01:01.950845689 +0200
+++ /var/tmp/diff_new_pack.oEzi7H/_new 2017-05-09 18:01:01.954845123 +0200
@@ -1,7 +1,7 @@
#
# spec file for package ghc-ghc-typelits-extra
#
-# Copyright (c) 2016 SUSE LINUX GmbH, Nuernberg, Germany.
+# Copyright (c) 2017 SUSE LINUX GmbH, Nuernberg, Germany.
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
@@ -19,33 +19,61 @@
%global pkg_name ghc-typelits-extra
%bcond_with tests
Name: ghc-%{pkg_name}
-Version:0.1.3
+Version:0.2.2
Release:0
Summary:Additional type-level operations on GHC.TypeLits.Nat
License:BSD-2-Clause
-Group: System/Libraries
+Group: Development/Languages/Other
Url:https://hackage.haskell.org/package/%{pkg_name}
Source0:
https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz
BuildRequires: ghc-Cabal-devel
BuildRequires: ghc-ghc-devel
BuildRequires: ghc-ghc-tcplugins-extra-devel
+BuildRequires: ghc-ghc-typelits-knownnat-devel
+BuildRequires: ghc-ghc-typelits-natnormalise-devel
BuildRequires: ghc-rpm-macros
+BuildRequires: ghc-singletons-devel
BuildRequires: ghc-transformers-devel
BuildRoot: %{_tmppath}/%{name}-%{version}-build
%if %{with tests}
-BuildRequires: ghc-ghc-typelits-natnormalise-devel
BuildRequires: ghc-tasty-devel
BuildRequires: ghc-tasty-hunit-devel
+BuildRequires: ghc-template-haskell-devel
%endif
%description
Additional type-level operations on 'GHC.TypeLits.Nat':
-* 'GHC.TypeLits.Extra.GCD': a type-level 'gcd'
+* 'Max': type-level
+
+
+* 'Min': type-level
+
+
+* 'Div': type-level
+
-* 'GHC.TypeLits.Extra.CLog': type-level equivalent /the ceiling of/
+* 'Mod': type-level
+
+
+* 'FLog': type-level equivalent of
+ i.e. the exact integer equivalent to 'floor (logBase x y)'
+
+* 'CLog': type-level equivalent of /the ceiling of/
+integerLogBase#> i.e. the exact integer equivalent to 'ceiling (logBase x y)'
+
+* 'Log': type-level equivalent of
+ where the operation only reduces when 'floor (logBase b x) ~
+ceiling (logBase b x)'
+
+* 'GCD': a type-level
+
+
+* 'LCM': a type-level
+
And a custom solver for the above operations defined in
'GHC.TypeLits.Extra.Solver' as a GHC type-checker plugin. To use the plugin,
@@ -70,19 +98,15 @@
%prep
%setup -q -n %{pkg_name}-%{version}
-
%build
%ghc_lib_build
-
%install
%ghc_lib_install
-
%check
%cabal_test
-
%post devel
%ghc_pkg_recache
