fix quick shell comp

src/Main.idr

@@ -75,7 +75,7 @@ shellCompletion envPAT completionStyle subcommand curWord prevWord =
 
     gitCompletions : Config => Lazy Octokit -> Promise' (List String)
     gitCompletions gh =
-      gitOpts gh completionStyle subcommand curWord prevWord
+      githubOpts gh completionStyle subcommand curWord prevWord
 
     completions : Promise' (List String)
     completions = do

src/ShellCompletion/Common.idr

@@ -260,24 +260,38 @@ configuredOpts _ _ _ _ = []
 
 hashifyIfPrefix : (substr : String) -> (issueNumber : Integer) -> Maybe String
 hashifyIfPrefix substr num =
-  let hashified = hashify $ show num
-  in  if substr `isPrefixOf` hashified
-         then Just hashified
+  let numStr := show num
+  in  if substr `isPrefixOf` numStr
+         then Just . hashify $ numStr
          else Nothing
 
+namespace TestHashifyIfPrefix
+  testUnhashedMatch : hashifyIfPrefix "12" 1234 === Just "#1234"
+  testUnhashedMatch =
+    let postulateIntegerShown : show 1234 === "1234"
+        postulateIntegerShown = believe_me (Refl {x="1234"})
+    in rewrite postulateIntegerShown in Refl
+
+  testUnhashedNonMatch : hashifyIfPrefix "34" 1234 === Nothing
+  testUnhashedNonMatch =
+    let postulateIntegerShown : show 1234 === "1234"
+        postulateIntegerShown = believe_me (Refl {x="1234"})
+    in  rewrite postulateIntegerShown in Refl
+
 export
-gitOpts : Config =>
-          Lazy Octokit
-       -> (s : CompletionStyle)
-       -> (subcommand : String)
-       -> (curWord : String)
-       -> (prevWord : String)
-       -> Promise' (List String)
-gitOpts @{config} gh _ "quick" partialArg _ = do
+githubOpts : Config =>
+             Lazy Octokit
+          -> (s : CompletionStyle)
+          -> (subcommand : String)
+          -> (curWord : String)
+          -> (prevWord : String)
+          -> Promise' (List String)
+githubOpts @{config} gh _ "quick" partialArg _ = do
   issues <- listIssues @{gh} config.org config.repo
+  let partialArg' = unhashify partialArg
   let str = stringify . completionResult
   pure $ 
-    mapMaybe (\i => str . (, i.title) <$> hashifyIfPrefix partialArg i.number)
+    mapMaybe (\i => str . (, i.title) <$> hashifyIfPrefix partialArg' i.number)
              issues
-gitOpts _ _ _ _ _ = pure []
+githubOpts _ _ _ _ _ = pure []
 

src/ShellCompletion/Util.idr

@@ -24,7 +24,7 @@ public export
 unslugify : String -> String
 unslugify = pack . replaceOn '◌' ' ' . unpack
 
-export
+public export
 hashify : String -> String
 hashify = strCons '#'
 
@@ -56,7 +56,7 @@ namespace TestUnhashify
   test5 : unhashify "\\#hello" = "hello"
   test5 = Refl
 
-export
+public export
 isPrefixOf : (s : CompletionStyle) => String -> CompletionResult -> Bool
 isPrefixOf str = isPrefixOf str . name