Spec inconsistent for progress_level::none

[Nenad Vukicevic]

Test with progress level 'none' fails to compile.

It seems that it is not defined in backend_fwd.hpp.

 20   enum class progress_level {
 21     internal,
 22     user
 23   };

[Dan Bonachea]

I think the real issue here is we have a contradiction in the spec.

From Spec 9.1:

progress_level::none UPC++ will not attempt to advance the progress of asynchronous operations.

From Spec 9.5 API reference:

1 enum class progress_level {
2 /* none , -- not an actual member , conceptual only */
3 internal ,
4 user
5 };

We need to decide whether or not we want upcxx::progress_level::none as a real symbol, and adjust the spec and implementation accordingly.

[Dan Bonachea]

In the 1/10/18 meeting, we resolved that Amir will resolve the inconsistency by removing any spec mention of progress_level::none as an actual identifier.

[Dan Bonachea]

Proposed resolution in spec PR #4

[Dan Bonachea]

Resolved in spec commit c85c5cd