Ignore:
Timestamp:
May 22, 2019, 3:38:47 PM (3 years ago)
Author:
Aaron Moss <a3moss@…>
Branches:
arm-eh, cleanup-dtors, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr
Children:
6380f78
Parents:
37eef7a
Message:

Broken GenericSubstitution? version

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/AST/TypeSubstitution.hpp

    r37eef7a rd8938622  
    2525#include "Fwd.hpp"        // for UniqueId
    2626#include "ParseNode.hpp"
    27 #include "Type.hpp"       // for ptr<Type>
     27#include "Type.hpp"       
    2828#include "Common/SemanticError.h"  // for SemanticError
    2929#include "Visitor.hpp"
     
    165165        assert( input );
    166166        Pass<Substituter> sub( *this, false );
    167         input = dynamic_cast< SynTreeClass * >( input->acceptMutator( sub ) );
    168         assert( input );
     167        input = strict_dynamic_cast< SynTreeClass * >( input->accept( sub ) );
    169168///     std::cerr << "substitution result is: ";
    170169///     newType->print( std::cerr );
     
    177176        assert( input );
    178177        Pass<Substituter> sub( *this, true );
    179         input = dynamic_cast< SynTreeClass * >( input->acceptMutator( sub ) );
    180         assert( input );
     178        input = strict_dynamic_cast< SynTreeClass * >( input->accept( sub ) );
    181179///     std::cerr << "substitution result is: ";
    182180///     newType->print( std::cerr );
Note: See TracChangeset for help on using the changeset viewer.