John Ericson
e52a81ebe9
Document 0.7.2.0-r2 in the change log
2023-11-20 15:37:51 -05:00
John Ericson
0f8227de22
Merge pull request #80 from sorki/srk/someBounds
...
Allow some 1.0.6
2023-11-18 12:38:26 -05:00
Richard Marko
3ebc99b599
Allow some 1.0.6
...
which is mostly a maintenance release for GHC9.6.3 and GHC9.8.
Changelog says
```
Add instances for SSymbol, SNat and SChar from `base >=4.18.0.0'
```
Compiles happily on GHC9.4.7.
2023-11-18 14:20:46 +01:00
John Ericson
1ed789ce32
Document 0.7.2.0-r1 in the change log
2023-07-11 14:39:53 -04:00
John Ericson
5766748457
Add change log entires for cabal revisions
2023-07-11 14:37:22 -04:00
John Ericson
c817898949
Reflect dependent-sum-0.7.2.0-r1 in source code
...
See https://hackage.haskell.org/package/dependent-sum-0.7.2.0/revisions/
2023-07-11 13:08:59 -04:00
Ali Abrar
43c633312b
v0.7.2.0
2022-12-22 11:19:32 -05:00
Ali Abrar
337159ebdb
Update to some-1.0.4
2022-12-22 11:18:25 -05:00
Ali Abrar
d1dfae471e
Update github actions
2022-12-12 11:45:44 -04:00
Ali Abrar
1e73ebc642
Update changelog
2022-12-12 11:44:35 -04:00
Cale Gibbard
619727ba17
bump constraints-extras
2022-11-18 13:41:23 -05:00
John Ericson
639450fcb1
Fix date in change log
2021-12-01 14:05:36 -05:00
John Ericson
683ff2d1c6
Prepare another release
...
Add change log entries for this and last revision.
2021-12-01 14:00:36 -05:00
John Ericson
46bfb79188
Merge pull request #60 from fendor/fix/applicative-monad
...
Prefer canonical return definition
2021-12-01 13:34:40 -05:00
John Ericson
4aacd708cb
Merge pull request #67 from juhp/patch-1
...
dependent-sum-template: add lowerbound for th-abstraction
2021-11-30 13:33:21 -05:00
Jens Petersen
e8dfa73e08
dependent-sum-template: add lowerbound for th-abstraction
...
Language.Haskell.TH.Datatype.TyVarBndr was introduced in th-abstraction-0.4.0.0
So build fails with th-abstraction-0.3
2021-11-30 21:11:55 +08:00
Ryan Trinkle
bbb62359e2
Update dependent-sum-template cabal file to 1.10
...
This is required by hackage
2021-11-28 17:43:55 -05:00
John Ericson
bd239388a2
dependent-sum-template: Update maintainer
2021-11-25 02:25:40 -05:00
John Ericson
a17156f70d
dependent-sum-template: Make new release
...
Update change log and change version number.
2021-11-25 02:10:02 -05:00
John Ericson
eaf3ababd7
Test 9.0.1
2021-09-11 12:17:43 -04:00
John Ericson
080b089f29
Merge pull request #59 from fendor/ghc901
...
Add compatibility for GHC 9.0.1 and GHC 9.2
2021-09-11 12:16:23 -04:00
John Ericson
65df00b11f
Merge pull request #64 from obsidiansystems/ensure-9.0-fix-doesnt-cause-regression
...
Ensure 9.0 fix doesn't cause regression
2021-09-11 12:10:12 -04:00
John Ericson
1ef9ae2028
Merge remote-tracking branch 'upstream/master' into without-test-change
...
Before testing GHC 9+, ensuring no regression.
2021-09-11 11:58:10 -04:00
John Ericson
c8df4f3f5a
Merge pull request #63 from obsidiansystems/github-actions
...
Add github actions
2021-09-11 11:51:58 -04:00
John Ericson
e47de86ac4
Add github actions
...
So we get some CI until the Nix one is fixed.
2021-09-11 11:42:54 -04:00
Fendor
6f376fe538
Prefer canonical return definition
2021-07-06 15:03:21 +02:00
Fendor
5de03c38b0
Migrate Tests
2021-07-06 14:56:23 +02:00
Andreas Källberg
8cf4c7fbc3
Add support for GHC-9.0.1
2021-03-29 21:08:39 +08:00
John Ericson
6e777670b6
Merge pull request #56 from ollef/master
...
Bump some bound
2021-03-11 17:25:43 -05:00
Olle Fredriksson
b36c84a36f
Bump some bound
...
Fix #55 .
2021-03-11 20:55:01 +01:00
Elliot Cameron
73ab6cb233
dependent-sum 0.7.1.0
2020-03-25 16:59:44 -04:00
Elliot Cameron
ef2f308ee4
Fix dependent-sum-template ChangeLog
2020-03-25 16:59:10 -04:00
Elliot Cameron
c8be7eb7ab
Shift some dependency to 1.0.1.*
2020-03-25 16:59:07 -04:00
Elliot Cameron
657cb78c2e
Syntax highlighting in README
2020-03-25 16:29:47 -04:00
Elliot Cameron
e515ad2c5f
Add Hackage badge to README
2020-03-24 10:09:27 -04:00
Elliot Cameron
1f5cbb469b
dependent-sum-template 0.1.0.3
2020-03-24 09:35:37 -04:00
Elliot Cameron
3f8198e3e8
dependent-sum 0.7.0.0
2020-03-24 09:27:31 -04:00
Elliot Cameron
cc9f0e64f8
dependent-sum 0.6.2.2 / dependent-sem-template 0.1.0.2
2020-03-23 22:34:42 -04:00
Ryan Trinkle
7d5a83858f
Merge pull request #46 from 3noch/release/0.1.0.1
...
Release/0.1.0.1
2020-03-20 10:01:29 -04:00
Ryan Trinkle
4d74666e3c
Merge pull request #45 from int-e/cabal-files
...
update .cabal files
2020-03-20 09:57:44 -04:00
Elliot Cameron
38d12d7e0f
dependent-sum version 0.6.2.1
2020-03-20 09:57:06 -04:00
Elliot Cameron
83147b9371
dependent-sum-template version 0.1.0.1
2020-03-20 09:37:26 -04:00
Elliot Cameron
b328af67d6
Add dist-newstyle to .gitignore
2020-03-20 09:36:28 -04:00
Elliot Cameron
21c73fd6bc
Update dependent-sum source repo URL
2020-03-20 09:35:55 -04:00
Bertram Felgenhauer
db8dab2c69
update .cabal files
...
- proper upstream URL for dependent-sum-template
- bump versions
- tested with 8.8.3
2020-03-20 14:26:19 +01:00
Ryan Trinkle
3ecbcb624a
Merge pull request #44 from 3noch/eac@8.8-ci-with-fixes
...
GHC 8.8 CI + fixes
2020-03-20 08:40:36 -04:00
Elliot Cameron
4b376c4e86
Merge remote-tracking branch 'WebGHC/ghc-881-th-fixes' into eac@8.8-ci-with-fixes
2020-03-18 11:21:01 -04:00
Elliot Cameron
a964648e00
Include GHC 8.8 in Travis CI matrix
2020-03-18 11:13:27 -04:00
Ryan Trinkle
2e066d29b4
Merge pull request #42 from endgame/haddocks
...
Clarified DSum haddocks, add pointer to `deriveArgDict`
2020-03-05 09:01:37 -05:00
Jack Kelly
4452b8215c
Clarified DSum haddocks, add pointer to deriveArgDict
2020-02-08 10:20:17 +10:00
