search

idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
GNU General Public License v3.0
267 stars 70 forks source link

Fix tests compile errors due to doc strings being longer than 80 chars. #555

Closed keram closed 1 year ago

keram commented 1 year ago

Currently make test results on my machine in:

idris-commands.el:*:*: Error:  docstring wider than 80 characters

Emacs version: GNU Emacs 28.2 (build 2, x86_64-pc-linux-gnu, GTK+ Version 3.24.20, cairo version 1.16.0)

Where possible took the liberty also address warnings from Flymake not causing errors:

First line is not a complete sentence
Argument ‘x’ should appear (as X) in the doc string

Also fixes small typos in idris-repl.el (asg -> as) and in idris-commands.el (sSearch -> Search)

jfdm commented 1 year ago

Thanks for the contribution(s). I have to authorise the actions, given that you are a first time contributor. Assuming that they all pass, which I have no doubt they will, I will merge these ASAP.

Thanks!