on master help sign in
Fix namespace ordering.
commit41a6c5ee1695767bc2d9af4781e0bd46723f3e06 authorMatus Tejiscak <ziman@functor.sk> dateMon 27 Jan 2014, 16:02 (13 years ago) parentf24a675
1 file changed+4−3
src/Idris/Parser.hs+4−3
src/Idris/Parser.hs+4−3
@@ -1058,10 +1058,11 @@ loadSource h lidr f
10581058 (mname, imports, pos) <- parseImports f file
10591059 let modules = map fst imports
10601060 modAliases = M.fromList
1061− [(prep alias, prep realName)| (realName, Just alias) <- imports]
1062− prep = map T.pack . Spl.splitOn "/"
1061+ [(prep alias, prep realName) | (realName, Just alias) <- imports]
1062+ prep = map T.pack . reverse . Spl.splitOn "/"
1063+ logLvl 3 $ "Module aliases: " ++ show (M.toList modAliases)
10631064 i <- getIState
1064− putIState (i { default_access = Hidden })
1065+ putIState (i { default_access = Hidden, module_aliases = modAliases })
10651066 clearIBC -- start a new .ibc file
10661067 mapM_ (addIBC . IBCImport) modules
10671068 let syntax = defaultSyntax{ syn_namespace = reverse mname }