Skip to content
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

[dmd-cxx] Implement new syntax for contracts and invariants #12106

Merged
merged 3 commits into from
Jan 7, 2021

Conversation

ibuclaw
Copy link
Member

@ibuclaw ibuclaw commented Jan 7, 2021

Required for synchronizing latest bindings.

@dlang-bot
Copy link
Contributor

Thanks for your pull request, @ibuclaw!

Bugzilla references

Auto-close Bugzilla Severity Description
6549 enhancement Implement contracts without implementation.
12901 major Assignments to outside members in in/out contracts shouldn't be allowed

Testing this PR locally

If you don't have a local development environment setup, you can use Digger to test this PR:

dub run digger -- build "dmd-cxx + dmd#12106"

@RazvanN7 RazvanN7 merged commit e598f69 into dlang:dmd-cxx Jan 7, 2021
@ibuclaw ibuclaw deleted the dmd-cxx-contract branch January 7, 2021 12:37
sebhub pushed a commit to RTEMS/gnu-mirror-gcc that referenced this pull request Jan 10, 2021
Expression-based contract syntax has been added.  Contracts that consist
of a single assertion can now be written more succinctly and multiple
`in` or `out` contracts can be specified for the same function.

Reviewed-on: dlang/dmd#12106

gcc/d/ChangeLog:

	* dmd/MERGE: Merge upstream dmd e598f69c0.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants