Skip to content

Rework of functions to test or wait canceler states

Vivien Pelletier requested to merge vivien@when_canceled into master

Add 2 functions:

  • canceling t is true iff t is canceled or canceling,
  • when_canceled t is determined when t is in canceled state. Modify the function canceled. Now canceled t is true iff t is canceled. Rename cancellation into when_canceling.
Edited by Raphaël Proust

Merge request reports