Skip to content

Remove conditionless reduction hint#871

Merged
knocte merged 3 commits into
fsprojects:masterfrom
webwarrior-ws:hints-bug-ignore
Jul 14, 2026
Merged

Remove conditionless reduction hint#871
knocte merged 3 commits into
fsprojects:masterfrom
webwarrior-ws:hints-bug-ignore

Conversation

@webwarrior-ws

Copy link
Copy Markdown
Contributor

Removed conditionless reduction ("if x then y else y ===> y") hint because it caused false positives on records.

Fixing it would take a lot of work since AbstractSyntaxArray.getHashCode function would have to be defined for all expression types (there are about 60 of them).

A test with [<Ignore>] attribute was added as an example of such false positive.

For records with different data but that data are not literal
constants.
@knocte

knocte commented Jul 14, 2026

Copy link
Copy Markdown
Collaborator

When you perform a 'git revert' command, git automatically injects the commit hash in the commit msg, why did you remove the commit hash from it?

This reverts commit d0f34e0.

Hint introduced in that commit caused false positives on
records, which are hard to fix.
Fixing it would take a lot of work since
AbstractSyntaxArray.getHashCode function would have to be
defined for all expression types (there are about 60 of them).
@webwarrior-ws

Copy link
Copy Markdown
Contributor Author

When you perform a 'git revert' command, git automatically injects the commit hash in the commit msg, why did you remove the commit hash from it?

Added commit hash back to the commit message.

@knocte
knocte merged commit c69c9c1 into fsprojects:master Jul 14, 2026
8 checks passed
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.

2 participants