I request that this pull request be merged without an in-depth review since it doesn't change the functionality of ghcjs-base in any way. If you spotted mistakes or things to improve, you could fix it later after merging this or push commits to my master branch before merging if you are a maintainer.
With https://github.com/ghcjs/ghcjs/pull/537, this pull request closes https://github.com/ghcjs/ghcjs/issues/525.
I request that this pull request be merged without an in-depth review since it doesn't change the functionality of ghcjs-base in any way. If you spotted mistakes or things to improve, you could fix it later after merging this or push commits to my master branch before merging if you are a maintainer.