Changeset 396b830

Timestamp:

Oct 29, 2019, 3:54:14 PM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

1fcc2f3

Parents:

3f3bfe5a

Message:

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

File:

• src/AST/Pass.proto.hpp (modified) (5 diffs)

src/AST/Pass.proto.hpp

@@ -311 +311 @@
                 SYMTAB_FUNC1( addUnion  , const UnionDecl *     );
                 SYMTAB_FUNC1( addTrait  , const TraitDecl *     );
-                SYMTAB_FUNC2( addWith   , const std::vector< ptr<Expr> > &, const Node * );
+                SYMTAB_FUNC2( addWith   , const std::vector< ptr<Expr> > &, const Decl * );
 
                 // A few extra functions have more complicated behaviour, they are hand written
@@ -363 +363 @@
                 // Some simple scoping rules
                 template<typename pass_t>
-                static inline auto enter( pass_t & pass, int, const ast::ParameterizedType * type ) 
+                static inline auto enter( pass_t & pass, int, const ast::ParameterizedType * type )
                 -> decltype( pass.subs, void() ) {
                         if ( ! type->forall.empty() ) pass.subs.beginScope();
@@ -372 +372 @@
 
                 template<typename pass_t>
-                static inline auto leave( pass_t & pass, int, const ast::ParameterizedType * type ) 
+                static inline auto leave( pass_t & pass, int, const ast::ParameterizedType * type )
                 -> decltype( pass.subs, void() ) {
                         if ( ! type->forall.empty() ) { pass.subs.endScope(); }
@@ -385 +385 @@
                         return &pass.subs;
                 }
-                
+
                 template<typename pass_t>
                 static inline ast::ForallSubstitutionTable * subs( pass_t &, long ) { return nullptr; }
@@ -391 +391 @@
                 // Replaces a TypeInstType's base TypeDecl according to the table
                 template<typename pass_t>
-                static inline auto replace( pass_t & pass, int, const ast::TypeInstType *& inst ) 
+                static inline auto replace( pass_t & pass, int, const ast::TypeInstType *& inst )
                 -> decltype( pass.subs, void() ) {
-                        inst = ast::mutate_field( 
+                        inst = ast::mutate_field(
                                 inst, &ast::TypeInstType::base, pass.subs.replace( inst->base ) );
                 }