diff options
Diffstat (limited to 'src/constrain.cpp')
| -rw-r--r-- | src/constrain.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/constrain.cpp b/src/constrain.cpp index 969e87d..13bb9e8 100644 --- a/src/constrain.cpp +++ b/src/constrain.cpp @@ -46,6 +46,13 @@ ALexeme::constrain(TEnv& tenv, Constraints& c) const throw(Error) } void +AQuote::constrain(TEnv& tenv, Constraints& c) const throw(Error) +{ + c.constrain(tenv, this, tenv.named("Quote")); + (*(begin() + 1))->constrain(tenv, c); +} + +void ASymbol::constrain(TEnv& tenv, Constraints& c) const throw(Error) { const AType** ref = tenv.ref(this); |