Changeset 14c0f7b for src/InitTweak/InitTweak.cc

Timestamp:

Jul 31, 2023, 11:25:51 AM (11 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

f496046

Parents:

e0332dd

Message:

Added invariant to check that referenced declarations are in scope. This one took a while, I don't remember why forall pointer decay is involved.

File:

• src/InitTweak/InitTweak.cc (modified) (2 diffs)

src/InitTweak/InitTweak.cc

@@ -891 +891 @@
                                 dst = new ast::AddressExpr(dst);
                         }
-                }
-                else {
+                } else {
                         dst = new ast::CastExpr(dst, new ast::ReferenceType(dst->result, {}));
                 }
@@ -900 +899 @@
                         }
                 }
-                return new ast::ApplicationExpr(dst->location, ast::VariableExpr::functionPointer(dst->location, assign), {dst, src});
+                auto var = ast::VariableExpr::functionPointer(dst->location, assign);
+                auto app = new ast::ApplicationExpr(dst->location, var, {dst, src});
+                // Skip the resolver, just set the result to the correct type.
+                app->result = ast::deepCopy( src->result );
+                return app;
         }