diff options
Diffstat (limited to 'src/compile.cpp')
| -rw-r--r-- | src/compile.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/compile.cpp b/src/compile.cpp index fd5baff..ecd0807 100644 --- a/src/compile.cpp +++ b/src/compile.cpp @@ -64,8 +64,9 @@ compile_cons(CEnv& cenv, const ATuple* cons) throw() tlist.push_back(cenv.type(*i)); fields.push_back(resp_compile(cenv, *i)); } + const std::string tstr = cenv.type(cons, Subst(), false)->as_symbol()->str(); return cenv.engine()->compileCons( - cenv, type, compile_literal_symbol(cenv, tname), fields); + cenv, tstr.c_str(), type, compile_literal_symbol(cenv, tname), fields); } static CVal |