make the code more warning free

5 files changed, 20 insertions, 23 deletions

diff --git a/Makefile b/Makefile
index 70257fed..4ae63821 100644
--- a/Makefile
+++ b/Makefile
@@ -3,7 +3,7 @@ all:
         cabal install --constraint="indentation -trifecta"
 
 repl:
-        cd test && ghci -i../src runTests.hs
+        cd test && ghci -Wall -fno-warn-name-shadowing -fno-warn-unused-matches -fno-warn-missing-signatures -fno-warn-incomplete-patterns -fno-warn-overlapping-patterns -fno-warn-type-defaults -i../src runTests.hs
 
 coverage:
         ./run-test-suite.sh --coverage
diff --git a/src/LambdaCube/Compiler/CoreToIR.hs b/src/LambdaCube/Compiler/CoreToIR.hs
index c13c63c3..6db2d3a2 100644
--- a/src/LambdaCube/Compiler/CoreToIR.hs
+++ b/src/LambdaCube/Compiler/CoreToIR.hs
@@ -7,6 +7,7 @@
 {-# LANGUAGE DeriveFunctor #-}
 {-# LANGUAGE DeriveFoldable #-}
 {-# LANGUAGE DeriveTraversable #-}
+{-# OPTIONS_GHC -fno-warn-unused-binds #-}  -- TODO: remove
 module LambdaCube.Compiler.CoreToIR
     ( compilePipeline
     , Exp, toExp, tyOf, outputType, boolType, trueExp
@@ -20,17 +21,17 @@ import Data.Set (Set)
 import qualified Data.Set as Set
 import Data.Map (Map)
 import qualified Data.Map as Map
-import Data.Vector (Vector,(!))
+import Data.Vector ((!))
 import qualified Data.Vector as Vector
-import Control.Applicative
+--import Control.Applicative
 import Control.Arrow hiding ((<+>))
 import Control.Monad.Writer
 import Control.Monad.State
 import Control.Monad.Reader
-import Control.Monad.Except
-import Control.Monad.Identity
-import Text.Parsec.Pos
-import Debug.Trace
+--import Control.Monad.Except
+--import Control.Monad.Identity
+--import Text.Parsec.Pos
+--import Debug.Trace
 
 import IR(Backend(..))
 import qualified IR as IR
diff --git a/src/LambdaCube/Compiler/Driver.hs b/src/LambdaCube/Compiler/Driver.hs
index db19c0ef..6d54393c 100644
--- a/src/LambdaCube/Compiler/Driver.hs
+++ b/src/LambdaCube/Compiler/Driver.hs
@@ -4,6 +4,7 @@
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE ScopedTypeVariables #-}
+{-# OPTIONS_GHC -fno-warn-orphans #-}  -- instance MonadMask m => MonadMask (ExceptT e m)
 module LambdaCube.Compiler.Driver
     ( Backend(..)
     , Pipeline
@@ -18,10 +19,10 @@ module LambdaCube.Compiler.Driver
     , catchMM, catchErr
     , ioFetch
     , getDef, compileMain, preCompile
+    , removeFromCache
     ) where
 
 import Data.List
-import Data.Maybe
 import Data.Map (Map)
 import qualified Data.Map as Map
 import Control.Monad.State
@@ -35,7 +36,7 @@ import Control.Exception hiding (catch, bracket, finally, mask)
 import Control.Arrow hiding ((<+>))
 import System.Directory
 import System.FilePath
-import Debug.Trace
+--import Debug.Trace
 import qualified Data.Text as T
 import qualified Data.Text.IO as TIO
 
diff --git a/src/LambdaCube/Compiler/Infer.hs b/src/LambdaCube/Compiler/Infer.hs
index ebc27035..b3c0fbf6 100644
--- a/src/LambdaCube/Compiler/Infer.hs
+++ b/src/LambdaCube/Compiler/Infer.hs
@@ -10,6 +10,8 @@
 {-# LANGUAGE RecursiveDo #-}
 {-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
+{-# OPTIONS_GHC -fno-warn-unused-binds #-}  -- TODO: remove
+{-# OPTIONS_GHC -fno-warn-orphans #-}  -- instance NFData SourcePos
 module LambdaCube.Compiler.Infer
     ( Binder (..), SName, Lit(..), Visibility(..), FunName(..), CaseFunName(..), ConName(..), TyConName(..), Export(..), ModuleR(..)
     , Exp (..), GlobalEnv
@@ -40,7 +42,6 @@ import Control.Monad.State
 import Control.Monad.Identity
 import Control.Arrow hiding ((<+>))
 import Control.Applicative
-import Control.Exception hiding (try)
 import Control.DeepSeq
 
 import Text.Parsec hiding (label, Empty, State, (<|>), many, try)
diff --git a/test/runTests.hs b/test/runTests.hs
index 5cbb01bc..9c494db4 100644
--- a/test/runTests.hs
+++ b/test/runTests.hs
@@ -7,33 +7,27 @@ module Main where
 import Data.List
 import Data.Time.Clock
 import Control.Applicative
-import Control.Arrow
 import Control.Concurrent
 import Control.Concurrent.Async
 import Control.Monad
 import Control.Monad.Reader
-
-import System.Environment
+import Control.Exception hiding (catch)
+import Control.Monad.Trans.Control
+import Control.DeepSeq
 import System.Exit
 import System.Directory
 import System.FilePath
 import System.IO
-import Control.Exception hiding (catch)
-import Control.Monad.Trans.Control
-import Control.Monad.Catch
-import Control.DeepSeq
 import Options.Applicative
-import Options.Applicative.Types
-import Text.Printf
 
 import qualified Data.Text as T
 import qualified Data.Text.IO as TIO
+import Text.Printf
+import Text.Parsec.Pos
 
-import LambdaCube.Compiler.Pretty hiding ((</>))
+import LambdaCube.Compiler.Pretty (ppShow)
+import LambdaCube.Compiler.CoreToIR (compilePipeline)
 import LambdaCube.Compiler.Driver
-import LambdaCube.Compiler.CoreToIR
-import IR (Backend(..))
-import Text.Parsec.Pos
 
 ------------------------------------------ utils