Sockeye: clean up
authorDaniel Schwyn <schwyda@student.ethz.ch>
Wed, 19 Jul 2017 14:19:12 +0000 (16:19 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Wed, 19 Jul 2017 14:19:12 +0000 (16:19 +0200)
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

tools/sockeye/Main.hs
tools/sockeye/SockeyeAST.hs
tools/sockeye/SockeyeBackendProlog.hs
tools/sockeye/SockeyeNetBuilder.hs
tools/sockeye/SockeyeParser.hs

index 9b9a1d1..2ffa201 100644 (file)
@@ -15,8 +15,6 @@ module Main where
 
 import Control.Monad
 
-import Data.List
-import Data.Map (Map)
 import qualified Data.Map as Map
 
 import System.Console.GetOpt
@@ -34,9 +32,6 @@ import SockeyeNetBuilder
 
 import qualified SockeyeBackendProlog as Prolog
 
-import Debug.Trace
-import Text.Groom(groom)
-
 {- Exit codes -}
 usageError :: ExitCode
 usageError = ExitFailure 1
@@ -199,7 +194,6 @@ main = do
     opts <- compilerOpts args
     let inFile = optInputFile opts
     parsedAst <- parseSpec inFile
-    -- trace (groom parsedAst) $ return ()
     ast <- checkAST parsedAst
     netAst <- buildNet ast
     out <- compile (optTarget opts) netAst
index 2460961..6c338c3 100644 (file)
@@ -16,7 +16,6 @@
 module SockeyeAST where
 
 import Data.Map (Map)
-import Data.Set (Set)
 
 newtype SockeyeSpec = SockeyeSpec
     { modules :: Map String Module }
index e78333c..d819d38 100644 (file)
@@ -19,7 +19,6 @@ module SockeyeBackendProlog
 import Data.Char
 import Data.List
 import qualified Data.Map as Map
-import Data.Maybe
 import Numeric (showHex)
 
 import qualified SockeyeASTDecodingNet as AST
@@ -88,6 +87,7 @@ instance PrologGenerator a => PrologGenerator [a] where
 
 {- Helper functions -}
 atom :: String -> String
+atom "" = ""
 atom name@(c:cs)
     | isLower c && allAlphaNum cs = name
     | otherwise = quotes name
index a58c458..f0cccae 100644 (file)
@@ -26,20 +26,15 @@ import Data.Either
 import Data.List (nub, intercalate, sort)
 import Data.Map (Map)
 import qualified Data.Map as Map
-import Data.Maybe (catMaybes, fromMaybe, maybe)
+import Data.Maybe (fromMaybe)
 import Data.Set (Set)
 import qualified Data.Set as Set
 
-import Numeric (showHex)
-
 import qualified SockeyeAST as AST
 import qualified SockeyeASTDecodingNet as NetAST
 
-import Debug.Trace
-
 type NetNodeDecl = (NetAST.NodeId, NetAST.NodeSpec)
 type NetList = [NetNodeDecl]
-type PortList = [NetAST.NodeId]
 type PortMap = [(String, NetAST.NodeId)]
 
 data FailedCheck
@@ -261,8 +256,8 @@ instance NetTransformable AST.PortMap PortMap where
         return [(NetAST.name netMappedPort, netMappedId)]
 
 instance NetTransformable AST.ModuleArg Integer where
-    transform context (AST.AddressArg value) = return value
-    transform context (AST.NaturalArg value) = return value
+    transform _ (AST.AddressArg value) = return value
+    transform _ (AST.NaturalArg value) = return value
     transform context (AST.ParamArg name) = return $ getParamValue context name
 
 instance NetTransformable AST.Identifier NetAST.NodeId where
@@ -514,7 +509,7 @@ class NetCheckable a where
     check :: Set NetAST.NodeId -> a -> Either CheckFailure ()
 
 instance NetCheckable NetAST.NetSpec where
-    check context (NetAST.NetSpec net) = do
+    check _ (NetAST.NetSpec net) = do
         let
             specContext = Map.keysSet net
         check specContext $ Map.elems net
index 544d56b..0b15ace 100644 (file)
 module SockeyeParser
 ( parseSockeye ) where
 
-import Control.Monad
-
-import Data.Maybe (fromMaybe)
-
 import Text.Parsec
 import qualified Text.Parsec.Token as P
 import Text.Parsec.Language (javaStyle)
@@ -337,7 +333,6 @@ parens        = P.parens lexer
 brackets      = P.brackets lexer
 braces        = P.braces lexer
 symbol        = P.symbol lexer
-stringLiteral = P.stringLiteral lexer
 commaSep      = P.commaSep lexer
 commaSep1     = P.commaSep1 lexer
 identString    = P.identifier lexer