Changeset 795d450


Ignore:
Timestamp:
Jul 18, 2017, 4:20:02 PM (4 years ago)
Author:
Rob Schluntz <rschlunt@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, demangler, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, resolv-new, with_gc
Children:
242a902
Parents:
e6cee92
Message:

Correct the expression type after boxing intrinsic dereference to the argument base type

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/GenPoly/Box.cc

    re6cee92 r795d450  
    607607                                                }
    608608                                        } else {
    609                                                 throw SemanticError( "Cannot pass non-struct type for generic struct" );
     609                                                throw SemanticError( "Cannot pass non-struct type for generic struct: ", argBaseType );
    610610                                        }
    611611                                }
     
    10401040                                                        // remove dereference from polymorphic types since they are boxed.
    10411041                                                        Expression *ret = appExpr->get_args().front();
     1042                                                        // fix expr type to remove reference
    10421043                                                        delete ret->get_result();
    1043                                                         ret->set_result( appExpr->get_result()->clone() );
     1044                                                        Type * baseType = InitTweak::getPointerBase( appExpr->get_result() );
     1045                                                        assert( baseType );
     1046                                                        ret->set_result( baseType->clone() );
    10441047                                                        if ( appExpr->get_env() ) {
    10451048                                                                ret->set_env( appExpr->get_env() );
Note: See TracChangeset for help on using the changeset viewer.