git.iko.soy/Idris-dev
on master help sign in
Change the hard coding of the path separator

fixes module aliasing (tested by basic009) on Windows

commit06037323f0e632814932f49ab233b3cc01980a11 authorNiklas Larsson <niklas@mm.st> dateMon 6 Apr 2015, 00:48 (12 years ago) parent46c3081
1 file changed+1−1
compare with master
unifiedsplit
src/Idris/Parser.hs+1−1
src/Idris/Parser.hs+1−1
@@ -1365,7 +1365,7 @@ loadSource lidr f toline
13651365 -- process and check module aliases
13661366 let modAliases = M.fromList
13671367 [(prep alias, prep realName) | (reexport, realName, Just alias, fc) <- imports]
1368− prep = map T.pack . reverse . Spl.splitOn "/"
1368+ prep = map T.pack . reverse . Spl.splitOn [pathSeparator]
13691369 aliasNames = [(alias, fc) | (_, _, Just alias, fc) <- imports]
13701370 histogram = groupBy ((==) `on` fst) . sortBy (comparing fst) $ aliasNames
13711371 case map head . filter ((/= 1) . length) $ histogram of