Merge pull request #19 from mainland/master
authorEdward Kmett <ekmett@gmail.com>
Tue, 16 Sep 2014 21:03:24 +0000 (17:03 -0400)
committerEdward Kmett <ekmett@gmail.com>
Tue, 16 Sep 2014 21:03:24 +0000 (17:03 -0400)
commit279163ead86fb0bbaa7f33a4aa5176d8a9658543
tree59df396d6e169ae5d0611016b9bc5f03d8cb500a
parent922855f9e97ca1f8406959ef7d4b4ad535bcc0a9
parent74765698fc6e1ec50ae4bd986b796cc20081ce0b
Merge pull request #19 from mainland/master

Fix compilation with GHC HEAD.