Docs name

unison-cli/src/Unison/Codebase/Editor/HandleInput.hs

@@ -1758,22 +1758,16 @@ displayI outputLoc hq = do
  let ns = UF.addNamesFromTypeCheckedUnisonFile unisonFile names
  doDisplay outputLoc ns tm
 
-docsI :: Path.HQSplit' -> Cli ()
+docsI :: Name -> Cli ()
 docsI src = do
  findInScratchfileByName
  where
  {- Given `docs foo`, we look for docs in 3 places, in this order:
  (fileByName) First check the file for `foo.doc`, and if found do `display foo.doc`
  (codebaseByName) Lastly check for `foo.doc` in the codebase and if found do `display foo.doc`
  -}
- hq :: HQ.HashQualified Name
- hq =
- let hq' :: HQ'.HashQualified Name
- hq' = Path.unsafeToName' <$> Name.convert src
- in Name.convert hq'
-
  dotDoc :: HQ.HashQualified Name
- dotDoc = hq <&> \n -> Name.joinDot n (Name.fromSegment "doc")
+ dotDoc = Name.convert . Name.joinDot src $ Name.fromSegment "doc"
 
  findInScratchfileByName :: Cli ()
  findInScratchfileByName = do

unison-cli/src/Unison/Codebase/Editor/Input.hs

@@ -174,7 +174,7 @@ data Input
  | -- Display provided definitions.
  DisplayI OutputLocation (NonEmpty (HQ.HashQualified Name))
  | -- Display docs for provided terms.
- DocsI (NonEmpty Path.HQSplit')
+ DocsI (NonEmpty Name)
  | -- other
  FindI Bool FindScope [String] -- FindI isVerbose findScope query
  | FindShallowI Path'

unison-cli/src/Unison/CommandLine/InputPatterns.hs

@@ -992,7 +992,7 @@ docs =
  "`docs` without arguments invokes a search to select which definition to view documentation for, which requires that `fzf` can be found within your PATH."
  ]
  )
- $ maybe (Left $ I.help docs) (fmap Input.DocsI . traverse handleHashQualifiedSplit'Arg) . NE.nonEmpty
+ $ maybe (Left $ I.help docs) (fmap Input.DocsI . traverse handleNameArg) . NE.nonEmpty
 
 api :: InputPattern
 api =

unison-src/transcripts-using-base/fix3939.md

@@ -0,0 +1,12 @@
+```unison
+{{
+A simple doc.
+}}
+meh = 9
+```
+
+```ucm
+.> add
+.> find meh
+.> docs 1
+```

unison-src/transcripts-using-base/fix3939.output.md

@@ -0,0 +1,40 @@
+```unison
+{{
+A simple doc.
+}}
+meh = 9
+```
+
+```ucm
+
+ Loading changes detected in scratch.u.
+
+ I found and typechecked these definitions in scratch.u. If you
+ do an `add` or `update`, here's how your codebase would
+ change:
+
+ ⍟ These new definitions are ok to `add`:
+
+ meh : Nat
+ meh.doc : Doc2
+
+```
+```ucm
+.> add
+
+ ⍟ I've added these definitions:
+
+ meh : Nat
+ meh.doc : Doc2
+
+.> find meh
+
+ 1. meh : Nat
+ 2. meh.doc : Doc2
+
+
+.> docs 1
+
+ A simple doc.
+
+```