on master help sign in
Change the hard coding of the path separator
0603732Niklas Larsson
src/Idris/Parser.hs+1−1
@@ -1365,7 +1365,7 @@ loadSource lidr f toline
1365 -- process and check module aliases
1365 -- process and check module aliases
1366 let modAliases = M.fromList
1366 let modAliases = M.fromList
1367 [(prep alias, prep realName) | (reexport, realName, Just alias, fc) <- imports]
1367 [(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]
1369 aliasNames = [(alias, fc) | (_, _, Just alias, fc) <- imports]
1369 aliasNames = [(alias, fc) | (_, _, Just alias, fc) <- imports]
1370 histogram = groupBy ((==) `on` fst) . sortBy (comparing fst) $ aliasNames
1370 histogram = groupBy ((==) `on` fst) . sortBy (comparing fst) $ aliasNames
1371 case map head . filter ((/= 1) . length) $ histogram of
1371 case map head . filter ((/= 1) . length) $ histogram of