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

Remove unused ConstrVariant #440

Merged
merged 1 commit into from
Jan 9, 2023
Merged

Remove unused ConstrVariant #440

merged 1 commit into from
Jan 9, 2023

Conversation

JSAbrahams
Copy link
Owner

@JSAbrahams JSAbrahams commented Jan 9, 2023

Relevant issues

Summary

Instead commit to the parent-child heuristic we have used anyway up until this point.
Turns out that we don't need to switch around parent child in constraints, we just need better substitution rules, such as in #438 .

Instead commit to the parent-child heuristic we
have used anyway up until this point.
@JSAbrahams JSAbrahams added the code quality: general Code quality issue not relevant to a particular module label Jan 9, 2023
@JSAbrahams JSAbrahams added this to the v0.3.6 | Dictionaries milestone Jan 9, 2023
@JSAbrahams JSAbrahams self-assigned this Jan 9, 2023
@codecov
Copy link

codecov bot commented Jan 9, 2023

Codecov Report

Merging #440 (58c3f74) into develop (7d06ae2) will increase coverage by 0.02%.
The diff coverage is 81.48%.

@@             Coverage Diff             @@
##           develop     #440      +/-   ##
===========================================
+ Coverage    88.59%   88.62%   +0.02%     
===========================================
  Files          110      110              
  Lines        11956    11936      -20     
===========================================
- Hits         10593    10578      -15     
+ Misses        1363     1358       -5     
Impacted Files Coverage Δ
src/check/constrain/constraint/iterator.rs 84.61% <0.00%> (ø)
src/check/constrain/unify/function.rs 78.83% <66.66%> (+0.57%) ⬆️
src/check/constrain/unify/ty.rs 76.13% <80.00%> (-0.46%) ⬇️
src/check/constrain/constraint/mod.rs 91.89% <87.50%> (+4.13%) ⬆️
src/check/constrain/constraint/builder.rs 96.50% <100.00%> (ø)
src/check/constrain/unify/expression/mod.rs 85.00% <100.00%> (-0.72%) ⬇️
src/check/constrain/unify/expression/substitute.rs 100.00% <100.00%> (ø)
src/check/constrain/unify/link.rs 93.54% <100.00%> (ø)

@JSAbrahams JSAbrahams merged commit de13961 into develop Jan 9, 2023
@JSAbrahams JSAbrahams deleted the remove-constr-variant branch January 9, 2023 16:04
JSAbrahams added a commit that referenced this pull request Jan 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
code quality: general Code quality issue not relevant to a particular module
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant