Sockeye: Allow to instantiate modules with inlined range in name space
[barrelfish] / tools / sockeye / SockeyeASTFrontend.hs
index 5b50bf2..f73c63b 100644 (file)
@@ -59,7 +59,9 @@ data ModuleInst
         , nameSpace    :: Identifier
         , arguments    :: [ModuleArg]
         , portMappings :: [PortMap]
-        } deriving (Show)
+        }
+    | MultiModuleInst (For ModuleInst)
+    deriving (Show)
 
 data ModuleArg
     = AddressArg !Word