unisonweb / unison

A friendly programming language from the future
https://unison-lang.org
Other
5.81k stars 271 forks source link

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

Open mitchellwrosen opened 1 month ago

mitchellwrosen commented 1 month ago

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 commented 1 month ago

Looks like a duplicate of #4598

mitchellwrosen commented 1 month ago

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 commented 1 month ago
image

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