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

Pretty print JIT-compiled telescope #1286

Merged
merged 17 commits into from
Jan 25, 2025
Merged

Pretty print JIT-compiled telescope #1286

merged 17 commits into from
Jan 25, 2025

Conversation

ice1000
Copy link
Member

@ice1000 ice1000 commented Jan 25, 2025

No description provided.

@ice1000 ice1000 linked an issue Jan 25, 2025 that may be closed by this pull request
# Conflicts:
#	syntax/src/main/java/org/aya/prettier/CorePrettier.java
@ice1000 ice1000 added this to the v0.38 milestone Jan 25, 2025
Copy link

codecov bot commented Jan 25, 2025

Codecov Report

Attention: Patch coverage is 83.67347% with 16 lines in your changes missing coverage. Please review.

Project coverage is 83.48%. Comparing base (cb5abcb) to head (90bf168).
Report is 19 commits behind head on main.

Files with missing lines Patch % Lines
...x/src/main/java/org/aya/prettier/CorePrettier.java 82.95% 14 Missing and 1 partial ⚠️
...ax/src/main/java/org/aya/syntax/compile/JitFn.java 66.66% 0 Missing and 1 partial ⚠️
Additional details and impacted files
@@             Coverage Diff              @@
##               main    #1286      +/-   ##
============================================
+ Coverage     83.41%   83.48%   +0.06%     
- Complexity     4235     4258      +23     
============================================
  Files           386      386              
  Lines         12311    12337      +26     
  Branches       1423     1424       +1     
============================================
+ Hits          10269    10299      +30     
+ Misses         1291     1285       -6     
- Partials        751      753       +2     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@ice1000 ice1000 changed the title Erm Pretty print JIT-compiled telescope Jan 25, 2025
@ice1000 ice1000 marked this pull request as ready for review January 25, 2025 14:02
@ice1000 ice1000 merged commit d9d2d54 into main Jan 25, 2025
6 checks passed
@ice1000 ice1000 deleted the 1128 branch January 25, 2025 14:02
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.

Pretty print JIT-compiled core definitions as their signature
2 participants