diff options
Diffstat (limited to 'src/constrain.cpp')
| -rw-r--r-- | src/constrain.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/constrain.cpp b/src/constrain.cpp index 069384a..9674a97 100644 --- a/src/constrain.cpp +++ b/src/constrain.cpp @@ -129,10 +129,10 @@ constrain_def(TEnv& tenv, Constraints& c, const ATuple* call) throw(Error) static void constrain_def_type(TEnv& tenv, Constraints& c, const ATuple* call) throw(Error) { - THROW_IF(call->list_len() < 3, call->loc, "`def-type' requires at least 2 arguments"); + THROW_IF(call->list_len() < 3, call->loc, "`define-type' requires at least 2 arguments"); ATuple::const_iterator i = call->iter_at(1); const ATuple* prot = (*i)->to_tuple(); - THROW_IF(!prot, (*i)->loc, "first argument of `def-type' is not a tuple"); + THROW_IF(!prot, (*i)->loc, "first argument of `define-type' is not a tuple"); const ASymbol* sym = (*prot->begin())->as_symbol(); THROW_IF(!sym, (*prot->begin())->loc, "type name is not a symbol"); //THROW_IF(tenv.ref(sym), call->loc, "type redefinition"); @@ -408,7 +408,7 @@ constrain_list(TEnv& tenv, Constraints& c, const ATuple* tup) throw(Error) constrain_dot(tenv, c, tup); else if (form == "define") constrain_def(tenv, c, tup); - else if (form == "def-type") + else if (form == "define-type") constrain_def_type(tenv, c, tup); else if (form == "lambda") constrain_fn(tenv, c, tup); |