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

#253 - Do not emit warnings during merge #255

Merged
merged 1 commit into from
Mar 25, 2022

Conversation

jcklie
Copy link
Collaborator

@jcklie jcklie commented Mar 25, 2022

We now do not warn when redefining features during merge, as that leads too many warnings, especially when merging very similar type systems.

We now do not warn when redefining features during merge, as that leads too many warnings, especially when merging very similar type systems.
@jcklie jcklie added this to the 0.7.1 milestone Mar 25, 2022
@jcklie jcklie requested a review from reckart March 25, 2022 10:28
@jcklie jcklie self-assigned this Mar 25, 2022
@codecov
Copy link

codecov bot commented Mar 25, 2022

Codecov Report

Merging #255 (ff5fddc) into main (339c27b) will increase coverage by 0.05%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##             main     #255      +/-   ##
==========================================
+ Coverage   95.43%   95.49%   +0.05%     
==========================================
  Files           5        5              
  Lines        1861     1863       +2     
==========================================
+ Hits         1776     1779       +3     
+ Misses         85       84       -1     
Impacted Files Coverage Δ
cassis/typesystem.py 95.65% <100.00%> (+0.16%) ⬆️

📣 Codecov can now indicate which changes are the most critical in Pull Requests. Learn more

Copy link
Member

@reckart reckart left a comment

Choose a reason for hiding this comment

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

Looks good, but does the comparison work on features? I suspect there is some auto-generated eq method magic at work here?

@jcklie jcklie merged commit cec4478 into main Mar 25, 2022
@jcklie jcklie deleted the bugfix/253-dont-warn-when-merging-ts branch March 25, 2022 12:12
@jcklie
Copy link
Collaborator Author

jcklie commented Mar 25, 2022

We auto generate eq based on features when magically generating the class on the fly.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Merging type systems that contain the same types triggers tons of warnings
2 participants