git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2629 from melted/fix_completion
9243fdfNiklas Larsson
src/Idris/Completion.hs+1
compare with master
unifiedsplit
@@ -87,6 +87,7 @@ completeOption = completeWord Nothing " \t" completeOpt
87 , "originalerrors"
87 , "originalerrors"
88 , "autosolve"
88 , "autosolve"
89 , "nobanner"
89 , "nobanner"
90+ , "desugarnats"
90 ]
91 ]
91
92
92completeConsoleWidth :: CompletionFunc Idris
93completeConsoleWidth :: CompletionFunc Idris