Sockeye: Change default dest base for mapping to 0 (again...)
authorDaniel Schwyn <schwyda@student.ethz.ch>
Wed, 2 Aug 2017 15:37:53 +0000 (17:37 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Wed, 2 Aug 2017 15:37:53 +0000 (17:37 +0200)
Also clean up imports

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

tools/sockeye/Main.hs
tools/sockeye/SockeyeBackendProlog.hs
tools/sockeye/SockeyeInstantiator.hs
tools/sockeye/SockeyeNetBuilder.hs
tools/sockeye/SockeyeTypeChecker.hs

index 2b2e054..b5b33cd 100644 (file)
@@ -37,9 +37,6 @@ import SockeyeNetBuilder
 
 import qualified SockeyeBackendProlog as Prolog
 
-import Debug.Trace
-import Text.Groom(groom)
-
 {- Exit codes -}
 usageError :: ExitCode
 usageError = ExitFailure 1
@@ -265,9 +262,7 @@ main = do
             output f out
     ast <- typeCheck parsedAst
     instAst <- instanitateModules ast
-    -- putStrLn $ groom instAst
     netAst <- buildNet instAst
-    -- putStrLn $ groom netAst
     out <- compile (optTarget opts) netAst
     output outFile out
     
\ No newline at end of file
index 4be1bcb..5e4ffc5 100644 (file)
@@ -47,7 +47,7 @@ instance PrologGenerator AST.NetSpec where
 instance PrologGenerator AST.NodeId where
     generate ast = let
         name = AST.name ast
-        namespace = AST.namespace ast
+        namespace = filter ((> 0) . length) $ AST.namespace ast
         in predicate "nodeId" [atom name, list $ map atom namespace]
 
 instance PrologGenerator AST.NodeSpec where
index 7926ca0..8fbff9e 100644 (file)
@@ -25,9 +25,7 @@ import Control.Monad.State
 import Data.List (intercalate)
 import Data.Map (Map)
 import qualified Data.Map as Map
-import Data.Maybe (fromMaybe, maybe)
-import Data.Set (Set)
-import qualified Data.Set as Set
+import Data.Maybe (fromMaybe)
 
 import Numeric (showHex)
 
@@ -36,9 +34,6 @@ import SockeyeChecks
 import qualified SockeyeASTTypeChecker as CheckAST
 import qualified SockeyeASTInstantiator as InstAST
 
-import Text.Groom (groom)
-import Debug.Trace
-
 data InstFail
     = ModuleInstLoop     [String]
     | DuplicateNamespace !String
@@ -68,8 +63,7 @@ data Context = Context
 
 instantiateSockeye :: CheckAST.SockeyeSpec -> Either (FailedChecks InstFail) InstAST.SockeyeSpec
 instantiateSockeye ast = do
-    let emptySpec = CheckAST.SockeyeSpec 
-        context = Context
+    let context = Context
             { modules     = Map.empty
             , modulePath  = []
             , paramValues = Map.empty
@@ -259,7 +253,7 @@ instance Instantiatable CheckAST.NodeDecl [InstAST.NodeDecl] where
         return $ [instDecl]
 
 instance Instantiatable CheckAST.Identifier InstAST.Identifier where
-    instantiate context (CheckAST.SimpleIdent name) = do
+    instantiate _ (CheckAST.SimpleIdent name) = do
         return name
     instantiate context ast = do
         let prefix = CheckAST.prefix ast
@@ -321,7 +315,7 @@ instance Instantiatable CheckAST.MapSpec InstAST.MapSpec where
     instantiate context ast = do
         let block = CheckAST.block ast
             destNode = CheckAST.destNode ast
-            destBase = fromMaybe (CheckAST.base block) (CheckAST.destBase ast)
+            destBase = fromMaybe (CheckAST.LiteralAddress 0) (CheckAST.destBase ast)
         instBlock <- instantiate context block
         instDestNode <- instantiate context destNode
         instDestBase <- instantiate context destBase
index 19afb5d..ad26844 100644 (file)
@@ -22,11 +22,9 @@ module SockeyeNetBuilder
 
 import Control.Monad.State
 
-import Data.Either
-import Data.List (nub, intercalate, sort)
+import Data.List (sort)
 import Data.Map (Map)
 import qualified Data.Map as Map
-import Data.Maybe (fromMaybe)
 import Data.Set (Set)
 import qualified Data.Set as Set
 
@@ -35,8 +33,6 @@ import SockeyeChecks
 import qualified SockeyeASTInstantiator as InstAST
 import qualified SockeyeASTDecodingNet as NetAST
 
-import Debug.Trace
-
 data NetBuildFail
     = UndefinedOutPort   !String !String
     | UndefinedInPort    !String !String
index 7144e27..c4dfeb9 100644 (file)
@@ -22,7 +22,6 @@ module SockeyeTypeChecker
 
 import Control.Monad
 
-import Data.List (nub)
 import Data.Map(Map)
 import qualified Data.Map as Map
 import Data.Set (Set)
@@ -34,8 +33,6 @@ import SockeyeChecks
 import qualified SockeyeASTParser as ParseAST
 import qualified SockeyeASTTypeChecker as CheckAST
 
-import Debug.Trace
-
 data TypeCheckFail
     = DuplicateModule String
     | DuplicateParameter String