search

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

idris-simple-indent-backtab infinite loop? #449

Closed camelpunch closed 7 years ago

camelpunch commented 7 years ago

When I try to (idris-simple-indent-backtab) when my cursor is anywhere on the line containing "Some B" of the following file, Emacs hangs until I c-g.

record Foo where
  constructor MkFoo
  a : String
  b : String

mylist : List Foo
mylist =
  [ MkFoo "Some A"
                          "Some B"
  ]
david-christiansen commented 7 years ago

Thanks for a good issue report with a nice test case!

camelpunch commented 7 years ago

I can confirm this fixes the problem. Thanks @werbitt !