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

11.8.6 call value discarded

A valued 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