Ignore:
Timestamp:
Oct 24, 2017, 1:09:33 PM (6 years ago)
Author:
Rob Schluntz <rschlunt@…>
Branches:
ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
Children:
b45d4b2
Parents:
85d340d
git-author:
Rob Schluntz <rschlunt@…> (10/24/17 13:08:34)
git-committer:
Rob Schluntz <rschlunt@…> (10/24/17 13:09:33)
Message:

Move inferred parameters to Exception base class

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ResolvExpr/AlternativeFinder.cc

    r85d340d rdf626eb  
    632632                                        std::cerr << std::endl;
    633633                                )
    634                                 ApplicationExpr *appExpr = static_cast< ApplicationExpr* >( newerAlt.expr );
    635634                                // follow the current assertion's ID chain to find the correct set of inferred parameters to add the candidate to (i.e. the set of inferred parameters belonging to the entity which requested the assertion parameter).
    636                                 InferredParams * inferParameters = &appExpr->get_inferParams();
     635                                InferredParams * inferParameters = &newerAlt.expr->get_inferParams();
    637636                                for ( UniqueId id : cur->second.idChain ) {
    638637                                        inferParameters = (*inferParameters)[ id ].inferParams.get();
Note: See TracChangeset for help on using the changeset viewer.