packages/stm.git
2 months agoRegenerate .travis.yml master
Ryan Scott [Tue, 12 Mar 2019 14:31:24 +0000 (10:31 -0400)] 
Regenerate .travis.yml

This commit was performed automatically by a script.
https://github.com/RyanGlScott/travis-maintenance

5 months agoDeclare support for base-4.13
Herbert Valerio Riedel [Tue, 18 Dec 2018 22:09:05 +0000 (23:09 +0100)] 
Declare support for base-4.13

5 months agoRegenerate .travis.yml
Ryan Scott [Mon, 10 Dec 2018 12:01:57 +0000 (07:01 -0500)] 
Regenerate .travis.yml

This commit was performed automatically by a script.
https://github.com/RyanGlScott/travis-maintenance

6 months agoRegenerate .travis.yml
Ryan Scott [Tue, 6 Nov 2018 14:04:30 +0000 (09:04 -0500)] 
Regenerate .travis.yml

This commit was performed automatically by a script.
https://github.com/RyanGlScott/travis-maintenance

7 months agoRegenerate .travis.yml
Ryan Scott [Wed, 17 Oct 2018 19:04:56 +0000 (15:04 -0400)] 
Regenerate .travis.yml

This commit was performed automatically by a script.
https://github.com/RyanGlScott/travis-maintenance

8 months agoAdd missing since annotation & changelog entry for gh-14
Herbert Valerio Riedel [Tue, 18 Sep 2018 17:48:40 +0000 (19:48 +0200)] 
Add missing since annotation & changelog entry for gh-14

see 75f4aebd3c780af33c54b95f894f2e42360898bb

8 months agoAdd stateTVar which I've found very helpful to cut boilerplate with
Ximin Luo [Tue, 26 Jun 2018 18:27:18 +0000 (11:27 -0700)] 
Add stateTVar which I've found very helpful to cut boilerplate with

8 months agoTypesafety improvements to TSem (gh-17)
Alexey Kuleshevich [Fri, 14 Sep 2018 17:40:47 +0000 (20:40 +0300)] 
Typesafety improvements to TSem (gh-17)

* Switch to Natural in signalTSem
* make newTSem accept Integer

8 months agoMinor refactoring to silence warnings
Herbert Valerio Riedel [Sun, 16 Sep 2018 14:34:54 +0000 (16:34 +0200)] 
Minor refactoring to silence warnings

8 months agoAdd conditional dep on `nats` to restore compat with GHC < 7.10
Herbert Valerio Riedel [Sun, 16 Sep 2018 14:16:32 +0000 (16:16 +0200)] 
Add conditional dep on `nats` to restore compat with GHC < 7.10

Also tweak changelog for consistency

8 months agoRe-add failing tests to Issue17.hs
Herbert Valerio Riedel [Sun, 16 Sep 2018 14:07:10 +0000 (16:07 +0200)] 
Re-add failing tests to Issue17.hs

8 months agoFix inconsistent behavior when negative bound is supplied to TBQueue
Alexey Kuleshevich [Mon, 10 Sep 2018 23:13:47 +0000 (02:13 +0300)] 
Fix inconsistent behavior when negative bound is supplied to TBQueue

This switches to using `Natural` for `TBQueue`'s size handling.

8 months agoMake Issue17 failure observable w/ pre-stm-2.5
Herbert Valerio Riedel [Sun, 16 Sep 2018 13:42:30 +0000 (15:42 +0200)] 
Make Issue17 failure observable w/ pre-stm-2.5

8 months agoIntroduced regression tests for #17
Alexey Kuleshevich [Tue, 11 Sep 2018 12:32:30 +0000 (15:32 +0300)] 
Introduced regression tests for #17

8 months agoPorted some tests (stm{052,064,065}) to new testsuite
Herbert Valerio Riedel [Sun, 9 Sep 2018 11:25:40 +0000 (13:25 +0200)] 
Ported some tests (stm{052,064,065}) to new testsuite

These are tests which were easy to convert as embedded testcases.

8 months agoAdd new `cabal`-powered testsuite
Herbert Valerio Riedel [Sun, 9 Sep 2018 10:28:49 +0000 (12:28 +0200)] 
Add new `cabal`-powered testsuite

