Changeset 682dcae


Ignore:
Timestamp:
May 18, 2018, 1:36:33 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, with_gc
Children:
4d6d62e
Parents:
bfd0a1a
Message:

Add a case for ReferenceType? in typesPolyCompatible

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/GenPoly/GenPoly.cc

    rbfd0a1a r682dcae  
    371371                        return is<VoidType>( ap->get_base() ) || is<VoidType>( bp->get_base() )
    372372                                || typesPolyCompatible( ap->get_base(), bp->get_base() );
     373                } else if ( aid == type_index{typeid(ReferenceType)} ) {
     374                        ReferenceType *ap = as<ReferenceType>(a), *bp = as<ReferenceType>(b);
     375                        return is<VoidType>( ap->get_base() ) || is<VoidType>( bp->get_base() )
     376                                || typesPolyCompatible( ap->get_base(), bp->get_base() );
    373377                } else if ( aid == type_index{typeid(ArrayType)} ) {
    374378                        ArrayType *aa = as<ArrayType>(a), *ba = as<ArrayType>(b);
Note: See TracChangeset for help on using the changeset viewer.