[Make playCode dependent on execMode
Joachim Breitner <mail@joachim-breitner.de>**20100910145044
 Ignore-this: 71c9c8a571b649b5adba18f15e263360
] hunk ./b18n-combined-cgi.hs 263
-defaultPlayCode get = -- Are we only considering [Nat] here?
+defaultPlayCode Normal get =
hunk ./b18n-combined-cgi.hs 270
+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 338
-            (Just BiDi, Just get, Just _, _) -> return (defaultPlayCode get, Nothing)
+            (Just BiDi, Just get, Just _, _) ->
+                return (defaultPlayCode (execMode conf) get, Nothing)
hunk ./b18n-combined-cgi.hs 350
-                return (defaultPlayCode get, Nothing)
+                return (defaultPlayCode (execMode conf) get, Nothing)
hunk ./b18n-combined-cgi.hs 359
-                return (defaultPlayCode get, Nothing)
+                return (defaultPlayCode (execMode conf) get, Nothing)