Changeset 36dfdac for src

Timestamp:

Dec 11, 2024, 7:53:36 PM (7 days ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

master

Children:

bad15f7

Parents:

5d3d281

Message:

Enable partial autogen for types declared inside functions.

Done by giving pass cores finer grained error-recovery points, which causes Resolver's existing error-recovery logic to kick in for autogens within function bodies.

File:

• src/AST/Pass.impl.hpp (modified) (2 diffs)

src/AST/Pass.impl.hpp

@@ -218 +218 @@
         __pass::resultNstmt<container_t> new_kids;
         for ( auto value : enumerate( statements ) ) {
+                size_t i = value.idx;
+                const Stmt * stmt = value.val;
                 try {
-                        size_t i = value.idx;
-                        const Stmt * stmt = value.val;
                         __pedantic_pass_assert( stmt );
                         const ast::Stmt * new_stmt = stmt->accept( *this );
@@ -246 +246 @@
                         new_kids.take_all( stmts_after );
                 } catch ( SemanticErrorException &e ) {
+                        if ( auto dstmt = dynamic_cast<const DeclStmt *>( stmt ) ) {
+                                assert( dstmt->decl->unique() );
+                                auto & declLink = const_cast< ptr<Decl> & >( dstmt->decl );
+                  if ( !__pass::on_error (core, declLink, 0) ) goto handled;
+                        }
                         errors.append( e );
+                  handled:;
                 }
         }