C-c C-s doesn't work with multi line function header

idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

GNU General Public License v3.0

268 stars 70 forks source link

Closed ulysses4ever closed 1 year ago

ulysses4ever commented 7 years ago

C-c C-s works fine (adds a function template) with

head : List a -> a

but adds only a blank line for

head
  : List a
  -> a

keram commented 1 year ago

Works correctly with Idris2 so probably issue within Idris1 idris 2

output-2022-11-24-23:20:29

ulysses4ever commented 1 year ago

@keram thanks!