diff options
author | Alberto Ruiz <aruiz@um.es> | 2017-07-26 09:55:40 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-26 09:55:40 +0200 |
commit | 24fa00edb95f61db49f74c09157b898a60fc3d19 (patch) | |
tree | 002a13425e32fdeff4601be0d8b1bb2a851b9181 /packages/base/THANKS.md | |
parent | a08df91da6362d348635211a6d77d85501a72ab2 (diff) | |
parent | 8e79121454171b145e5d102e5713299b43604d88 (diff) |
Merge pull request #231 from nh2/ghc-8.2
Fix compilation with GHC 8.2 by adding some type signatures.
Diffstat (limited to 'packages/base/THANKS.md')
0 files changed, 0 insertions, 0 deletions