diff options
Diffstat (limited to 'src/constrain.cpp')
| -rw-r--r-- | src/constrain.cpp | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/constrain.cpp b/src/constrain.cpp index e151eb6..3aee45a 100644 --- a/src/constrain.cpp +++ b/src/constrain.cpp @@ -230,13 +230,6 @@ constrain_dot(TEnv& tenv, Constraints& c, const ATuple* call) throw(Error) } static void -constrain_quote(TEnv& tenv, Constraints& c, const ATuple* call) throw(Error) -{ - c.constrain(tenv, call, tenv.named("Quote")); - resp_constrain(tenv, c, call->list_ref(1)); -} - -static void constrain_call(TEnv& tenv, Constraints& c, const ATuple* call) throw(Error) { const AST* const head = call->head(); @@ -347,8 +340,6 @@ constrain_tuple(TEnv& tenv, Constraints& c, const ATuple* tup) throw(Error) constrain_cons(tenv, c, tup); else if (form == ".") constrain_dot(tenv, c, tup); - else if (form == "quote") - constrain_quote(tenv, c, tup); else constrain_call(tenv, c, tup); } @@ -369,9 +360,6 @@ resp_constrain(TEnv& tenv, Constraints& c, const AST* ast) throw(Error) case T_INT32: c.constrain(tenv, ast, tenv.named("Int")); break; - case T_LEXEME: - c.constrain(tenv, ast, tenv.named("Lexeme")); - break; case T_STRING: c.constrain(tenv, ast, tenv.named("String")); break; |