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

delete.term with numbered arg fails and with a cryptic message #4898

Open
Tracked by #4899
ceedubs opened this issue Apr 25, 2024 · 1 comment
Open
Tracked by #4899

delete.term with numbered arg fails and with a cryptic message #4898

ceedubs opened this issue Apr 25, 2024 · 1 comment
Labels
codebase-manager / ucm Issues related to the codebase editor CLI application (ucm)

Comments

@ceedubs
Copy link
Contributor

ceedubs commented Apr 25, 2024

@unison/cloud/fix-harder> dependents internal.Connection
 
  Dependents of: type internal.Connection
  
    Terms:
  
    1. connectTcp
    2. internal.Connection.stream
    3. internal.connectTls
  
  Tip: Try `view 3` to see the source of any numbered item in the above list.

@unison/cloud/fix-harder> delete.term 1
 
  1:1:
    |
  1 | #0nvef7e18virteotmgt6154hu7ve15pldl6v4uqqod71384811csd7tcko3qla9q3fgrpdo5jiepaeiatvnvqb4rl4h2ljvocjj7uj0
    | ^
  unexpected '#'
  expecting '.', '`', or operator (valid characters: !$%&*+-/:<=>\^|~)
@ceedubs ceedubs added the codebase-manager / ucm Issues related to the codebase editor CLI application (ucm) label Apr 25, 2024
@aryairani
Copy link
Contributor

That is unexpected, thanks for reporting.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
codebase-manager / ucm Issues related to the codebase editor CLI application (ucm)
Projects
None yet
Development

No branches or pull requests

2 participants