Changeset f48dfcd


Ignore:
Timestamp:
Nov 24, 2023, 4:08:24 PM (7 months ago)
Author:
Andrew Beach <ajbeach@…>
Branches:
master
Children:
6a1f553
Parents:
3c4003b9
Message:

Slight improvement to forall clause erasing.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/GenPoly/BoxNew.cpp

    r3c4003b9 rf48dfcd  
    1616#include "Box.h"
    1717
    18 #include "AST/Chain.hpp"               // for chain_mutate
    1918#include "AST/Decl.hpp"                // for Decl, FunctionDecl, ...
    2019#include "AST/Expr.hpp"                // for AlignofExpr, ConstantExpr, ...
     
    14361435        ast::FunctionType * type = new ast::FunctionType(
    14371436                mutDecl->type->isVarArgs, mutDecl->type->qualifiers );
     1437        // The forall clauses don't match until Eraser. The assertions are empty.
    14381438        for ( auto param : mutDecl->params ) {
    14391439                type->params.emplace_back( param->get_type() );
     
    22132213        auto mutDecl = mutate( decl );
    22142214        mutDecl->type_params.clear();
    2215         ast::chain_mutate( mutDecl->type )->forall.clear();
    22162215        return mutDecl;
    22172216}
Note: See TracChangeset for help on using the changeset viewer.