--- /dev/null
+\begin{code}
+
+{-
+ next step:
+
+ - Transform code involving standing moves into two sequential
+ blocks: setup and teardown. Then establish proper sequencing
+ between them. The teardown block consists only of kills.
+
+ - Implement sequencing.
+-}
+
+module Main
+where
+import SBP
+import Types
+import Util
+import Fleet
+import Compile
+
+main = do t <- parseFile "src/edu/berkeley/fleet/f0/f0.g" "contrib/demo.f0"
+ putStrLn ""
+ putStrLn $ show $ coalesceFlatHeadlessNodes t
+ putStrLn ""
+ putStrLn $ join "\n\n" $ map show $ ((fromTree $ coalesceFlatHeadlessNodes t) :: [Def])
+ putStrLn ""
+ compiled <- return $ join "\n\n" $ map compileDef $ ((fromTree $ coalesceFlatHeadlessNodes t) :: [Def])
+ putStrLn $ compiled
+ writeFile "compiled.fleet" ("// compiled with f0\n\n"++compiled++"\n")
+ putStrLn ""
+
+\end{code}
+
+
+
+