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.

Sign up for GitHub

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

Jump to bottom

Pretty print JIT-compiled core definitions as their signature #1128

Closed
ice1000 opened this issue Jul 1, 2024 · 5 comments · Fixed by #1286
Closed

Pretty print JIT-compiled core definitions as their signature #1128

ice1000 opened this issue Jul 1, 2024 · 5 comments · Fixed by #1286
Labels
jit pretty print
Milestone
v0.38

Comments

@ice1000
Copy link
Member

ice1000 commented Jul 1, 2024

🤔
@HoshinoTented
Copy link
Contributor

Only the definition telescope can be pretty printed, the body is compiled!

@ice1000 ice1000 changed the title Pretty print JIT-compiled core definitions Pretty print JIT-compiled core definitions as their signature Dec 9, 2024
@ice1000 ice1000 added this to the v0.38 milestone Jan 5, 2025
@HoshinoTented
Copy link
Contributor

But when do we need to pretty print them? The only case in my mind is debugging.

@ice1000
Copy link
Member Author

ice1000 commented Jan 19, 2025

But when do we need to pretty print them? The only case in my mind is debugging.

Repl? Importing them

@ice1000
Copy link
Member Author

ice1000 commented Jan 19, 2025

:i

@HoshinoTented
Copy link
Contributor

ic

@ice1000 ice1000 linked a pull request Jan 25, 2025 that will close this issue
Pretty print JIT-compiled telescope #1286
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
jit pretty print
Projects
None yet
Milestone
v0.38
Development

Successfully merging a pull request may close this issue.

Pretty print JIT-compiled telescope aya-prover/aya-dev
2 participants
@ice1000 @HoshinoTented