Previous: , Up: Well-formedness – Valued Actions and Calls   [Contents][Index]


11.8.4 call value discarded

A typed function is called without using its return value.

interface call_discard_value
{
  in void hello ();
  behavior
  {
    bool f ()
    {
      return true;
    }

    on hello: f ();
  }
}

This results in the following error message:

call-discard-value.dzn:11:15: error: call value discarded