8 months agoIntegrate v2.4.5.1 rls into changelog and tweak style
Herbert Valerio Riedel [Sat, 8 Sep 2018 09:45:32 +0000 (11:45 +0200)] 
Integrate v2.4.5.1 rls into changelog and tweak style

8 months agofixup since-annotation
Herbert Valerio Riedel [Sat, 8 Sep 2018 09:03:18 +0000 (11:03 +0200)] 
fixup since-annotation

9 months agoMerge branch 'master' of ssh://github.com/haskell/stm into HEAD
Ben Gamari [Mon, 20 Aug 2018 19:04:07 +0000 (15:04 -0400)] 
Merge branch 'master' of ssh://github.com/haskell/stm into HEAD

9 months agoFinish changelog for 2.5
Ben Gamari [Mon, 20 Aug 2018 19:03:16 +0000 (15:03 -0400)] 
Finish changelog for 2.5

10 months agoAdd test for GHC bug #15136
Simon Marlow [Fri, 13 Jul 2018 09:11:41 +0000 (10:11 +0100)] 
Add test for GHC bug #15136

10 months agoTry omit-local-package (#15)
Oleg Grenrus [Wed, 4 Jul 2018 14:49:00 +0000 (17:49 +0300)] 
Try omit-local-package (#15)

* Try omit-local-package

* Remove --last-in-series

10 months agoRevert "Regenerate .travis.yml"
Ryan Scott [Sun, 1 Jul 2018 17:39:20 +0000 (13:39 -0400)] 
Revert "Regenerate .travis.yml"

This reverts commit d74dd374937b12b54a8cfd31ee039d159562b51b.

10 months agoRegenerate .travis.yml
Ryan Scott [Sun, 1 Jul 2018 17:00:45 +0000 (13:00 -0400)] 
Regenerate .travis.yml

Also, augment .gitignore to include build artifacts from modern
Haskell build tools.

11 months agoRevert "Bump version back down to 2.4"
Ben Gamari [Sun, 3 Jun 2018 21:18:26 +0000 (17:18 -0400)] 
Revert "Bump version back down to 2.4"

This reverts commit b2af9b4bb23cd2fc0b5d731b5614cdc90e7dda41.

11 months agoBump version back down to 2.4
Ben Gamari [Sun, 3 Jun 2018 00:58:51 +0000 (20:58 -0400)] 
Bump version back down to 2.4

Haskeline, which GHC requires, doesn't yet have its stm bound lifted. Bumping
back down for now.

11 months agoUpdate travis.yml
Ben Gamari [Sat, 2 Jun 2018 22:16:17 +0000 (18:16 -0400)] 
Update travis.yml

11 months agoInclude GHCs up to 8.6 in Tested-With
Ben Gamari [Sat, 2 Jun 2018 21:31:28 +0000 (17:31 -0400)] 
Include GHCs up to 8.6 in Tested-With

11 months agoDrop support for invariant checking
Ben Gamari [Thu, 31 May 2018 17:54:40 +0000 (13:54 -0400)] 
Drop support for invariant checking

12 months agoMerge pull request #9 from mitchellwrosen/master
Simon Marlow [Fri, 18 May 2018 19:12:25 +0000 (20:12 +0100)] 
Merge pull request #9 from mitchellwrosen/master

Add lengthTBQueue, fix bug in flushTBQueue (fixes #8)

12 months agoAdd lengthTBQueue, fix bug in flushTBQueue
Mitchell Rosen [Sun, 22 Apr 2018 20:19:30 +0000 (16:19 -0400)] 
Add lengthTBQueue, fix bug in flushTBQueue

13 months agoBump upper bound on base to < 4.13 (#7)
Ryan Scott [Tue, 10 Apr 2018 13:10:05 +0000 (09:10 -0400)] 
Bump upper bound on base to < 4.13 (#7)

See https://ghc.haskell.org/trac/ghc/ticket/15018.

13 months agoMerge pull request #6 from basvandijk/flushTQueue-write-only-when-necessary
Simon Marlow [Thu, 22 Mar 2018 17:30:59 +0000 (17:30 +0000)] 
Merge pull request #6 from basvandijk/flushTQueue-write-only-when-necessary

flushTQueue: only perform writeTVar when necessary

14 months agoflushTQueue: only perform writeTVar when necessary
Bas van Dijk [Tue, 20 Mar 2018 21:31:36 +0000 (22:31 +0100)] 
flushTQueue: only perform writeTVar when necessary

To prevent unnecessarily invalidating other transactions writeTVar
must only be called when its contents should actually be changed.

15 months agoAdd more `@since` annotations v2.4.5.0
Herbert Valerio Riedel [Sat, 3 Feb 2018 20:54:44 +0000 (21:54 +0100)] 
Add more `@since` annotations

15 months agoAdd docstring to `check`
Herbert Valerio Riedel [Sat, 3 Feb 2018 20:44:15 +0000 (21:44 +0100)] 
Add docstring to `check`

15 months agoFill in 2.4.5 for TBD placeholers
Herbert Valerio Riedel [Sat, 3 Feb 2018 20:35:46 +0000 (21:35 +0100)] 
Fill in 2.4.5 for TBD placeholers

15 months agoUpdate broken paper links and flesh out description field
Herbert Valerio Riedel [Sat, 3 Feb 2018 20:30:13 +0000 (21:30 +0100)] 
Update broken paper links and flesh out description field

15 months agoMerge pull request #5 from hvr/pr/TSem-multi-ops
Herbert Valerio Riedel [Sat, 3 Feb 2018 18:56:32 +0000 (19:56 +0100)] 
Merge pull request #5 from hvr/pr/TSem-multi-ops

Implement `signalTSemN` ~~& `waitTSemN`~~ operations

15 months agoRemove unfair `waitTSemN` operation again
Herbert Valerio Riedel [Sat, 3 Feb 2018 17:57:22 +0000 (18:57 +0100)] 
Remove unfair `waitTSemN` operation again

Better not offer an API entry point that's questionable as it's
tricky to use correctly.

15 months agoImplement `signalTSemN` & `waitTSemN` operations
Herbert Valerio Riedel [Thu, 28 Dec 2017 09:26:16 +0000 (10:26 +0100)] 
Implement `signalTSemN` & `waitTSemN` operations

These new operations allow to acquire/release a non-negative amount of
units to the semaphore.

16 months agoMerge pull request #4 from hvr/pr/TSem-improvements
Simon Marlow [Fri, 5 Jan 2018 21:20:30 +0000 (21:20 +0000)] 
Merge pull request #4 from hvr/pr/TSem-improvements

Make `signalTSem` resilient against `Int` overflows

16 months agoMake `signalTSem` resilient against `Int` overflows
Herbert Valerio Riedel [Thu, 28 Dec 2017 09:19:07 +0000 (10:19 +0100)] 
Make `signalTSem` resilient against `Int` overflows

This is accomplished by switching the internal implementation to using
an 'Integer' value for the internal counter value which can never
overflow; the small computational overhead is assumed be neglectable
in the context of STM transaction overheads.

`waitTSem` was never affected as it already blocks when the counter
becomes non-positive.

16 months agoAugment documentation of `Control.Concurrent.STM.TSem`
Herbert Valerio Riedel [Thu, 28 Dec 2017 09:15:35 +0000 (10:15 +0100)] 
Augment documentation of `Control.Concurrent.STM.TSem`

16 months agoupdate changelog and bump version
Herbert Valerio Riedel [Thu, 28 Dec 2017 09:11:44 +0000 (10:11 +0100)] 
update changelog and bump version

at the very least, this requires a minor ver bump

TODO: figure out if a minor or major ver bump is needed

16 months agoAdd flushTQueue, flushTBQueue
Mitchell Rosen [Mon, 20 Nov 2017 21:53:09 +0000 (16:53 -0500)] 
Add flushTQueue, flushTBQueue

17 months agoT14171: Make AMP-compatible
Ben Gamari [Wed, 22 Nov 2017 03:04:54 +0000 (22:04 -0500)] 
T14171: Make AMP-compatible

17 months agoMerge pull request #3 from arybczak/tqueue-contention-fix
Ben Gamari [Wed, 22 Nov 2017 03:02:25 +0000 (22:02 -0500)] 
Merge pull request #3 from arybczak/tqueue-contention-fix

Make definition of readTQueue consistent with readTBQueue (#9539)

17 months agoMerge pull request #2 from arybczak/tbqueue-leak-fix
Ben Gamari [Wed, 22 Nov 2017 02:54:07 +0000 (21:54 -0500)] 
Merge pull request #2 from arybczak/tbqueue-leak-fix

Fix space leak in TBQueue (#14494)

17 months agoUpdate Travis badge
Herbert Valerio Riedel [Mon, 20 Nov 2017 23:47:24 +0000 (00:47 +0100)] 
Update Travis badge

17 months agoMake definition of readTQueue consistent with readTBQueue (#9539)
Andrzej Rybczak [Mon, 20 Nov 2017 17:22:54 +0000 (18:22 +0100)] 
Make definition of readTQueue consistent with readTBQueue (#9539)

18 months agoUpdate URLs to point to github.com/haskell/stm
Herbert Valerio Riedel [Mon, 20 Nov 2017 20:19:59 +0000 (21:19 +0100)] 
Update URLs to point to github.com/haskell/stm

18 months agoFix space leak in TBQueue (#14494)
Andrzej Rybczak [Mon, 20 Nov 2017 16:52:58 +0000 (17:52 +0100)] 
Fix space leak in TBQueue (#14494)

20 months agoRelax base constraint to allow base-4.11
Herbert Valerio Riedel [Fri, 15 Sep 2017 16:48:38 +0000 (18:48 +0200)] 
Relax base constraint to allow base-4.11

20 months agoAdd testcase for #14171
Ben Gamari [Thu, 31 Aug 2017 20:03:28 +0000 (16:03 -0400)] 
Add testcase for #14171

2 years agoBump upper bound on base
Ben Gamari [Tue, 15 Nov 2016 19:38:10 +0000 (14:38 -0500)] 
Bump upper bound on base

2 years agoTestsuite: only ignore stdout of T2411
Thomas Miedema [Fri, 24 Jun 2016 22:38:09 +0000 (00:38 +0200)] 
Testsuite: only ignore stdout of T2411

3 years agostm047 and stm048 seem to work fine with WAY=ghci
Thomas Miedema [Tue, 16 Feb 2016 12:10:02 +0000 (13:10 +0100)] 
stm047 and stm048 seem to work fine with WAY=ghci

Also delete compiler_lt.

3 years agoDon't use only_compiler_types, assume ghc
Thomas Miedema [Tue, 16 Feb 2016 08:26:57 +0000 (09:26 +0100)] 
Don't use only_compiler_types, assume ghc

3 years agoDo not run tests when stm is not installed
Thomas Miedema [Wed, 20 Jan 2016 15:25:35 +0000 (16:25 +0100)] 
Do not run tests when stm is not installed

3 years agoUpdate tests for frozen callstacks
Ben Gamari [Wed, 23 Dec 2015 10:22:05 +0000 (05:22 -0500)] 
Update tests for frozen callstacks

3 years agoBump to version 2.4.4.1 and prepare for release v2.4.4.1
Herbert Valerio Riedel [Tue, 22 Dec 2015 12:49:22 +0000 (13:49 +0100)] 
Bump to version 2.4.4.1 and prepare for release

3 years agoUpdate output D1426
Simon Marlow [Wed, 4 Nov 2015 23:44:01 +0000 (23:44 +0000)] 
Update output

3 years agoRelax upper bound on `base` to allow GHC8/base-4.9
Herbert Valerio Riedel [Wed, 28 Oct 2015 20:54:22 +0000 (21:54 +0100)] 
Relax upper bound on `base` to allow GHC8/base-4.9

3 years agoAnother rework of Weak interface
Ben Gamari [Thu, 24 Sep 2015 15:40:15 +0000 (17:40 +0200)] 
Another rework of Weak interface

3 years agomkWeak# now expects raw State# function
Ben Gamari [Tue, 22 Sep 2015 23:26:31 +0000 (01:26 +0200)] 
mkWeak# now expects raw State# function

Fallout from GHC Trac #10867.

3 years agostm: Fix test case
Ben Gamari [Wed, 2 Sep 2015 13:34:00 +0000 (09:34 -0400)] 
stm: Fix test case

4 years agoBump to 2.4.4 and update changelog stm-2.4.4-release
Herbert Valerio Riedel [Wed, 17 Dec 2014 10:41:23 +0000 (11:41 +0100)] 
Bump to 2.4.4 and update changelog

4 years agoAvoid AMP-caused redundant import warning
Herbert Valerio Riedel [Wed, 17 Dec 2014 10:48:04 +0000 (11:48 +0100)] 
Avoid AMP-caused redundant import warning

4 years agoAdd `@since` annotations
Herbert Valerio Riedel [Wed, 17 Dec 2014 10:40:36 +0000 (11:40 +0100)] 
Add `@since` annotations

4 years agoFix build breakage bogons, due to bad patch application
Austin Seipp [Mon, 15 Dec 2014 17:51:18 +0000 (11:51 -0600)] 
Fix build breakage bogons, due to bad patch application

Signed-off-by: Austin Seipp <austin@well-typed.com>
4 years agoAdd mkWeakTMVar to Control.Concurrent.STM.TMVar
Bas van Dijk [Mon, 15 Dec 2014 15:33:17 +0000 (09:33 -0600)] 
Add mkWeakTMVar to Control.Concurrent.STM.TMVar

4 years agoTighten Safe Haskell bounds.
David Terei [Thu, 13 Nov 2014 01:35:21 +0000 (17:35 -0800)] 
Tighten Safe Haskell bounds.

4 years agoM-x untabify & M-x delete-trailing-whitespace
Herbert Valerio Riedel [Tue, 11 Nov 2014 21:23:30 +0000 (22:23 +0100)] 
M-x untabify & M-x delete-trailing-whitespace

4 years agoUpdate Travis CI job
Herbert Valerio Riedel [Tue, 11 Nov 2014 21:13:55 +0000 (22:13 +0100)] 
Update Travis CI job

4 years agoBump `base` constraint for AMP
Herbert Valerio Riedel [Tue, 9 Sep 2014 15:34:28 +0000 (17:34 +0200)] 
Bump `base` constraint for AMP

4 years agoIgnore GHC test suite generated files.
Edward Z. Yang [Fri, 22 Aug 2014 13:21:21 +0000 (14:21 +0100)] 
Ignore GHC test suite generated files.

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
4 years agoadd testsuite-related gitignore entries
Herbert Valerio Riedel [Thu, 26 Jun 2014 21:28:37 +0000 (23:28 +0200)] 
add testsuite-related gitignore entries

4 years agoAdd .gitignore file.
Edward Z. Yang [Thu, 26 Jun 2014 16:19:02 +0000 (09:19 -0700)] 
Add .gitignore file.

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
5 years agoReplace deprecated pragmas by current LANGUAGE pragmas
Herbert Valerio Riedel [Tue, 25 Mar 2014 21:28:17 +0000 (22:28 +0100)] 
Replace deprecated pragmas by current LANGUAGE pragmas

This reduces the amount of compile warnings for the stm test-cases

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
5 years agostm064 was only fixed in GHC 7.6.2 ghc-7.8 ghc-7.8.1-release ghc-7.8.2-release stm-2.4.3-release
Herbert Valerio Riedel [Tue, 25 Mar 2014 20:35:35 +0000 (21:35 +0100)] 
stm064 was only fixed in GHC 7.6.2

This should fix the Travis-CI job for good

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
5 years agoTweak tests/runtests.sh to make it pass for older GHCs
Herbert Valerio Riedel [Tue, 25 Mar 2014 19:11:08 +0000 (20:11 +0100)] 
Tweak tests/runtests.sh to make it pass for older GHCs

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
5 years agoFix-up travis-CI script
Herbert Valerio Riedel [Tue, 25 Mar 2014 13:13:34 +0000 (14:13 +0100)] 
Fix-up travis-CI script

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
5 years agoIntegrate tests with TravisCI job
Herbert Valerio Riedel [Tue, 25 Mar 2014 13:05:47 +0000 (14:05 +0100)] 
Integrate tests with TravisCI job

A simple bash runner-script is included as the GHC testsuite runner
isn't available for the Travis-CI job

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
5 years agoBump to version 2.4.3 and convert changelog to markdown
Herbert Valerio Riedel [Sat, 22 Mar 2014 21:19:34 +0000 (22:19 +0100)] 
Bump to version 2.4.3 and convert changelog to markdown

The minor version bump is needed because new function were added since
last released version 2.4.2.

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
5 years agoAdd Travis-CI script & README
Herbert Valerio Riedel [Sun, 3 Nov 2013 12:09:44 +0000 (13:09 +0100)] 
Add Travis-CI script & README

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
5 years agoRefactor & update `stm.cabal` to `cabal-version>=1.10`
Herbert Valerio Riedel [Mon, 14 Oct 2013 20:02:35 +0000 (22:02 +0200)] 
Refactor & update `stm.cabal` to `cabal-version>=1.10`

As the current code fails to build with GHC 6.10, I've updated the Cabal
meta-data to declare support for GHC>=6.12 and dropped support for
base3. This also moves the changelog from the Cabal description field
into a separate `changelog` file and adds a few entries.

The code compiles warning-free for all tested GHC versions.

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
5 years agoadd mkWeakTVar (#7991)
Simon Marlow [Fri, 27 Sep 2013 01:09:25 +0000 (02:09 +0100)] 
add mkWeakTVar (#7991)

5 years agobump to 2.4.2.1
Simon Marlow [Mon, 27 May 2013 19:11:16 +0000 (20:11 +0100)] 
bump to 2.4.2.1

5 years agosync newBroadcastTChanIO with newBroadcastTChan
Simon Marlow [Mon, 27 May 2013 19:08:39 +0000 (20:08 +0100)] 
sync newBroadcastTChanIO with newBroadcastTChan

Spotted by wren ng thornton <wren@freegeek.org> on
libraries@haskell.org

5 years agoUpdate Git repo URL in `.cabal` file
Herbert Valerio Riedel [Wed, 11 Sep 2013 13:15:01 +0000 (15:15 +0200)] 
Update Git repo URL in `.cabal` file

5 years agoImplement isFullTBQueue
Austin Seipp [Sat, 7 Sep 2013 00:28:54 +0000 (19:28 -0500)] 
Implement isFullTBQueue

This was proposed on the libraries@ mailing list by Merijn with no
objections.

Authored-by: Merijn Verstraaten <merijn@inconsistent.nl>
Signed-off-by: Austin Seipp <aseipp@pobox.com>
6 years agoFix the names of several tests.
Austin Seipp [Sat, 4 May 2013 22:05:53 +0000 (17:05 -0500)] 
Fix the names of several tests.

They should follow the 'Txxxx' convention.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
6 years agoadd test for cloneTChan
Simon Marlow [Mon, 18 Feb 2013 11:01:55 +0000 (11:01 +0000)] 
add test for cloneTChan

6 years agofollow changes in testsuite driver
Simon Marlow [Mon, 18 Feb 2013 11:01:31 +0000 (11:01 +0000)] 
follow changes in testsuite driver

6 years agoput cloneTChan next to dupTChan in the docs
Simon Marlow [Mon, 18 Feb 2013 10:55:40 +0000 (10:55 +0000)] 
put cloneTChan next to dupTChan in the docs

6 years agoadd another test for #7493
Simon Marlow [Tue, 18 Dec 2012 09:29:44 +0000 (09:29 +0000)] 
add another test for #7493

6 years agoadd stm064 test
Simon Marlow [Tue, 11 Dec 2012 14:54:18 +0000 (14:54 +0000)] 
add stm064 test

6 years agoAdd a test for orElse bug
Simon Marlow [Mon, 10 Dec 2012 12:18:33 +0000 (12:18 +0000)] 
Add a test for orElse bug

Fixed in GHC commit f184d9caffa09750ef6a374a7987b9213d6db28e, see that
for more details.

6 years agofix warning
Simon Marlow [Mon, 19 Nov 2012 10:45:29 +0000 (10:45 +0000)] 
fix warning