on master help sign in
Fix namespace ordering.
41a6c5eMatus Tejiscak
src/Idris/Parser.hs+4−3
@@ -1058,10 +1058,11 @@ loadSource h lidr f
1058 (mname, imports, pos) <- parseImports f file
1058 (mname, imports, pos) <- parseImports f file
1059 let modules = map fst imports
1059 let modules = map fst imports
1060 modAliases = M.fromList
1060 modAliases = M.fromList
1061− [(prep alias, prep realName)| (realName, Just alias) <- imports]
1061+ [(prep alias, prep realName) | (realName, Just alias) <- imports]
1062− prep = map T.pack . Spl.splitOn "/"
1062+ prep = map T.pack . reverse . Spl.splitOn "/"
1063+ logLvl 3 $ "Module aliases: " ++ show (M.toList modAliases)
1063 i <- getIState
1064 i <- getIState
1064− putIState (i { default_access = Hidden })
1065+ putIState (i { default_access = Hidden, module_aliases = modAliases })
1065 clearIBC -- start a new .ibc file
1066 clearIBC -- start a new .ibc file
1066 mapM_ (addIBC . IBCImport) modules
1067 mapM_ (addIBC . IBCImport) modules
1067 let syntax = defaultSyntax{ syn_namespace = reverse mname }
1068 let syntax = defaultSyntax{ syn_namespace = reverse mname }