chore: Suppress some warnings we'll fix later.

src/Data/Binary/Bits/Get.hs

@@ -5,6 +5,7 @@
 {-# OPTIONS_GHC -Wno-incomplete-patterns #-}
 {-# OPTIONS_GHC -Wno-missing-signatures #-}
 {-# OPTIONS_GHC -Wno-name-shadowing #-}
+{-# OPTIONS_GHC -Wno-noncanonical-monad-instances #-}
 {-# OPTIONS_GHC -Wno-unused-top-binds #-}
 
 -----------------------------------------------------------------------------

src/Data/Binary/Bits/Put.hs

@@ -11,6 +11,7 @@
 -- Put bits easily.
 -----------------------------------------------------------------------------
 
+{-# OPTIONS_GHC -Wno-noncanonical-monad-instances #-}
 module Data.Binary.Bits.Put
           ( BitPut
           , runBitPut

src/Network/Tox/Crypto/KeyPair.lhs

@@ -12,6 +12,7 @@ standard group element and the Secret Key.  See the
 \href{https://nacl.cr.yp.to/scalarmult.html}{NaCl documentation} for details.
 
 \begin{code}
+{-# OPTIONS_GHC -Wno-incomplete-uni-patterns #-}
 {-# LANGUAGE DeriveDataTypeable #-}
 {-# LANGUAGE DeriveGeneric      #-}
 {-# LANGUAGE OverloadedStrings  #-}

src/Network/Tox/Crypto/Keyed.hs

@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -Wno-noncanonical-monad-instances #-}
 {-# LANGUAGE FlexibleInstances     #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE Safe                  #-}
@@ -7,9 +8,9 @@
 -- | Monad class for caching of combined keys
 module Network.Tox.Crypto.Keyed where
 
-import           Control.Monad.RWS              (RWST)
 import           Control.Monad.Random           (RandT)
 import           Control.Monad.Reader           (ReaderT)
+import           Control.Monad.RWS              (RWST)
 import           Control.Monad.State            (StateT)
 import           Control.Monad.Trans            (lift)
 import           Control.Monad.Writer           (WriterT)

src/Network/Tox/Crypto/Nonce.lhs

@@ -14,6 +14,7 @@ the system as non friends could tie some people's DHT keys and long term keys
 together.
 
 \begin{code}
+{-# OPTIONS_GHC -Wno-incomplete-uni-patterns #-}
 {-# LANGUAGE StrictData  #-}
 {-# LANGUAGE Trustworthy #-}
 module Network.Tox.Crypto.Nonce where

src/Network/Tox/DHT/Distance.lhs

@@ -1,6 +1,7 @@
 \section{Distance}
 
 \begin{code}
+{-# OPTIONS_GHC -Wno-noncanonical-monad-instances #-}
 {-# LANGUAGE MagicHash   #-}
 {-# LANGUAGE StrictData  #-}
 {-# LANGUAGE Trustworthy #-}
@@ -36,11 +37,10 @@ newtype Distance = Distance Integer
 
 
 instance Semigroup Distance where
-  (Distance x) <> (Distance y) = Distance (x + y)
+  Distance x <> Distance y = Distance (x + y)
 
 instance Monoid Distance where
   mempty = Distance 0
-  mappend (Distance x) (Distance y) = Distance (x + y)
 
 
 instance Show Distance where

src/Network/Tox/DHT/KBuckets.lhs

@@ -5,6 +5,7 @@ certain key called the base key.  The base key is constant throughout the
 lifetime of a k-buckets instance.
 
 \begin{code}
+{-# OPTIONS_GHC -Wno-incomplete-uni-patterns #-}
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
 {-# LANGUAGE NamedFieldPuns             #-}
 {-# LANGUAGE StrictData                 #-}
@@ -194,7 +195,7 @@ traverseClientLists f kBuckets@KBuckets{ buckets } =
   (\x -> kBuckets{ buckets = x }) <$> traverse f (reverseT buckets)
   where
     reverseT :: (Traversable t) => t a -> t a
-    reverseT t = snd (mapAccumR (\ (x:xs) _ -> (xs, x)) (toList t) t)
+    reverseT t = snd (mapAccumR (\(x:xs) _ -> (xs, x)) (toList t) t)
 
 closeNodes :: PublicKey -> KBuckets -> [ (Distance, NodeInfo) ]
 closeNodes publicKey KBuckets{ baseKey, buckets } =

test/Data/Result.hs

@@ -27,8 +27,6 @@ instance Alternative Result where
     _            <|> r = r
 
 instance Monad Result where
-    return = Success
-
     Success x   >>= f = f x
     Failure msg >>= _ = Failure msg
 

test/Network/Tox/Crypto/KeySpec.hs

@@ -1,3 +1,4 @@
+{-# OPTIONS_GHC -Wno-incomplete-uni-patterns #-}
 {-# LANGUAGE FlexibleContexts    #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE StrictData          #-}

toxcore.cabal

@@ -23,7 +23,7 @@ flag library-only
 library
   default-language: Haskell2010
   hs-source-dirs:   src
-  ghc-options:      -Wall -Wno-unused-imports
+  ghc-options:      -Wall
   exposed-modules:
     Data.Binary.Bits
     Data.Binary.Bits.Get
@@ -101,7 +101,7 @@ library
 executable toxsave-convert
   default-language: Haskell2010
   hs-source-dirs:   tools
-  ghc-options:      -Wall -Wno-unused-imports
+  ghc-options:      -Wall
   main-is:          toxsave-convert.hs
   build-depends:
       base        <5
@@ -138,7 +138,7 @@ test-suite testsuite
   default-language:   Haskell2010
   type:               exitcode-stdio-1.0
   hs-source-dirs:     test
-  ghc-options:        -Wall -Wno-unused-imports
+  ghc-options:        -Wall
   main-is:            testsuite.hs
   other-modules:
     Data.Result