Merge pull request #2629 from melted/fix_completion
Add desugarnats to completion
commit9243fdfc42e2aef252a435e078ddd63a9f6807c0
authorNiklas Larsson <metaniklas@gmail.com>
dateFri 18 Sep 2015, 00:45 (11 years ago)
parent253587381a73e9
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