@@ -168,6 +168,10 @@ completeCmd cmd (prev, next) = fromMaybe completeCmdName $ fmap completeArg $ lo
168 completeArg ColourArg = completeColour (prev, next)
168 completeArg ColourArg = completeColour (prev, next)
169 completeArg NoArg = noCompletion (prev, next)
169 completeArg NoArg = noCompletion (prev, next)
170 completeArg ConsoleWidthArg = completeConsoleWidth (prev, next)
170 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
171 completeCmdName = return $ ("", completeWith commands cmd)
175 completeCmdName = return $ ("", completeWith commands cmd)
173-- | Complete REPL commands and defined identifiers
177-- | Complete REPL commands and defined identifiers