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

refactor: drop the "syntactic sugar" field, no one uses it #209

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

ctron
Copy link
Contributor

@ctron ctron commented Apr 19, 2023

It looks like this field isn't being used anymore. Removing it doesn't fail the tests, and the code only seems to ignored it.

It looks like this field isn't being used anymore. Removing it doesn't
fail the tests, and the code only seems to ignored it.
@ctron ctron force-pushed the feature/refactor_3 branch from fad1dd7 to cd9aceb Compare April 19, 2023 12:16
@bobmcwhirter
Copy link
Contributor

I think that field is/was used by the human UI?

So that we can display the definition as typed?

Since foo && bar and lang::and<[foo, bar]> are equiv, and we'd prefer to show the one as typed?

@ctron ctron marked this pull request as draft April 21, 2023 14:19
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