e6c6b1b · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Merge pull request #2120 from melted/module_loading

Change the hard coding of the path separator

commite6c6b1b43cf750f83914380140d1b7015d2f3c92 authorDavid Christiansen <david@davidchristiansen.dk> dateMon 6 Apr 2015, 09:47 (12 years ago) parent46c3081 0603732

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