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

removes @pure and some miscelanious cleanups #108

Merged
merged 2 commits into from
May 17, 2023
Merged

Conversation

oscardssmith
Copy link
Member

this is NFC, just removing a lot of uses of @pure that @Keno isn't allowed to write since he isn't Jamison (and they were probably from before the effect system).

@oscardssmith
Copy link
Member Author

oscardssmith commented Feb 11, 2023

CI doesn't pass on nightly without #107, but it passes locally if you rebase on the other it.

@codecov
Copy link

codecov bot commented Apr 12, 2023

Codecov Report

Patch coverage: 76.66% and project coverage change: -1.05 ⚠️

Comparison is base (35ce2cc) 51.52% compared to head (cc98517) 50.47%.

❗ Current head cc98517 differs from pull request most recent head eb7f7f6. Consider uploading reports for the commit eb7f7f6 to get more accurate results

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #108      +/-   ##
==========================================
- Coverage   51.52%   50.47%   -1.05%     
==========================================
  Files          27       27              
  Lines        2696     2649      -47     
==========================================
- Hits         1389     1337      -52     
- Misses       1307     1312       +5     
Impacted Files Coverage Δ
src/stage1/mixed.jl 0.00% <0.00%> (ø)
src/extra_rules.jl 45.45% <60.00%> (+0.90%) ⬆️
src/stage1/forward.jl 66.66% <66.66%> (+1.06%) ⬆️
src/interface.jl 67.92% <75.00%> (-1.17%) ⬇️
src/stage1/generated.jl 72.80% <93.75%> (-1.27%) ⬇️

... and 14 files with indirect coverage changes

☔ View full report in Codecov by Sentry.
📢 Do you have feedback about the report comment? Let us know in this issue.

@oscardssmith
Copy link
Member Author

I think this is ready to merge.

@Keno
Copy link
Collaborator

Keno commented Apr 12, 2023

CI is failing.

@staticfloat staticfloat force-pushed the atone-for-our-sins branch from edb563d to eb7f7f6 Compare May 17, 2023 16:54
@staticfloat
Copy link
Collaborator

CI passes now, so I'm merging.

@staticfloat staticfloat merged commit 99cf2ee into main May 17, 2023
@oscardssmith oscardssmith deleted the atone-for-our-sins branch May 17, 2023 17:05
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.

3 participants