Changeset 99da267 for src/ResolvExpr


Ignore:
Timestamp:
Jul 19, 2019, 2:44:13 PM (5 years ago)
Author:
Michael Brooks <mlbrooks@…>
Branches:
ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
f6cc734e
Parents:
1f1c102
Message:

Running a deep-copy on FunctionType? at RenameVars? time. This manual action addresses the currently-problematic occurrence of 'the transitivity problem.' Resolution of bootloader (and thus builtins) is now completing. The change on RenameVars?.cc makes this happen. Changes on AST/*.hpp finish making the deep-copy framework compile.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ResolvExpr/RenameVars.cc

    r1f1c102 r99da267  
    3030#include "SynTree/Type.h"          // for Type, TypeInstType, TraitInstType
    3131#include "SynTree/Visitor.h"       // for acceptAll, maybeAccept
     32
     33#include "AST/Copy.hpp"
    3234
    3335namespace ResolvExpr {
     
    172174
    173175const ast::Type * renameTyVars( const ast::Type * t ) {
     176        ast::Type *tc = ast::deepCopy(t);
    174177        ast::Pass<RenameVars_new> renamer;
    175         return t->accept( renamer );
     178//      return t->accept( renamer );
     179        return tc->accept( renamer );
    176180}
    177181
Note: See TracChangeset for help on using the changeset viewer.