Use `showCG` instead of `show` when loading package names
`showCG` is for showing names, but for code generation
`show` is for showing names, but human readable
At the moment these do the same for namespaces but we probably
shouldn't rely on that.
commit967d422867d448673ff8d358d2c7e1930da73e68
authorBrian McKenna <brian@brianmckenna.org>
dateFri 29 Nov 2013, 15:48 (13 years ago)
parent9900e63
src/Pkg/Package.hs+1−1
@@ -68,7 +68,7 @@ installPkg pkgdesc
6868 mapM_ (installObj (pkgname pkgdesc)) (objs pkgdesc)
6969
7070buildMods :: [Opt] -> [Name] -> IO ()
71−buildMods opts ns = do let f = map (toPath . show) ns
71+buildMods opts ns = do let f = map (toPath . showCG) ns
7272-- putStrLn $ "MODULE: " ++ show f
7373 idris (map Filename f ++ opts)
7474 return ()