Ignore:
Timestamp:
Mar 29, 2022, 4:09:51 PM (2 years ago)
Author:
Andrew Beach <ajbeach@…>
Branches:
ADT, ast-experimental, enum, master, pthread-emulation, qualifiedEnum
Children:
6e47b49
Parents:
dfd3410
Message:

Added a 'missing' TypeInstType? constructor and rewrote some calls to use it.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/AST/Convert.cpp

    rdfd3410 rb230091  
    27172717
    27182718                for (auto & param : foralls) {
    2719                         ty->forall.emplace_back(new ast::TypeInstType(param->name, param));
     2719                        ty->forall.emplace_back(new ast::TypeInstType(param));
    27202720                        for (auto asst : param->assertions) {
    27212721                                ty->assertions.emplace_back(new ast::VariableExpr({}, asst));
Note: See TracChangeset for help on using the changeset viewer.