git.iko.soy/Idris-dev
on master help sign in
Add desugarnats to completion
81a73e9Niklas 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