Changeset f6964ef for src/AST/Convert.cpp

Timestamp:

May 17, 2019, 4:03:23 PM (6 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

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

Children:

7b149bc

Parents:

675d816 (diff), 172d9342 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• src/AST/Convert.cpp (modified) (3 diffs)

src/AST/Convert.cpp

@@ -16 +16 @@
 #include "Convert.hpp"
 
-#include "AST/Pass.hpp"
-
 #include "AST/Attribute.hpp"
 #include "AST/Decl.hpp"
@@ -23 +21 @@
 #include "AST/Init.hpp"
 #include "AST/Stmt.hpp"
-
+#include "AST/TypeSubstitution.hpp"
 
 #include "SynTree/Attribute.h"
 #include "SynTree/Declaration.h"
+#include "SynTree/TypeSubstitution.h"
 
 //================================================================================================
@@ -1172 +1171 @@
         }
 
+        ast::TypeSubstitution * convertTypeSubstitution(const TypeSubstitution * old) {
+
+                ast::TypeSubstitution *rslt = new ast::TypeSubstitution();
+
+                for (decltype(old->begin()) old_i = old->begin(); old_i != old->end(); old_i++) {
+                        rslt->add( old_i->first,
+                                   getAccept1<ast::Type>(old_i->second) );
+                }
+
+                for (decltype(old->beginVar()) old_i = old->beginVar(); old_i != old->endVar(); old_i++) {
+                        rslt->addVar( old_i->first,
+                                      getAccept1<ast::Expr>(old_i->second) );
+                }
+        }
+
+        void convertInferUnion(ast::Expr::InferUnion &nwInferred, InferredParams oldInferParams, const std::vector<UniqueId> &oldResnSlots) {
+                
+                (void) nwInferred;
+                (void) oldInferParams;
+                (void) oldResnSlots;
+                
+                // TODO
+        }
+
+        ast::Expr * visitBaseExpr(Expression * old, ast::Expr * nw) {
+
+                nw->result = GET_ACCEPT_1(result, Type);
+                nw->env    = convertTypeSubstitution(old->env);
+
+                nw->extension = old->extension;
+                convertInferUnion(nw->inferred, old->inferParams, old->resnSlots);
+
+                return nw;
+        }
+
         virtual void visit( ApplicationExpr * ) override final {
-
+                // TODO
         }
 
         virtual void visit( UntypedExpr * ) override final {
-
-        }
-
-        virtual void visit( NameExpr * ) override final {
-
+                // TODO
+        }
+
+        virtual void visit( NameExpr * old ) override final {
+                this->node = visitBaseExpr( old,
+                        new ast::NameExpr(
+                                old->location,
+                                old->get_name()
+                        )
+                );
         }
 
         virtual void visit( CastExpr * ) override final {
-
+                // TODO ... (rest)
         }