search

tact-lang / tact

Tact compiler main repository
https://tact-lang.org
MIT License
280 stars 56 forks source link

Multiple receivers of the same message are not detected #485

Closed anton-trunov closed 2 days ago

anton-trunov commented 3 days ago

The following contract

message Msg {}

contract Example {
    receive(msg: Msg) { }
    receive(msg: Msg) { }
}

produces this FunC compilation message:

error: redefinition of function `$Example$_internal_binary_Msg`
  ((tuple), ()) $Example$_internal_binary_Msg(tuple $self, tuple $msg) impure inline {