Changeset b230091 for src/AST/Convert.cpp
- Timestamp:
- Mar 29, 2022, 4:09:51 PM (2 years ago)
- Branches:
- ADT, ast-experimental, enum, master, pthread-emulation, qualifiedEnum
- Children:
- 6e47b49
- Parents:
- dfd3410
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/AST/Convert.cpp
rdfd3410 rb230091 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.