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

Forward declarations in terms are reordered by UCM #5425

Open
rlmark opened this issue Oct 24, 2024 · 0 comments
Open

Forward declarations in terms are reordered by UCM #5425

rlmark opened this issue Oct 24, 2024 · 0 comments
Labels

Comments

@rlmark
Copy link
Contributor

rlmark commented Oct 24, 2024

Describe and demonstrate the bug

Reported by @etorreborre (thank you!!!), this is an issue where the UCM will re-order forward references even when they are nested inside other terms, leading to a new hash where one might not have been expected. The reordering can also affect the readability of a program.

A transcript is attached which reproduces this issue:
forwardReference.md

Environment (please complete the following information):

  • ucm --version 0.5.27
  • OS/Architecture: MacOS Sonoma 14.5

Additional context
For context, see Discord discussion here

@rlmark rlmark added the bug label Oct 24, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant