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

Separate disambiguation functions from disambiguation groups in XML dump. #32

Open
schwerdf opened this issue Dec 20, 2017 · 1 comment
Open

Separate disambiguation functions from disambiguation groups in XML dump. #32

schwerdf opened this issue Dec 20, 2017 · 1 comment
Labels
enhancement Old TODO

Comments

@schwerdf
Copy link
Contributor

Currently, the XML- and HTML-format dumps make no distinction between disambiguation functions that disambiguate non-declaratively and disambiguation groups that always disambiguate to the same terminal. This should be added as part of the resolution of ticket #25.
@schwerdf schwerdf added this to the Copper 0.8.0 milestone Dec 30, 2017
@schwerdf
Copy link
Contributor Author

This should be deferred until after the upcoming changes to disambiguation functions.

@schwerdf schwerdf removed this from the Copper 0.8.0 milestone Nov 16, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement Old TODO
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@schwerdf