clean all warnings

Author: ulysses4ever

gibbon-compiler/src/Gibbon/Compiler.hs

@@ -66,7 +66,7 @@ import           Gibbon.Passes.Simplifier     (simplifyL1, lateInlineTriv, simpl
 -- import           Gibbon.Passes.Sequentialize  (sequentialize)
 
 import           Gibbon.Passes.DirectL3       (directL3)
-import           Gibbon.Passes.InferLocations (inferLocs, copyOutOfOrderPacked, fixRANs, removeAliasesForCopyCalls)
+import           Gibbon.Passes.InferLocations (inferLocs, fixRANs, removeAliasesForCopyCalls)
 -- This is the custom pass reference to issue #133 that moves regionsInwards
 import           Gibbon.Passes.RegionsInwards (regionsInwards)
 -- import           Gibbon.Passes.RepairProgram  (repairProgram)
@@ -91,7 +91,6 @@ import           Gibbon.Passes.Lower          (lower)
 import           Gibbon.Passes.RearrangeFree  (rearrangeFree)
 import           Gibbon.Passes.Codegen        (codegenProg)
 import           Gibbon.Passes.Fusion2        (fusion2)
-import Gibbon.Passes.CalculateBounds          (inferRegSize)
 import           Gibbon.Pretty
 import           Gibbon.L1.GenSML
 -- Configuring and launching the compiler.

gibbon-compiler/src/Gibbon/L0/Typecheck.hs

@@ -583,6 +583,7 @@ tcExp ddefs sbst venv fenv bound_tyvars is_main ex = (\(a,b,c) -> (a,b,c)) <$>
 
         Write3dPpmFile{} -> err $ text "Write3dPpmFile"
         RequestSizeOf-> err $ text "Unexpected RequestSizeOf in L0: " <+> exp_doc
+        RequestEndOf -> err $ text "Unexpected RequestEndOf in L0: " <+> exp_doc
 
 
     LetE (v, [], gvn_rhs_ty, rhs) bod -> do

gibbon-compiler/src/Gibbon/L1/Syntax.hs

@@ -24,7 +24,6 @@ import Text.PrettyPrint.GenericPretty
 import Gibbon.Language
 import Gibbon.Common
 
-import           Data.Graph                     as G
 import qualified Data.Map                       as M
 import           Prelude                        as P
 

gibbon-compiler/src/Gibbon/L1/Typecheck.hs

@@ -574,6 +574,7 @@ tcExp ddfs env exp =
 
         Write3dPpmFile{} -> throwError $ GenericTC "Write3dPpmFile not handled yet" exp
 
+        RequestEndOf{} -> throwError $ GenericTC  "tcExp of PrimAppE: RequestEndOf not handled yet" exp
 
     LetE (v,[],SymDictTy _ pty, rhs) e -> do
       tyRhs <- go rhs

gibbon-compiler/src/Gibbon/L2/Syntax.hs

@@ -5,6 +5,7 @@
 
 {-# LANGUAGE DeriveAnyClass #-}
 
+{-# OPTIONS_GHC -Wno-redundant-constraints #-}
 {-# OPTIONS_GHC -fno-warn-name-shadowing #-}
 {-# OPTIONS_GHC -fno-warn-orphans #-}
 {-# OPTIONS_GHC -fdefer-typed-holes #-}

gibbon-compiler/src/Gibbon/L2/Typecheck.hs

@@ -20,13 +20,12 @@ module Gibbon.L2.Typecheck
 import           Control.DeepSeq
 import           Control.Monad
 import           Control.Monad.Except
-import           Data.Foldable ( foldlM, foldrM )
+import           Data.Foldable ( foldlM )
 import qualified Data.Set as S
 import qualified Data.List as L
 import qualified Data.Map as M
 import           Data.Maybe
 import           Text.PrettyPrint.GenericPretty
-import           Debug.Trace
 
 import           Gibbon.Common
 import           Gibbon.L2.Syntax as L2
@@ -672,6 +671,8 @@ tcExp ddfs env funs constrs regs tstatein exp =
 
                  Write3dPpmFile{} -> throwError $ GenericTC "Write3dPpmFile not handled yet" exp
 
+                 RequestEndOf{} -> throwError $ GenericTC  "tcExp of PrimAppE: RequestEndOf not handled yet" exp
+
 
       LetE (v,_ls,ty,e1) e2 -> do
 

gibbon-compiler/src/Gibbon/L3/Syntax.hs

@@ -25,13 +25,6 @@ import qualified Data.Set as S
 import qualified Data.List as L
 import Text.PrettyPrint.GenericPretty
 
--- * Functions
-import           Control.DeepSeq
-import qualified Data.List                      as L
-import qualified Data.Map                       as M
-import qualified Data.Set                       as S
-import           Text.PrettyPrint.GenericPretty
-
 import           Gibbon.Common
 -- import qualified Gibbon.L2.Syntax               as L2
 import           Gibbon.Language                hiding (mapMExprs)

gibbon-compiler/src/Gibbon/L3/Typecheck.hs

@@ -748,6 +748,7 @@ tcExp isPacked ddfs env exp =
 
         Write3dPpmFile{} -> throwError $ GenericTC "Write3dPpmFile not handled yet" exp
 
+        RequestEndOf{} -> throwError $ GenericTC "RequestEndOf not handled yet" exp
 
 
     LetE (v,[],SymDictTy _ _pty, rhs) e -> do

gibbon-compiler/src/Gibbon/L4/Interp.hs

@@ -81,6 +81,7 @@ eval _   (TagTriv t) = TagVal t
 eval _   (SymTriv _) = error "eval: SymTriv not handled"
 eval _   (ProdTriv{}) = error "eval: ProdTriv not handled"
 eval _   (ProjTriv{}) = error "eval: ProjTriv not handled"
+eval _   (BoolTriv{}) = error "eval: BoolTriv not handled"
 
 
 exec :: Env -> Tail -> IO [Val]

gibbon-compiler/src/Gibbon/Language.hs

@@ -1,3 +1,4 @@
+{-# LANGUAGE TypeOperators         #-}
 {-# LANGUAGE FlexibleContexts      #-}
 {-# LANGUAGE FlexibleInstances     #-}
 {-# LANGUAGE UndecidableInstances  #-}
@@ -109,7 +110,7 @@ instance FreeVars (e l d) => FreeVars (PreExp e l d) where
 
 
 -- | A Typeable instance for L1 and L3 (L2 defines it's own)
-instance (Show (), Out (), Expression (e () (UrTy ())),
+instance (Show (), Out (),
           TyOf (e () (UrTy ())) ~ TyOf (PreExp e () (UrTy ())),
           FunctionTy (UrTy ()), Typeable (e () (UrTy ())))
        => Typeable (PreExp e () (UrTy ())) where