on master help sign in
Merge pull request #1093 from puffnfresh/bug-fixes

Make completeCmd total

commitd0951b510c84847fe60b292aaaf460be8f308648 authorEdwin Brady <edwin.brady@gmail.com> dateMon 21 Apr 2014, 15:15 (13 years ago) parentc3f26e9ecd8c56
1 file changed+1
src/Idris/Completion.hs+1
src/Idris/Completion.hs+1
@@ -160,6 +160,7 @@ completeCmd cmd (prev, next) = fromMaybe completeCmdName $ fmap completeArg $ lo
160160 completeArg NameArg = completeExpr [] (prev, next) -- FIXME only complete one name
161161 completeArg OptionArg = completeOption (prev, next)
162162 completeArg ModuleArg = noCompletion (prev, next) -- FIXME do later
163+ completeArg NamespaceArg = noCompletion (prev, next) -- FIXME do later
163164 completeArg ExprArg = completeExpr [] (prev, next)
164165 completeArg MetaVarArg = completeMetaVar (prev, next) -- FIXME only complete one name
165166 completeArg ColourArg = completeColour (prev, next)