leave external function resolve to later pass

glyh · Oct 5, 2024 · e082182 · e082182
1 parent 69fd34d
commit e082182
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/precps/tyenv.mbt b/src/precps/tyenv.mbt
@@ -48,7 +48,7 @@ pub fn TyEnv::find(self : TyEnv, name : String) -> PreCps? {
   match self.bindings[Right(name)] {
     Some(item) => Some(Var(item.1, item.0))
     None =>
-      match self.bindings[Right("minimbt_" + name)] {
+      match self.bindings[Right(name)] {
         None => None
         Some(item) => Some(Var(item.1, item.0))
       }

diff --git a/src/precps/var.mbt b/src/precps/var.mbt
@@ -15,5 +15,5 @@ pub fn Var::to_string(self : Var) -> String {
 }
 
 pub fn Var::var_of_external(ext_name : String) -> Var {
-  { name: Some("minimbt_" + ext_name), id: -1 }
+  { name: Some(ext_name), id: -1 }
 }