[Change description about options.
Kazutaka Matsuda <kztk@kb.ecei.tohoku.ac.jp>**20100914053727
 Ignore-this: 13afc769666be2a6f530eaa4a6f7eefa
] hunk ./Main.hs 185
-         nest 4 (text $ progName ++ " (-n|-s) (-T|-U) (-P|-H|-F) [-f] [FILENAME]\n") $+$ 
+         nest 4 (text $ progName ++ " (-n|-s) (-T|-U) (-no|-sem|-syn|-comb) [-hs] [-f] [FILENAME]\n") $+$ 
hunk ./Main.hs 192
-         wrap 80 ( "Given a \"get\" function defined in a file specified by FILENAME,"
+         wrap 80 ( "Given a \"get\" function defined in a file specified by FILENAME, "
hunk ./Main.hs 195
-                  ++ "and syntatic bidirectionalization (Kazutaka Matsuda et al.: ICFP'07). A typical usage is \""++ progName ++ " -H FILENAME\", which correspondes to the paper.\n"
+                  ++ "and syntatic bidirectionalization (Kazutaka Matsuda et al.: ICFP'07). A typical usage is \""++ progName ++ " FILENAME\", which correspondes to the paper.\n"
hunk ./Main.hs 259
-                                   do { print $ ppr   $ cprog
-                                      -- ; print $ pprAM $ constructAutomaton (typeInference cprog) initTAMap
-                                      ; let (p1,p2,p3) = constructBwdFunction (typeInference cprog)
-                                      ; print $ ppr p1 $$ ppr p2 $$ ppr p3
-                                      ; print $ ppr $ constructTypeDecl p2 
-                                      ; print $ ppr $ generateCodeBwd (typeInference cprog, p1,p2,p3)
-                                      ; putStrLn ""
-                                      ; putStrLn $ "---- After \"Shapify\" ----" 
-                                      ; let cprog' = introNat $ shapify $ typeInference cprog 
-                                      -- ; print $ pprAM $ constructAutomaton cprog' initTAMap
-                                      ; print $ cprog'                                       
-                                      ; let (p1,p2,p3) = constructBwdFunction cprog' 
-                                      ; print $ ppr p1 $$ ppr p2 $$ ppr p3
-                                      ; putStrLn ""
-                                      }
+                                   putStrLn "Debug mode does nothing."
+--                                    do { print $ ppr   $ cprog
+--                                       -- ; print $ pprAM $ constructAutomaton (typeInference cprog) initTAMap
+--                                       ; let (p1,p2,p3) = constructBwdFunction (typeInference cprog)
+--                                       ; print $ ppr p1 $$ ppr p2 $$ ppr p3
+--                                       ; print $ ppr $ constructTypeDecl p2 
+--                                       ; print $ ppr $ generateCodeBwd (typeInference cprog, p1,p2,p3)
+--                                       ; putStrLn ""
+--                                       ; putStrLn $ "---- After \"Shapify\" ----" 
+--                                       ; let cprog' = introNat $ shapify $ typeInference cprog 
+--                                       -- ; print $ pprAM $ constructAutomaton cprog' initTAMap
+--                                       ; print $ cprog'                                       
+--                                       ; let (p1,p2,p3) = constructBwdFunction cprog' 
+--                                       ; print $ ppr p1 $$ ppr p2 $$ ppr p3
+--                                       ; putStrLn ""
+--                                       }