Remove ShowType button
authorJoachim Breitner <mail@joachim-breitner.de>
Mon, 13 Sep 2010 13:27:32 +0000 (13:27 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Mon, 13 Sep 2010 13:27:32 +0000 (13:27 +0000)
b18n-combined-cgi.hs

index 927a5c7..1116f8e 100644 (file)
@@ -123,9 +123,6 @@ page (PageInfo {..}) =
                                        ! (guard (mode == b18nMode config) >> return checked)
                                        +++ show mode +++ " "
                                 ) [SyntacticB18n, SemanticB18n, CombinedB18n, NoB18n]) +++ br +++
-                              "Show types " +++ checkbox "showTypes" "showTypes"
-                                        ! (guard (isShowType config) >> return checked)
-                                        +++ br +++
                               mkSubmit True BiDi
                        ) +++
                         ( htmlMB generatedModuleMB $ \ generatedModule -> 
@@ -299,12 +296,10 @@ formMain = do
 
         conf <- do
             b18nMode' <- maybe CombinedB18n read <$> getInput "b18nMode"
-            isShowType' <- isJust <$> getInput "showTypes"
             return $ defaultConfig
                 { isHaskellify = True
                 , b18nMode = b18nMode'
                 , execMode = ShapifyPlus
-                , isShowType = isShowType'
                 }
        
        todo <- msum <$> sequence (