The Wayback Machine - https://web.archive.org/web/20201109101712/https://github.com/unisonweb/unison/issues/1384
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

`view` and `names` of a hash could distinguish between definitions that are unknown vs unnamed #1384

Open
aryairani opened this issue Mar 28, 2020 · 0 comments

Comments

@aryairani
Copy link
Contributor

@aryairani aryairani commented Mar 28, 2020

Current behavior:

.> view ##Nat

  ⚠️
  
  The following names were not found in the codebase. Check your spelling.
    ##Nat

.> names ##Nat

  😶
  
  I couldn't find anything by that name.

.> alias.type ##Nat Nat

  Done.

.> names ##Nat

  Type
  Hash:  ##Nat
  Names: Nat

.> view ##Nat

  -- Nat is built-in.

Desired behavior would be something like:

.> view ##Nat

  -- ##Nat is built-in.

.> names ##Nat

  There are no names for ##Nat

.> view ##Cat

  I don't have a built-in ##Cat

.> names ##Cat

  I couldn't find anything by that name.
  (I don't have a built-in ##Cat)

.> names ##Rat

  Type
  Hash:  ##Rat
  Names: Rat
  (I don't have a built-in ##Rat)

(Struggling to come up with a good phrasing for "I don't have a" that doesn't necessarily imply that the definition exists in some other version of ucm; maybe it's fine, but suggestions are welcome.)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
1 participant
You can’t perform that action at this time.
Morty Proxy This is a proxified and sanitized view of the page, visit original site.