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

Generalize pretty-printing onto rich streams #154

Open
shingarov opened this issue Oct 15, 2023 · 1 comment
Open

Generalize pretty-printing onto rich streams #154

shingarov opened this issue Oct 15, 2023 · 1 comment
Labels
backburner TODO at some future date good first issue Good for newcomers

Comments

@shingarov
Copy link
Owner

PR #153 implements only the special case needed for Notarfrancesco-style printing of multiline things like Matrices (or in our case, Gentzen ND rules). In general, the check for whether the Stream is rich-textual, should not be specific to Form, should be double-dispatched to the stream, and this whole thing should be done up in Object.

@shingarov shingarov added good first issue Good for newcomers backburner TODO at some future date labels Oct 15, 2023
@shingarov
Copy link
Owner Author

Hmm, I wonder how far one can go with it. What if aStream is some kind of Assembler Syntax stream — so now Tinyrossa could pipe Instructions into gas when AoT-ing simply by eachInstruction printOn: anAssemblyStream?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backburner TODO at some future date good first issue Good for newcomers
Projects
None yet
Development

No branches or pull requests

1 participant