git.iko.soy/Idris-dev
on master help sign in
Library checking
f208c49Edwin Brady
lib/Makefilenew file+4
compare with master
unifiedsplit
@@ -0,0 +1,4 @@
1+check: .PHONY
2+ miniidris --check *.idr
3+
4+.PHONY:
src/Idris/Parser.hs+1−1
@@ -45,7 +45,7 @@ lchar = lexeme.char
45
45
46loadModule :: FilePath -> Idris ()
46loadModule :: FilePath -> Idris ()
47loadModule f = do datadir <- lift $ getDataDir
47loadModule f = do datadir <- lift $ getDataDir
48− fp <- lift $ findImport [datadir, "."] f
48+ fp <- lift $ findImport [".", datadir] f
49 i <- getIState
49 i <- getIState
50 if (f `elem` imported i)
50 if (f `elem` imported i)
51 then iLOG $ "Already read " ++ f
51 then iLOG $ "Already read " ++ f