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

0.19.1 - Higher order copy propagation #105

Merged
merged 9 commits into from
Jun 2, 2023
Merged

0.19.1 - Higher order copy propagation #105

merged 9 commits into from
Jun 2, 2023

Conversation

aboeglin
Copy link
Contributor

@aboeglin aboeglin commented May 14, 2023

  • exhaustive patterns for instance methods
  • add an optimization pass for higher order copy propagation
  • add rewrite rule for pipe(map(f), map(g)) => map(pipe(f, g))

@codecov
Copy link

codecov bot commented May 14, 2023

Codecov Report

Merging #105 (08b437f) into master (4ddd67f) will increase coverage by 0.02%.
The diff coverage is 100.00%.

❗ Current head 08b437f differs from pull request most recent head 59a8cf4. Consider uploading reports for the commit 59a8cf4 to get more accurate results

@@            Coverage Diff             @@
##           master     #105      +/-   ##
==========================================
+ Coverage   67.52%   67.54%   +0.02%     
==========================================
  Files          75       75              
  Lines       12022    12024       +2     
==========================================
+ Hits         8118     8122       +4     
+ Misses       3904     3902       -2     
Impacted Files Coverage Δ
compiler/main/Infer/ExhaustivePatterns.hs 82.67% <100.00%> (+0.10%) ⬆️

... and 1 file with indirect coverage changes

@aboeglin aboeglin marked this pull request as ready for review June 2, 2023 21:25
@aboeglin aboeglin merged commit 13b77c5 into master Jun 2, 2023
Copy link
Contributor

@brekk brekk left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:shipit:

@aboeglin aboeglin deleted the 0.19.1 branch June 2, 2023 21:27
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