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

[CN] Print resource "output arguments" is a more helpful way #519

Open
dc-mak opened this issue Aug 20, 2024 · 0 comments
Open

[CN] Print resource "output arguments" is a more helpful way #519

dc-mak opened this issue Aug 20, 2024 · 0 comments
Labels
cn ui/ux Issue with presentation or user experience

Comments

@dc-mak
Copy link
Contributor

dc-mak commented Aug 20, 2024

image

Unfortunately the pretty printing of the output doesn't match what the user would write as take y = Owned(&ARG1) partly because the output argument can/often is a compound term rather than a variable. But regardless, this should be solvable and the current scheme is silly.

Owned<unsigned int>(&ARG1)(y)
Owned<unsigned int>(&ARG0)(x)
@dc-mak dc-mak added the cn label Aug 20, 2024
@dc-mak dc-mak mentioned this issue Aug 20, 2024
Closed
@yav yav added the ui/ux Issue with presentation or user experience label Sep 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
cn ui/ux Issue with presentation or user experience
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@yav @dc-mak