on master help sign in
Merge pull request #1479 from david-christiansen/issue/1477

Add completion support for newer command arg types

commita915a3a605bc441d3368c3e8f41cbb1fbc1c07f6 authorDavid Christiansen <david@davidchristiansen.dk> dateWed 20 Aug 2014, 08:38 (12 years ago) parent8a108b4ae1aed9
1 file changed+4
src/Idris/Completion.hs+4
src/Idris/Completion.hs+4
@@ -168,6 +168,10 @@ completeCmd cmd (prev, next) = fromMaybe completeCmdName $ fmap completeArg $ lo
168168 completeArg ColourArg = completeColour (prev, next)
169169 completeArg NoArg = noCompletion (prev, next)
170170 completeArg ConsoleWidthArg = completeConsoleWidth (prev, next)
171+ completeArg DeclArg = completeExpr [] (prev, next)
172+ completeArg (ManyArgs a) = completeArg a
173+ completeArg (OptionalArg a) = completeArg a
174+ completeArg (SeqArgs a b) = completeArg a
171175 completeCmdName = return $ ("", completeWith commands cmd)
172176
173177-- | Complete REPL commands and defined identifiers