Changeset 172d9342 for src/AST/Convert.cpp

Timestamp:

May 17, 2019, 4:01:50 PM (4 years ago)

Author:

Michael Brooks <mlbrooks@…>

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:

f6964ef

Parents:

74dbbf6

Message:

added old-to-new conversion for TypeSubstitution?, within a framework for expressions

File:

• src/AST/Convert.cpp (modified) (4 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"
 
 //================================================================================================
@@ -496 +495 @@
 
         const ast::Init * visit( const ast::ConstructorInit * node ) override final {
-                (void)node;
-                return nullptr;
-        }
-
-        const ast::Constant * visit( const ast::Constant * node ) override final {
                 (void)node;
                 return nullptr;
@@ -970 +964 @@
         }
 
+        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)
         }