From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Mon, 2 Feb 2009 14:28:24 +0000 (+0100)
Subject: Print the final session after the output.
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=75136a5c9de4712777d4800c01b16a33d9e5c839;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

Print the final session after the output.
---

diff --git a/Translator.hs b/Translator.hs
index bdf6688..40362cd 100644
--- a/Translator.hs
+++ b/Translator.hs
@@ -48,9 +48,10 @@ main =
           let binds = Maybe.mapMaybe (findBind (cm_binds core)) ["shalf_adder"]
           liftIO $ printBinds binds
           -- Turn bind into VHDL
-          let vhdl = State.evalState (mkVHDL binds) (VHDLSession 0 [])
+          let (vhdl, sess) = State.runState (mkVHDL binds) (VHDLSession 0 [])
           liftIO $ putStr $ render $ ForSyDe.Backend.Ppr.ppr vhdl
           liftIO $ ForSyDe.Backend.VHDL.FileIO.writeDesignFile vhdl "../vhdl/vhdl/output.vhdl"
+          liftIO $ putStr $ "\n\nFinal session:\n" ++ show sess
           return ()
   where
     -- Turns the given bind into VHDL