`C-c` `C-s` and `C-c` `C-a` inserts `\n` instead of newlines

[fredrik-bakke]

What the title says. For instance, in the following case Using C-c C-s will give

For this issue to be resolved, #159 should probably be resolved first, as otherwise the hole brackets must be manually removed.

[banacorn]

Please reopen this and provide an file for reproducing the problem if it still persists

[fredrik-bakke]

This problem seems to still persist. I will try to make an example when I'm at my computer and have the time.

[ncfavier]

The issue also occurs with C-c C-r. Here's a minimal reproducing example:

module Bug where

postulate
  A : Set

record Foo : Set where
  field
    very-long-field-name-1 : A
    very-long-field-name-2 : A
    very-long-field-name-3 : A

foo : Foo
foo = {! C-c C-r !}
-- foo = record\n{ very-long-field-name-1 = {!   !}\n; very-long-field-name-2 = {!   !}\n; very-long-field-name-3 = {!   !}\n}