Add empty old empty environment alias to not break DSLs

miking-lang · Nov 14, 2023 · 66f5112 · 66f5112
1 parent a8ab3dc
commit 66f5112
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 2 deletions.
diff --git a/stdlib/mexpr/symbolize.mc b/stdlib/mexpr/symbolize.mc
@@ -31,7 +31,7 @@ type SymEnv = {
   ignoreExternals: Bool
 }
 
-let symEnvEmpty = {
+let _symEnvEmpty = {
   varEnv = mapEmpty cmpString,
   conEnv = mapEmpty cmpString,
   tyVarEnv = mapEmpty cmpString,
@@ -47,7 +47,12 @@ let symEnvAddBuiltinTypes : all a. SymEnv -> [(String, a)] -> SymEnv
   }
 
 let symEnvDefault =
-  symEnvAddBuiltinTypes symEnvEmpty builtinTypes
+  symEnvAddBuiltinTypes _symEnvEmpty builtinTypes
+
+-- TODO(oerikss, 2023-11-14): Change all DSLs that use this name for the
+-- symbolize environment to instead point to `symEnvDefault` and then
+-- remove this alias and rename `_symEnvEmpty` to `symEnvEmpty`.
+let symEnvEmpty = symEnvDefault
 
 lang SymLookup
   type LookupParams = {kind : String, info : [Info], allowFree : Bool}

diff --git a/stdlib/mexpr/type-check.mc b/stdlib/mexpr/type-check.mc
@@ -60,6 +60,11 @@ let typecheckEnvAddBuiltinTypes : TCEnv -> [(String, [String])] -> TCEnv
 let typcheckEnvDefault =
   typecheckEnvAddBuiltinTypes typcheckEnvEmpty builtinTypes
 
+-- TODO(oerikss, 2023-11-14): Change all DSLs that use this name for the
+-- type-check environment to instead point to `typcheckEnvDefault` and then
+-- remove this alias.
+let _tcEnvEmpty = typcheckEnvDefault
+
 let _insertVar = lam name. lam ty. lam env : TCEnv.
   {env with varEnv = mapInsert name ty env.varEnv}