Changeset 396b830


Ignore:
Timestamp:
Oct 29, 2019, 3:54:14 PM (2 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
arm-eh, jacob/cs343-translation, master, new-ast, new-ast-unique-expr
Children:
1fcc2f3
Parents:
3f3bfe5a
Message:

Fixed typo which was causing with statements to be ignored by the resolver

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/AST/Pass.proto.hpp

    r3f3bfe5a r396b830  
    311311                SYMTAB_FUNC1( addUnion  , const UnionDecl *     );
    312312                SYMTAB_FUNC1( addTrait  , const TraitDecl *     );
    313                 SYMTAB_FUNC2( addWith   , const std::vector< ptr<Expr> > &, const Node * );
     313                SYMTAB_FUNC2( addWith   , const std::vector< ptr<Expr> > &, const Decl * );
    314314
    315315                // A few extra functions have more complicated behaviour, they are hand written
     
    363363                // Some simple scoping rules
    364364                template<typename pass_t>
    365                 static inline auto enter( pass_t & pass, int, const ast::ParameterizedType * type ) 
     365                static inline auto enter( pass_t & pass, int, const ast::ParameterizedType * type )
    366366                -> decltype( pass.subs, void() ) {
    367367                        if ( ! type->forall.empty() ) pass.subs.beginScope();
     
    372372
    373373                template<typename pass_t>
    374                 static inline auto leave( pass_t & pass, int, const ast::ParameterizedType * type ) 
     374                static inline auto leave( pass_t & pass, int, const ast::ParameterizedType * type )
    375375                -> decltype( pass.subs, void() ) {
    376376                        if ( ! type->forall.empty() ) { pass.subs.endScope(); }
     
    385385                        return &pass.subs;
    386386                }
    387                
     387
    388388                template<typename pass_t>
    389389                static inline ast::ForallSubstitutionTable * subs( pass_t &, long ) { return nullptr; }
     
    391391                // Replaces a TypeInstType's base TypeDecl according to the table
    392392                template<typename pass_t>
    393                 static inline auto replace( pass_t & pass, int, const ast::TypeInstType *& inst ) 
     393                static inline auto replace( pass_t & pass, int, const ast::TypeInstType *& inst )
    394394                -> decltype( pass.subs, void() ) {
    395                         inst = ast::mutate_field( 
     395                        inst = ast::mutate_field(
    396396                                inst, &ast::TypeInstType::base, pass.subs.replace( inst->base ) );
    397397                }
Note: See TracChangeset for help on using the changeset viewer.