Remove commented-out codes
authorKazutaka Matsuda <kztk@kb.ecei.tohoku.ac.jp>
Wed, 22 Sep 2010 07:23:40 +0000 (07:23 +0000)
committerKazutaka Matsuda <kztk@kb.ecei.tohoku.ac.jp>
Wed, 22 Sep 2010 07:23:40 +0000 (07:23 +0000)
Main.hs
SemSyn.hs

diff --git a/Main.hs b/Main.hs
index d1156c1..59ee771 100644 (file)
--- a/Main.hs
+++ b/Main.hs
@@ -233,32 +233,8 @@ main = do { args <- getArgs
                             Left err -> hPutStrLn stderr err
                             Right typeChecked -> 
                              case execMode conf of 
---                                Normal | (b18nMode conf == SyntacticB18n || b18nMode conf == NoB18n) -> 
---                                    print $
---                                          outputCode conf False (cprog) (typeInference cprog)
--- --                                Shapify -> print $
--- --                                    outputCode conf False (cprog) (shapify $ typeInference cprog)
--- --                                    -- putStrLn "Not Supported Now."
---                                ShapifyPlus -> 
---                                    print $
---                                          outputCode conf True  (cprog) (introNat $ shapify $ typeInference cprog)
                                Debug ->
                                        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 ""
---                                       }
                                _ | isNormalMode conf ->
                                      let transformed = typeChecked
                                      in checkAndDoBidirectionalize conf False cprog transformed
index 7489933..6f572eb 100644 (file)
--- a/SemSyn.hs
+++ b/SemSyn.hs
@@ -122,27 +122,6 @@ outputCode conf_ isShapify orig ast =
              [ ppr (constructTypeDecl p2)
              , ppr $ generateCodeBwd (orig,p1,p2,p3)
              ]
-                             
--- case outputMode conf of 
---          ForwardCode ->
---                   ppr (typeFilter ast)
---          PseudoCode  -> vcat
---                 [ ppr (constructTypeDecl p2)
---                 , ppr orig $$ ppr (typeFilter p1) $$ ppr (typeFilter p2) $$ ppr (typeFilterT p3)
---                 ]
---          HaskellCode -> vcat $
---                 [ text "import Control.Monad"
---                 , text "import BUtil"
---                 ] ++ (
---                 if isShapify
---                 then map genBwdDef $
---                         let AST decls = typeInference orig
---                         in map (\(Decl f t _ _:_) -> (f,t)) $ groupBy isSameFunc decls
---                 else []                                     
---                 ) ++
---                 [ ppr (constructTypeDecl p2)
---                 , ppr $ generateCodeBwd (orig,p1,p2,p3)
---                 ]
     where
       conf       = adjustConfig conf_
       typeFilter  = if isShowType conf then id else eraseType