unisonweb/unison

Forward declarations in terms are reordered by UCM

rlmark opened this issue · 0 comments

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