New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

State-dependent methods manual page and minor fix #1398

merged 2 commits into from Oct 23, 2018


None yet
2 participants

pwang347 commented Oct 23, 2018


  • Added manual page with examples
  • Fixes case where injections weren't working with void methods (and to guard against strange fall-down behaviour with switch cases that lack break and return)
  • Fixes return adding an extra space for void types in the default case

@pwang347 pwang347 requested a review from TimLethbridge Oct 23, 2018


This comment has been minimized.


TimLethbridge commented Oct 23, 2018

Brilliant! I love the dining philosophers example

@TimLethbridge TimLethbridge merged commit ff3f107 into master Oct 23, 2018

4 checks passed

continuous-integration/appveyor/branch AppVeyor build succeeded
continuous-integration/appveyor/pr AppVeyor build succeeded
continuous-integration/travis-ci/pr The Travis CI build passed
continuous-integration/travis-ci/push The Travis CI build passed

@pwang347 pwang347 deleted the issue_1351 branch Oct 23, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment