Sockeye: Start reimplementing net builder on top of instantiator
[barrelfish] / tools / sockeye / SockeyeASTDecodingNet.hs
index 33ebb02..eb0ab90 100644 (file)
 
 module SockeyeASTDecodingNet where
 
-import Data.Map(Map)
+import Data.List (intercalate)
+import Data.Map (Map)
 
 type NetSpec = Map NodeId NodeSpec
 
 data NodeId = NodeId
     { namespace :: [String]
     , name      :: !String
-    } deriving (Eq, Ord, Show)
+    } deriving (Eq, Ord)
 
-data NodeSpec = NodeSpec
-    { nodeType  :: NodeType
-    , accept    :: [BlockSpec]
-    , translate :: [MapSpec]
-    , overlay   :: Maybe NodeId
-    } deriving (Show)
+instance Show NodeId where
+    show (NodeId ns n) = intercalate "." $ reverse (n:ns)
+
+data NodeSpec
+    = NodeSpec
+        { nodeType  :: NodeType
+        , accept    :: [BlockSpec]
+        , translate :: [MapSpec]
+        }
+    deriving (Show)
 
 data NodeType
     = Memory
@@ -48,4 +53,4 @@ data MapSpec = MapSpec
     , destBase :: Address
     } deriving (Show)
 
-type Address = Word
+type Address = Integer