Builds warning free with both ghc 7.10 and 8.0 now

Also:

* Upgrade mafia.
* Cabal file: Relax QuickCheck dependency bounds.

README.md

@@ -54,7 +54,7 @@ and the tests run using:
 ./mafia test
 ```
 
-Grenade is currently known to build with ghc 7.10. We are working on making it build with ghc 8.0.
+Grenade is currently known to build with ghc 7.10 and 8.0.
 
 
 Thanks

grenade.cabal

@@ -97,5 +97,5 @@ test-suite test
                      , hmatrix
                      , mtl
                      , text                            == 1.2.*
-                     , QuickCheck                      == 2.7.*
+                     , QuickCheck                      >= 2.7        && < 2.9
                      , quickcheck-instances            == 0.3.*

mafia

@@ -118,4 +118,4 @@ case "$MODE" in
 upgrade) shift; run_upgrade "$@" ;;
 *) exec_mafia "$@"
 esac
-# Version: dbbe635d8f98be1815130f04465c155f414985bf
+# Version: a1b39ee8ac1969ed2e891b9062d079be75863e99

src/Grenade/Core/Runner.hs

@@ -25,7 +25,7 @@ train :: forall m i o hs. (Monad m, Head hs ~ i, Last hs ~ o, KnownShape i, Know
       -> m (Network m hs)
 train rate x0 target = fmap fst . go x0
   where
-    go  :: forall m' j js. (Monad m', Head js ~ j, Last js ~ o, KnownShape j, KnownShape o)
+    go  :: forall m' j js. (Monad m', Head js ~ j, Last js ~ o, KnownShape j)
         => S' j                -- ^ input vector
         -> Network m' js       -- ^ network to train
         -> m' (Network m' js, S' j)

src/Grenade/Core/Shape.hs

@@ -11,6 +11,10 @@
 {-# LANGUAGE FlexibleContexts      #-}
 {-# LANGUAGE FlexibleInstances     #-}
 
+-- Ghc 8.0 gives a warning on `(+)  _ _ = error ...` but ghc 7.10 fails to
+-- compile without this default pattern.
+{-# OPTIONS_GHC -fno-warn-overlapping-patterns #-}
+
 module Grenade.Core.Shape (
     Shape (..)
   , S' (..)