unison
unison copied to clipboard
Confusing error message when trying to move a definition in UCM by number.
I ran into this error earlier when trying to reorganize my codebase.
bad-wasm-runner/main> find Signed
1. decode.decodeSignedLEB128 : '{Decode} Int
2. decode.decodeSignedLEB128Test : [Result]
3. decode.decodeUnsignedLEB128 : '{Decode} Nat
4. decode.tests.UnsignedLEB128 : [Result]
bad-wasm-runner/main> move 2 test.decodeSignedLEB128Test
extra characters after decode.decodeSignedLEB128Test: "#2acu71va6gcfjn74f4spug2bq9l5nefj24tk6hjp1an16tp3h6v8vmguanghogto27aiqtdei9jsu8ij408gel780d037nnkh3oi5h0"
Naming it directly worked fine:
bad-wasm-runner/main> move decode.decodeSignedLEB128Test test.decodeSignedLEB128Test
Done.
Thanks for the report @fwip.
Does move.term
work here, as a temporary workaround?
move
is trying to move a term, type, or namespace and/all with that name to the new name, whereas the 2
is trying to specify a specific name with a specific hash, so the two aren't working right together.