unisonweb / unison

A friendly programming language from the future

Home Page:https://unison-lang.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

docs command doesn't work properly with numbered args

ceedubs opened this issue · comments

Doing something like docs 3 where 3 is a numbered argument from a previous find command doesn't work. I think that it used to and that this is a regression. The error message shows a trailing hash and if you issue the same docs command with the hash removed, it works fine.

This might have been a regression with the recent completion/fzf overhaul?

@unison/cloud/fix-local-websockets> find toRFC1123
 
  ☝️
  
  I couldn't find matches in this namespace, searching in 'lib'...

 
  1. lib.base_2_18_0.time.Instant.toRFC1123 : Instant -> Text
  2. lib.base_2_18_0.time.OffsetDateTime.toRFC1123 : OffsetDateTime -> Text
  3. lib.base_2_18_0.time.Instant.toRFC1123.doc : Doc
  4. lib.base_2_18_0.time.LocalDateTime.toRFC1123AtGMT : LocalDateTime -> Text
  5. lib.base_2_18_0.time.LocalDateTime.toRFC1123AtGMT.doc : Doc
  6. lib.base_2_18_0.time.OffsetDateTime.toRFC1123.doc : Doc
  

@unison/cloud/fix-local-websockets> docs 1
@unison/cloud/fix-local-websockets> docs lib.base_2_18_0.time.Instant.toRFC1123#qttmjtpo1e2ve5u2da2teenb5c7824vs5618p9s71420n4trv1tndmdl0b9bpk0okmbe9035hmsnmqcueau204vhvvacmo1rc800rd8
 
  ⚠️
  
  The following names were not found in the codebase. Check your spelling.
    lib.base_2_18_0.time.Instant.toRFC1123.doc#qttmjtpo1e2ve5u2da2teenb5c7824vs5618p9s71420n4trv1tndmdl0b9bpk0okmbe9035hmsnmqcueau204vhvvacmo1rc800rd8

@unison/cloud/fix-local-websockets> docs lib.base_2_18_0.time.Instant.toRFC1123
 
  Formats an Instant as an RFC 1123 date and time string.
  
  # Example
  
        Instant.toRFC1123 epoch
        ⧨
        "Thu, 01 Jan 1970 00:00:00 GMT"

Sadly this has never worked and I reported an issue for it here #3939