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

hclsyntax, hcldec: Just some extra tests for marks and refinements interacting together #631

Merged
merged 2 commits into from
Oct 6, 2023

Conversation

apparentlymart
Copy link
Member

@apparentlymart apparentlymart commented Oct 6, 2023

In #630, and a couple other similar situations found while debugging that one, it became clear that interactions between refinements and marks are a bit of a hazard, since each involves a different kind of tag-along metadata that needs to be carefully preserved during evaluation.

That prompted me to go review the other refinements-related code added at the same time. I didn't yet find any specific bugs, but this PR includes some of the tests I added while I was reviewing, to help exercise more interactions between refinement and marks.

This doesn't change any non-test code.

The interactions between value marks and unknown value refinements can be
a little tricky, so this pair of new tests cover two examples of that
interaction that are currently working and ought to stay that way.
The interactions between value marks and unknown value refinements can be
a little tricky, so this new addition to the "RefineWith" tests confirms
that it does indeed handle marked values correctly when passing through
the refinement spec.
@apparentlymart apparentlymart requested a review from a team October 6, 2023 17:49
@apparentlymart apparentlymart self-assigned this Oct 6, 2023
@apparentlymart apparentlymart merged commit 63067e8 into main Oct 6, 2023
7 checks passed
@apparentlymart apparentlymart deleted the f-refinements-marks-tests branch October 6, 2023 18:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants