unison icon indicating copy to clipboard operation
unison copied to clipboard

Confusing error message when trying to move a definition in UCM by number.

Open fwip opened this issue 1 year ago • 1 comments

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.

fwip avatar Dec 27 '23 20:12 fwip

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.

aryairani avatar Dec 28 '23 09:12 aryairani