git.iko.soy/Idris-dev
on master help sign in
Library checking
commitf208c491e2824a1fa1992ac47f22f8debaa692ad authorEdwin Brady <eb@cs.st-andrews.ac.uk> dateFri 14 Oct 2011, 17:59 (15 years ago) parent20bf4d7
2 files changed+5−1
compare with master
unifiedsplit
lib/Makefile+4 src/Idris/Parser.hs+1−1
lib/Makefilenew file+4
@@ -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
4545
4646loadModule :: FilePath -> Idris ()
4747loadModule f = do datadir <- lift $ getDataDir
48− fp <- lift $ findImport [datadir, "."] f
48+ fp <- lift $ findImport [".", datadir] f
4949 i <- getIState
5050 if (f `elem` imported i)
5151 then iLOG $ "Already read " ++ f