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

Independent FullForm #1316

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Conversation

mmatera
Copy link
Contributor

@mmatera mmatera commented Jan 24, 2025

This is useful to handle the FullForm outside the evaluation process, for example, in debugging, or as a last resource with the standard evaluation process fails.

@rocky
Copy link
Member

rocky commented Jan 24, 2025

Let's defer this until after a release, which I think may happen this weekend.

@mmatera
Copy link
Contributor Author

mmatera commented Jan 24, 2025

Sure. I just put this here in relation with the other PR.

@mmatera mmatera force-pushed the makeboxes_refactor_2025_step_0p5 branch from 3b54e1b to 74bb87c Compare February 9, 2025 22:11
@@ -183,14 +183,10 @@ def do_format_rational(
if not isinstance(element, Rational):
return None
if form is SymbolFullForm:
Copy link
Member

Choose a reason for hiding this comment

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

I realize this is not part of the changed code, but I have this nagging feeling that code like if form is ... is not the right way ultimately we should be approaching this.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

@rocky, feel free to push over all the changes you find useful.

Copy link
Member

Choose a reason for hiding this comment

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

Right now, I'd like to defer work on this kind of code until a better handle on MakeBox migration.

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.

2 participants