@@ -105,7 +105,7 @@ globalName (Var.Global home name) =
105105globalToName :: ModuleName.Canonical -> Text -> Text
106106globalToName (ModuleName.Canonical (Pkg.Name user project) moduleName) name =
107107 if ModuleName.isKernel moduleName then
108− "_" <> ModuleName.getKernel moduleName <> "_" <> name
108+ kernelToName (ModuleName.getKernel moduleName) name
109109
110110 else
111111 let
@@ -120,3 +120,17 @@ globalToName (ModuleName.Canonical (Pkg.Name user project) moduleName) name =
120120 <> "$" <> Text.replace "." "_" moduleName
121121 <> "$" <> revisedName
122122
123+
124+kernelToName :: Text -> Text -> Text
125+kernelToName home name =
126+ if home == "Error" && name == "throw" then
127+ "_Error_throw_prod"
128+
129+ else if name == "toString" && home == "Debug" then
130+ "_Debug_toString_prod"
131+
132+ else if name == "log" && home == "Debug" then
133+ "_Debug_log_prod"
134+
135+ else
136+ "_" <> home <> "_" <> name