Cherry pick overwriting #3310
Open
Cherry pick overwriting #3310
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
* Basic overwriting syntax * Update line numbers in expect tests after cherry-pick * Implement suggestions * Update tests * Implement suggestions * Remove nested quotes * Revert "Remove nested quotes" This reverts commit 72eaa04.
* Tests for overwriting * Remove old tests for unique overwrites and fix typos * Add overwriting tests back * Add tests for lifting out constants * Update tests * Use extension universe alpha * Test all cases for gc soundness bug * Review feedback: add more CRs and clarify overwriting_map.ml * Review feedback: Add allocation counter to rbtree * Review feedback: also test mixed blocks and unboxed float blocks in the lift constants test * Review feedback: as discussed in meeting * Review feedback
Parser Change ChecklistThis PR modifies the parser. Please check that the following tests are updated:
This test should have examples of every new bit of syntax you are adding. Feel free to just check the box if your PR does not actually change the syntax (because it is refactoring the parser, say). |
* First draft of type checking * Check in uniqueness analysis that tags stay the same during overwriting * Report a syntax error on overwriting anything except an allocation * Full type-checking for tuples and records * Type checking fully implemented * Clean up type-checking and add ability to overwrite arbitrary expressions * Fix checking of tags * Test (labeled) tuples * Final tests and allow overwrite of inlined records * Review suggestion Co-authored-by: Richard Eisenberg <[email protected]> * Review suggestion Co-authored-by: Richard Eisenberg <[email protected]> * Review feedback: add more tests * Uniqueness analysis: Change grammar of error message to indicate parallel evaluation * Review feedback: Fix typo Co-authored-by: Richard Eisenberg <[email protected]> * Review feedback: add comments and tests * Prevent nested allocations in overwrite * Review feedback: Fix comment and improve readability * Review feedback: add comments, tests and nicer error messages * Fix nested record bug * Improve code quality * Disallow overwriting of unboxed records * Review feedback * Clarify the overwriting state for type_label_exp * Add debugging printers for uniqueness Sadly this doesn't actually work in the debugger. * Temporarily allow unique mutable fields for better tests of overwriting tags (to be reverted) * New scheme for checking that overwrite does not change tags * Refactor: split up Learned_tags and Overwrites and use match_with_learned_tags instead of seq * Add comment about fold_left1 and zero of semiring * Fix submode error attribution in records * Tune errors in tag checker * Don't record tags that have been overwritten and matched with a learned tag * Review feedback: comments and small improvements * Review feedback: tune comments --------- Co-authored-by: Richard Eisenberg <[email protected]> Co-authored-by: Richard Eisenberg <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
Cherry-pick of the two commits on
overwritingthat are not yet onmain. Mostly uneventful, although thelanguage_extension.mlfile was restructured slightly and needed to be adjusted.