[timing for loading a file
martin.hofmann@uni-bamberg.de**20090706235153] hunk ./src/Rating/Rateable.hs 49
-        , numTotalRules)
+        , numTotalRules
+        )
hunk ./src/UI/UIStarter.hs 220
-loadFile s p = ( checkFile p >> when (typeCheck s) (typecheck  p) >>
-                 parseContext (context s) p >>= \ctx -> 
-                  return (False,s{context=ctx, ctxtFile=p})
+loadFile s p = ( time (checkFile p >> when (typeCheck s) (typecheck  p) >>
+                 parseContext (context s) p) >>= \(ctx,d) -> 
+                  putDoc (text "File loaded in" <+> d) >> return (False,s{context=ctx, ctxtFile=p})