Add desugarnats to completion
commit81a73e95e9850add9a3a70800c5b410e37df0906
authorNiklas Larsson <niklas@mm.st>
dateThu 17 Sep 2015, 22:57 (11 years ago)
parent1c24404
src/Idris/Completion.hs+1
@@ -87,6 +87,7 @@ completeOption = completeWord Nothing " \t" completeOpt
8787 , "originalerrors"
8888 , "autosolve"
8989 , "nobanner"
90+ , "desugarnats"
9091 ]
9192
9293completeConsoleWidth :: CompletionFunc Idris