[when testing history is searched for already synthesised bk functions
martin.hofmann@uni-bamberg.de**20090929090321] hunk ./src/UI/Help.hs 104
-                          "knowledge of the run you want to test.")<$$> linebreak 
+                          "knowledge of the run you want to test.\n If the " ++
+                          "backgroundknowledge functions have already been " ++
+                          "synthesised, their results are taken from the " ++
+                          "history, other wise the I/O examples of them are " ++
+                          "used. Note, that this may cause the interpreter to " ++
+                          "with \" Non-exhaustive patterns\"-errors. If the " ++
+                          "background functions had multiple results, all " ++ 
+                          "combinatins are tested.")<$$> linebreak 
hunk ./src/UI/UIStarter.hs 23
-import Data.Maybe (isJust, fromJust)
+import Data.Maybe (isJust, fromJust, mapMaybe)
hunk ./src/UI/UIStarter.hs 227
-    let dec = M.lookup k (history s)
-    if (not.isJust $ dec) then printerr >> return ()
-       else do let (Just d) = dec
+    let tdefs = M.lookup k (history s)
+    let bdefs = mapMaybe ((flip M.lookup (history s)).(flip(,)[]).(:[])) bs 
+              -- do not use I/O for BK, so try to get bk functions from history, 
+    if (not.isJust $ tdefs) then printerr >> return ()
+       else do let d =  map concat $ sequence $ (fromJust tdefs):bdefs