Sockeye: Correct imports
authorDaniel Schwyn <schwyda@student.ethz.ch>
Fri, 30 Jun 2017 08:19:07 +0000 (10:19 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Fri, 30 Jun 2017 08:19:07 +0000 (10:19 +0200)
Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>

tools/sockeye/Main.hs
tools/sockeye/SockeyeBackendPrintAST.hs
tools/sockeye/SockeyeBackendProlog.hs
tools/sockeye/SockeyeChecker.hs
tools/sockeye/SockeyeParser.hs

index c3793f6..36a39d3 100644 (file)
@@ -20,7 +20,9 @@ import System.Exit
 import System.Environment
 import System.IO
 
-import SockeyeAST as AST
+import SockeyeASTFrontend as AST1
+import SockeyeASTBackend as AST2
+
 import SockeyeParser
 import SockeyeChecker
 import qualified SockeyeBackendPrintAST as PrintAST
@@ -104,7 +106,7 @@ compilerOpts argv =
             exitWith $ ExitFailure 1
 
 {- Runs the parser -}
-parseFile :: FilePath -> IO (AST.NetSpec)
+parseFile :: FilePath -> IO (AST2.NetSpec)
 parseFile file = do
     src <- readFile file
     case parseSockeye file src of
@@ -114,7 +116,7 @@ parseFile file = do
         Right ast -> return ast
 
 {- Runs the checker -}
-checkAST :: AST.NetSpec -> IO ()
+checkAST :: AST2.NetSpec -> IO ()
 checkAST ast = do
     case checkSockeye ast of 
         [] -> return ()
@@ -127,7 +129,7 @@ checkAST ast = do
                                        Just nodeId -> ("In specification of node '" ++ show nodeId ++ "':"):indented
 
 {- Compiles the AST with the appropriate backend -}
-compile :: Target -> AST.NetSpec -> IO String
+compile :: Target -> AST2.NetSpec -> IO String
 compile None     _   = return ""
 compile PrintAST ast = return $ PrintAST.compile ast
 compile Prolog   ast = return $ Prolog.compile ast
index 55f42c7..b90a99c 100644 (file)
@@ -16,7 +16,7 @@
 module SockeyeBackendPrintAST
 ( compile ) where
 
-import qualified SockeyeAST as AST
+import qualified SockeyeASTBackend as AST
 
 compile :: AST.NetSpec -> String
 compile = show
index 4d043d1..ef6635b 100644 (file)
@@ -20,7 +20,7 @@ import Data.List
 import Data.Char
 import Numeric (showHex)
 
-import qualified SockeyeAST as AST
+import qualified SockeyeASTBackend as AST
 
 compile :: AST.NetSpec -> String
 compile = generate
index c8c6b6e..5a51ed0 100644 (file)
@@ -25,7 +25,7 @@ import Data.Set (Set)
 import qualified Data.Set as Set
 import Data.Char (toLower)
 
-import qualified SockeyeAST as AST
+import qualified SockeyeASTBackend as AST
 
 type CheckFailure = (Maybe AST.NodeId, String)
 
index 680835a..efdce4c 100644 (file)
@@ -22,7 +22,7 @@ import Text.ParserCombinators.Parsec as Parsec
 import qualified Text.ParserCombinators.Parsec.Token as P
 import Text.ParserCombinators.Parsec.Language (javaStyle)
 
-import qualified SockeyeAST as AST
+import qualified SockeyeASTBackend as AST
 
 {- Setup the lexer -}
 lexer = P.makeTokenParser (