[Merge changes by Kazutaka and me, do not use renderCode in Main.hs
Joachim Breitner <mail@joachim-breitner.de>**20100915140513
 Ignore-this: a4f8c47c9a3e7dbd8cc94b576848d27e
] hunk ./Main.hs 261
-                                     print $ outputCode conf False (cprog) (typeInference cprog)
+                                     let transformed = typeInference cprog 
+                                     in checkAndDoBidirectionalize conf False cprog transformed
hunk ./Main.hs 264
-                                     print $ outputCode conf False (cprog) (shapify $ typeInference cprog)
-                               _ | isShapifyPlusMode conf -> 
-                                     print $ outputCode conf True  (cprog) (introNat $ shapify $ typeInference cprog)
-                               _ ->
-                                   print $ outputCode conf True  (cprog) (introNat $ shapify $ typeInference cprog)
+                                     let transformed = shapify $ typeInference cprog 
+                                     in checkAndDoBidirectionalize conf False cprog transformed
+                               _ | isShapifyPlusMode conf || True -> 
+                                     let transformed = introNat $ shapify $ typeInference cprog
+                                     in checkAndDoBidirectionalize conf True cprog transformed