diff options
| -rw-r--r-- | src/lift.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/lift.cpp b/src/lift.cpp index 67ae580..24f0265 100644 --- a/src/lift.cpp +++ b/src/lift.cpp @@ -91,8 +91,10 @@ lift_fn(CEnv& cenv, Code& code, const ATuple* fn) throw() impl.push_back(fn->head()); const string fnName = cenv.name(fn); - const string nameBase = cenv.penv.gensymstr(((fnName != "") ? fnName : "fn").c_str()); - const string implNameStr = string("_") + nameBase; + const string implNameStr = (fnName != "") + ? (string("__") + fnName) + : cenv.penv.gensymstr("__fn"); + cenv.setName(impl, implNameStr); cenv.liftStack.push(CEnv::FreeVars(fn, implNameStr)); |