unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-21 07:17:25 +03:00
Code Issues Projects Releases Wiki Activity

Cull HQNames

Browse Source
This commit is contained in:
Chris Penner 2021-10-16 22:16:03 -06:00
parent e691517926
commit 0f082fbd22
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
parser-typechecker/src/Unison/Codebase/Editor/Output.hs
View File

@ -25,7 +25,7 @@ import Unison.Codebase.Path (Path')
import Unison.Codebase.Patch (Patch)
import Unison.Codebase.Type (GitError)
import Unison.Name ( Name )
import Unison.Names ( HQNames, UnqualifiedNames )
import Unison.Names ( UnqualifiedNames )
import Unison.Parser.Ann (Ann)
import qualified Unison.Reference as Reference
import Unison.Reference ( Reference )

4
parser-typechecker/src/Unison/CommandLine/InputPatterns.hs
View File

@ -1533,7 +1533,7 @@ typeCompletor :: Applicative m
-> Path.Absolute
-> m [Completion]
typeCompletor filterQuery = pathCompletor filterQuery go where
go = Set.map HQ'.toText . R.dom . Names.types . Names.names0ToNames . Branch.toUnqualifiedNames
go = Set.map Name.toText . R.dom . Names.types . Branch.toUnqualifiedNames
termCompletor :: Applicative m
=> (String -> [String] -> [Completion])
@ -1543,7 +1543,7 @@ termCompletor :: Applicative m
-> Path.Absolute
-> m [Completion]
termCompletor filterQuery = pathCompletor filterQuery go where
go = Set.map HQ'.toText . R.dom . Names.terms . Names.names0ToNames . Branch.toUnqualifiedNames
go = Set.map Name.toText . R.dom . Names.types . Branch.toUnqualifiedNames
patchArg :: ArgumentType
patchArg = ArgumentType "patch" $ pathCompletor