Changeset d4da1535 for src/AST/Convert.cpp
- Timestamp:
- Mar 29, 2022, 4:41:30 PM (2 years ago)
- Branches:
- ADT, ast-experimental, enum, master, pthread-emulation, qualifiedEnum
- Children:
- 4598e03
- Parents:
- edf247b (diff), 6e47b49 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/AST/Convert.cpp
redf247b rd4da1535 2717 2717 2718 2718 for (auto & param : foralls) { 2719 ty->forall.emplace_back(new ast::TypeInstType(param ->name, param));2719 ty->forall.emplace_back(new ast::TypeInstType(param)); 2720 2720 for (auto asst : param->assertions) { 2721 2721 ty->assertions.emplace_back(new ast::VariableExpr({}, asst));
Note: See TracChangeset
for help on using the changeset viewer.