Merge pull request #4 from hvr/pr/TSem-improvements
authorSimon Marlow <marlowsd@gmail.com>
Fri, 5 Jan 2018 21:20:30 +0000 (21:20 +0000)
committerGitHub <noreply@github.com>
Fri, 5 Jan 2018 21:20:30 +0000 (21:20 +0000)
commit814035a5eb23c362aacf7d709e9209e6c5cb2876
tree5972df73c57a49a08aef43fd6a831e5d25664c02
parentf01196fdad645852d11a05b5fa244dabab76c685
parenta39a7ec5948a3411c8f3b18f25a2c63fbb57c8c3
Merge pull request #4 from hvr/pr/TSem-improvements

Make `signalTSem` resilient against `Int` overflows