@@ -29,6 +29,8 @@ data TacticArg = NameTArg -- ^ Names: n1, n2, n3, ... n
2929 | ExprTArg
3030 | AltsTArg
3131
32+-- The FIXMEs are Issue #1766 in the issue tracker.
33+-- https://github.com/idris-lang/Idris-dev/issues/1766
3234-- | A list of available tactics and their argument requirements
3335tacticArgs :: [(String, Maybe TacticArg)]
3436tacticArgs = [ ("intro", Nothing) -- FIXME syntax for intro (fresh name)
@@ -67,6 +69,8 @@ nameString (NS n _) = nameString n
6769nameString _ = Nothing
6870
6971-- FIXME: Respect module imports
72+-- Issue #1767 in the issue tracker.
73+-- https://github.com/idris-lang/Idris-dev/issues/1767
7074-- | Get the user-visible names from the current interpreter state.
7175names :: Idris [String]
7276names = do i <- get
@@ -156,6 +160,8 @@ completeColour (prev, next) = case words (reverse prev) of
156160 completeColourFormat = let getCmpl = completeWith (colours ++ formats) in
157161 completeWord Nothing " \t" (return . getCmpl)
158162
163+-- The FIXMEs are Issue #1768 on the issue tracker.
164+-- https://github.com/idris-lang/Idris-dev/issues/1768
159165-- | Get the completion function for a particular command
160166completeCmd :: String -> CompletionFunc Idris
161167completeCmd cmd (prev, next) = fromMaybe completeCmdName $ fmap completeArg $ lookupInHelp cmd
@@ -183,6 +189,8 @@ replCompletion (prev, next) = case firstWord of
183189 where firstWord = fst $ break isWhitespace $ dropWhile isWhitespace $ reverse prev
184190
185191
192+-- The TODOs are Issue #1769 on the issue tracker.
193+-- https://github.com/idris-lang/Idris-dev/issues/1769
186194completeTactic :: [String] -> String -> CompletionFunc Idris
187195completeTactic as tac (prev, next) = fromMaybe completeTacName . fmap completeArg $
188196 lookup tac tacticArgs