diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-03-10 03:58:23 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-03-10 03:58:23 +0000 |
commit | f50d6702ad0ffc5a10308abc2a43f86a9b623a8c (patch) | |
tree | 6f1ce4e5d07b94ab1d9fbfcd5cf6603b0017078b /src/parser/antlr_parser.h | |
parent | 0cd57d89001a73ea1ebe0d43b2cb720d68cca82a (diff) |
Lexical scoping for let-bound variables (Bug #53)
Diffstat (limited to 'src/parser/antlr_parser.h')
-rw-r--r-- | src/parser/antlr_parser.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/parser/antlr_parser.h b/src/parser/antlr_parser.h index 5a6beb132..94d919555 100644 --- a/src/parser/antlr_parser.h +++ b/src/parser/antlr_parser.h @@ -254,6 +254,8 @@ protected: /** Create a new variable definition (e.g., from a let binding). */ void defineVar(const std::string& name, const Expr& val); + /** Remove a variable definition (e.g., from a let binding). */ + void undefineVar(const std::string& name); /** Returns a function type over the given domain and range types. */ const Type* functionType(const Type* domain, const Type* range); |