#15 Can’t tell which task has exited

[Simon Wright]

If a task exits, System.Tasking.Restricted.Stages.Wrapper says

  --  If we return here, the task procedure has exited (and not
  --  because of an exception, which would already have reached
  --  the last chance handler).
  raise Program_Error with "task exited, not allowed in Ravenscar”;

but it’s not at all obvious how to tell which task is involved (if indeed it’s possible).