diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-02-26 13:09:51 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-26 13:09:51 -0600 |
| commit | f26ea8026e94252e4f1418be473d10a5f957b988 (patch) | |
| tree | 29798cb7eddc017b563ab3b494eb9399315a28b5 /src/parser/smt2/Smt2.g | |
| parent | 51d9d5b94c1d635b63482ffdd5eaaa4481e62e9b (diff) | |
Refactor type ascriptions in the parser (#3825)
Towards parser migration.
This consolidates two blocks of code (cvc/smt2) that do type ascriptions to a utility function in the parser. It updates this function to use the new API.
This code will be further refactored when the interface for parametric datatype constructors is further developed in the new API.
Diffstat (limited to 'src/parser/smt2/Smt2.g')
| -rw-r--r-- | src/parser/smt2/Smt2.g | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index 66831c0c4..eca32cb83 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -1931,12 +1931,12 @@ qualIdentifier[CVC4::ParseOp& p] ( CONST_TOK sortSymbol[type, CHECK_DECLARED] { p.d_kind = kind::STORE_ALL; - PARSER_STATE->applyTypeAscription(p, type); + PARSER_STATE->parseOpApplyTypeAscription(p, type); } | identifier[p] sortSymbol[type, CHECK_DECLARED] { - PARSER_STATE->applyTypeAscription(p, type); + PARSER_STATE->parseOpApplyTypeAscription(p, type); } ) RPAREN_TOK |