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

[Merged by Bors] - Add negative zero handling for Map.delete #2726

Closed
wants to merge 1 commit into from

Conversation

raskad
Copy link
Member

@raskad raskad commented Mar 23, 2023

This Pull Request changes the following:

  • Add negative zero handling for Map.delete

@raskad raskad added bug Something isn't working builtins PRs and Issues related to builtins/intrinsics labels Mar 23, 2023
@raskad raskad added this to the v0.17.0 milestone Mar 23, 2023
@github-actions
Copy link

Test262 conformance changes

Test result main count PR count difference
Total 94,277 94,277 0
Passed 71,071 71,073 +2
Ignored 17,324 17,324 0
Failed 5,882 5,880 -2
Panics 14 14 0
Conformance 75.39% 75.39% +0.00%
Fixed tests (2):
test/built-ins/Map/valid-keys.js [strict mode] (previously Failed)
test/built-ins/Map/valid-keys.js (previously Failed)

@codecov
Copy link

codecov bot commented Mar 23, 2023

Codecov Report

Merging #2726 (638d8c0) into main (9b53859) will decrease coverage by 0.19%.
The diff coverage is 71.42%.

@@            Coverage Diff             @@
##             main    #2726      +/-   ##
==========================================
- Coverage   50.45%   50.26%   -0.19%     
==========================================
  Files         395      396       +1     
  Lines       39810    39960     +150     
==========================================
+ Hits        20085    20086       +1     
- Misses      19725    19874     +149     
Impacted Files Coverage Δ
boa_engine/src/builtins/map/mod.rs 79.56% <71.42%> (+2.85%) ⬆️

... and 15 files with indirect coverage changes

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

Copy link
Member

@HalidOdat HalidOdat left a comment

Choose a reason for hiding this comment

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

Nice catch!

@HalidOdat
Copy link
Member

bors r+

bors bot pushed a commit that referenced this pull request Mar 23, 2023
This Pull Request changes the following:

- Add negative zero handling for `Map.delete`
@bors
Copy link

bors bot commented Mar 23, 2023

Pull request successfully merged into main.

Build succeeded:

@bors bors bot changed the title Add negative zero handling for Map.delete [Merged by Bors] - Add negative zero handling for Map.delete Mar 23, 2023
@bors bors bot closed this Mar 23, 2023
@bors bors bot deleted the fix-map-delete-key branch March 23, 2023 13:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working builtins PRs and Issues related to builtins/intrinsics
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants