search

GorNishanov / coroutines-ts

20 stars 2 forks source link

XX028: Separate pre- and post-conditions from Requires: paragraphs #7

Open brycelelbach opened 7 years ago

brycelelbach commented 7 years ago

There's a few places in the support library (coroutine_handle's from_address and done methods in [coroutine.handle.import.export] and [coroutine.handle.observers] respectively) where pre- and post-conditions are in Requries: paragraphs. We should separate them out from type requirements and place them in Preconditions: and Postconditions: paragraphs.

E.g. Describe type constraints you'd enforce with concepts in Requires:, and describe conditions you'd enforce with contracts in Preconditions: and Postconditions:.

brycelelbach commented 7 years ago

P.S. I'll send a PR for this for Toronto at some point. I don't think this is important for the TS but would be nice for the IS.