implement inc/dec as desugared magic #440
Closed
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Tried to implement as template, doesn't work because the use of
+
/-
needs a concept and concepts still seem to have some issues, evenx = x
does not work (will still look at these issues). Alternatively it could be an untyped template. In any case this is more faithful, could be revisited later.A problem with this approach is that mutability checking has to be special cased for these magics as well as
incl
/excl
, which is not done yet