Changeset a29477f


Ignore:
Timestamp:
Mar 9, 2023, 2:16:20 PM (2 years ago)
Author:
caparson <caparson@…>
Branches:
ADT, ast-experimental, master
Children:
702e826
Parents:
c74372f (diff), 2ceb2bf (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:
1 edited

Legend:

Unmodified
Added
Removed
  • TabularUnified libcfa/src/concurrency/actor.hfa

    rc74372f ra29477f  
    460460static inline void deliver_request( request & this ) {
    461461    this.receiver->allocation_ = this.fn( *this.receiver, *this.msg );
     462    check_message( *this.msg );
    462463    check_actor( *this.receiver );
    463     check_message( *this.msg );
    464464}
    465465
     
    681681// assigned at creation to __base_msg_finished to avoid unused message warning
    682682message __base_msg_finished @= { .allocation_ : Finished };
    683 struct __DeleteMsg { inline message; };
    684 struct __DestroyMsg { inline message; };
    685 struct __FinishedMsg { inline message; };
    686 
    687 // These are needed so that the compiler doesn't make a temporary when initializing below
    688 static inline void ?{}( __DeleteMsg & this, message & other ) { this.allocation_ = other.allocation_; }
    689 static inline void ?{}( __DestroyMsg & this, message & other ) { this.allocation_ = other.allocation_; }
    690 static inline void ?{}( __FinishedMsg & this, message & other ) { this.allocation_ = other.allocation_; }
    691 
    692 __DeleteMsg DeleteMsg = __base_msg_finished;
    693 __DestroyMsg DestroyMsg = __base_msg_finished;
    694 __FinishedMsg FinishedMsg = __base_msg_finished;
     683struct __DeleteMsg { inline message; } DeleteMsg = __base_msg_finished;
     684struct __DestroyMsg { inline message; } DestroyMsg = __base_msg_finished;
     685struct __FinishedMsg { inline message; } FinishedMsg = __base_msg_finished;
    695686
    696687Allocation receive( actor & this, __DeleteMsg & msg ) { return Delete; }
Note: See TracChangeset for help on using the changeset viewer.