@@ -63,12 +63,13 @@ fixErrorMsg msg fixes = msg ++ ", possible fixes:\n" ++ (concat $ intersperse "\
6363loadModule :: FilePath -> Idris String
6464loadModule f
6565 = idrisCatch (do i <- getIState
66+ let file = takeWhile (/= ' ') f
6667 ibcsd <- valIBCSubDir i
6768 ids <- allImportDirs i
68− fp <- liftIO $ findImport ids ibcsd f
69− if f `elem` imported i
70− then iLOG $ "Already read " ++ f
71− else do putIState (i { imported = f : imported i })
69+ fp <- liftIO $ findImport ids ibcsd file
70+ if file `elem` imported i
71+ then iLOG $ "Already read " ++ file
72+ else do putIState (i { imported = file : imported i })
7273 case fp of
7374 IDR fn -> loadSource False fn
7475 LIDR fn -> loadSource True fn
@@ -78,7 +79,7 @@ loadModule f
7879 case src of
7980 IDR sfn -> loadSource False sfn
8081 LIDR sfn -> loadSource True sfn)
81− let (dir, fh) = splitFileName f
82+ let (dir, fh) = splitFileName file
8283 return (dropExtension fh))
8384 (\e -> do let msg = show e
8485 setErrLine (getErrLine msg)