on master help sign in
Add completion support for newer command arg types

Fixes #1477.

commitae1aed9191ee1a6fdc42b0bffe1124a225d50938 authorDavid Raymond Christiansen <david@davidchristiansen.dk> dateWed 20 Aug 2014, 08:17 (12 years ago) parent8a108b4
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