[loaded specification file is in context of testing
martin.hofmann@uni-bamberg.de**20090602011557] hunk ./src/TODO 3
-* import Examples.hs when testing Hypos
hunk ./src/UI/IOInterpreter.hs 4
-
+import Control.Monad
+import Debug.Trace
+import System.FilePath
hunk ./src/UI/IOInterpreter.hs 16
-interprete :: String -> IO String
-interprete s = do 
-    r <- runInterpreter $ evalString s
+interprete :: FilePath -> String -> IO String
+interprete m s = do 
+    r <- runInterpreter $ evalString m s
hunk ./src/UI/IOInterpreter.hs 24
-evalString :: String -> Interpreter String
-evalString s = do
+evalString :: FilePath -> String -> Interpreter String
+evalString m s = do
+        loadModules [m]
+        setTopLevelModules [takeBaseName m]
hunk ./src/UI/UIStarter.hs 5
-import qualified Text.ParserCombinators.Parsec.Token as T
+import qualified Text.ParserCombinators.Parsec.Token as T 
hunk ./src/UI/UIStarter.hs 62
+    , ctxtFile  :: String
hunk ./src/UI/UIStarter.hs 87
+    , ctxtFile  = ""
hunk ./src/UI/UIStarter.hs 221
-                         return $ (False,s{context=ctx})
+                         return $ (False,s{context=ctx, ctxtFile=path})
hunk ./src/UI/UIStarter.hs 238
+    -- test 'i'th hypotheses
hunk ./src/UI/UIStarter.hs 240
-        r <- interprete $ prepare (d !! (i-1)) e
+        r <- interprete (ctxtFile s) $ prepare (d !! (i-1)) e