diff options
Diffstat (limited to 'src/depoly.cpp')
| -rw-r--r-- | src/depoly.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/depoly.cpp b/src/depoly.cpp index fa71ba0..20e7159 100644 --- a/src/depoly.cpp +++ b/src/depoly.cpp @@ -74,7 +74,7 @@ raise_type(CEnv& cenv, Code& code, const ATuple* type) const ATuple* exp = (*cenv.tenv.ref(tag))->as_tuple(); const ATuple* prot = exp->frst()->as_tuple(); - List def(Cursor(), cenv.penv.sym("def-type"), type, NULL); + List def(Cursor(), cenv.penv.sym("define-type"), type, NULL); // Build a substitution for each type parameter to its instantiation Subst subst; @@ -118,7 +118,7 @@ resp_depoly(CEnv& cenv, Code& code, const AST* ast) throw() assert(form != "lambda"); if (form == "quote") return ast; - else if (form == "def-type") + else if (form == "define-type") return depoly_def_type(cenv, code, call); else return depoly_args(cenv, code, call); |