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

The transcript runner hasn't produced ucm feedback for this unison block #5407

Open
mitchellwrosen opened this issue Oct 10, 2024 · 3 comments
Labels

Comments

@mitchellwrosen
Copy link
Member

I ran into this bug while writing a transcript recently. My workaround for now is to repeat the same unison block twice. You can see that feedback from ucm is empty the first time (incorrect), and non-empty the second time (correct).

https://github.com/unisonweb/unison/pull/5404/files#diff-0b3f70e4ed01aa42136cec276d6414f714b2b1caa1a8a601f6944b5b0f0c9674R77-R108

@aryairani
Copy link
Contributor

Looks like a duplicate of #4598

@mitchellwrosen
Copy link
Member Author

Yeah, it does... I'm inclined to leave this ticket open until that's fixed, though, just in case they are different bugs (unlikely)

@aryairani
Copy link
Contributor

image Seems to be literally the same: `edit` is used in a transcript and then the next `unison` block is ignored.

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

2 participants