[Remove execMode from GUI
Joachim Breitner <mail@joachim-breitner.de>**20100912082410
 Ignore-this: 1873027d519ba7f092e411c9a1521570
] hunk ./b18n-combined-cgi.hs 120
-			p << ( "Preprocessing steps: " +++
-			       concatHtml (map (\mode -> 
-			          radio "execMode" (show mode) 
-					! (guard (mode == execMode config) >> return checked)
-					+++ show mode +++ " "
-                                ) [Normal, Shapify, ShapifyPlus]) +++ br +++
-			       "Output mode: " +++
+			p << ( "Output mode: " +++
hunk ./b18n-combined-cgi.hs 282
-defaultPlayCode Normal get =
+defaultPlayCode get =
hunk ./b18n-combined-cgi.hs 289
-defaultPlayCode Shapify get =
-        Just $ unlines
-            [ "get = " ++ get
-            , "put = " ++ get ++ "_B" 
-            , ""
-            , "source = [(),(),(),()]"
-            ]
-defaultPlayCode ShapifyPlus get =
-        Just $ unlines
-            [ "get = " ++ get
-            , "put = " ++ get ++ "_B" 
-            , ""
-            , "source = S (S (S (S Z)))"
-            ]
hunk ./b18n-combined-cgi.hs 294
-            execMode'  <- maybe Normal read <$> getInput "execMode"
hunk ./b18n-combined-cgi.hs 299
-                , execMode = execMode'
+                , execMode = ShapifyPlus
hunk ./b18n-combined-cgi.hs 322
-                    (  Just $ render $ case execMode conf of 
-                       Normal -> outputCode conf False ast (typeInference ast)
-                       Shapify -> outputCode conf False ast (shapify $ typeInference ast)
-                       ShapifyPlus -> outputCode conf True  ast (introNat $ shapify $ typeInference ast)
+                    (  Just $ render $
+                       outputCode conf True  ast (introNat $ shapify $ typeInference ast)
hunk ./b18n-combined-cgi.hs 337
-                return (defaultPlayCode (execMode conf) get, Nothing)
+                return (defaultPlayCode get, Nothing)
hunk ./b18n-combined-cgi.hs 348
-                return (defaultPlayCode (execMode conf) get, Nothing)
+                return (defaultPlayCode get, Nothing)
hunk ./b18n-combined-cgi.hs 357
-                return (defaultPlayCode (execMode conf) get, Nothing)
+                return (defaultPlayCode get, Nothing)