@@ -105,7 +105,7 @@ globalName (Var.Global home name) =
105globalToName :: ModuleName.Canonical -> Text -> Text
105globalToName :: ModuleName.Canonical -> Text -> Text
106globalToName (ModuleName.Canonical (Pkg.Name user project) moduleName) name =
106globalToName (ModuleName.Canonical (Pkg.Name user project) moduleName) name =
107 if ModuleName.isKernel moduleName then
107 if ModuleName.isKernel moduleName then
108− "_" <> ModuleName.getKernel moduleName <> "_" <> name
108+ kernelToName (ModuleName.getKernel moduleName) name
@@ -120,3 +120,17 @@ globalToName (ModuleName.Canonical (Pkg.Name user project) moduleName) name =
120 <> "$" <> Text.replace "." "_" moduleName
120 <> "$" <> Text.replace "." "_" moduleName
121 <> "$" <> revisedName
121 <> "$" <> revisedName
124+kernelToName :: Text -> Text -> Text
125+kernelToName home name =
126+ if home == "Error" && name == "throw" then
129+ else if name == "toString" && home == "Debug" then
130+ "_Debug_toString_prod"
132+ else if name == "log" && home == "Debug" then
136+ "_" <> home <> "_" <> name