Three more indent tests, two failing.

Author: Julian

spec/indent_spec.lua

@@ -191,6 +191,42 @@ describe('indent', function()
     end)
   )
 
+  it(
+    'dedents after double indented type with braces in tactic mode',
+    helpers.clean_buffer(
+      [[
+        theorem foo :
+            bar {(n : ℤ)} = baz := by
+      ]],
+      function()
+        helpers.feed 'Gobaz'
+        assert.contents.are [[
+          theorem foo :
+              bar {(n : ℤ)} = baz := by
+            baz
+      ]]
+      end
+    )
+  )
+
+  it(
+    'dedents after double indented type with braces in term mode',
+    helpers.clean_buffer(
+      [[
+        theorem foo :
+            bar {(n : ℤ)} = baz :=
+      ]],
+      function()
+        helpers.feed 'Gobaz'
+        assert.contents.are [[
+          theorem foo :
+              bar {(n : ℤ)} = baz :=
+            baz
+      ]]
+      end
+    )
+  )
+
   it(
     'indents inside anonymous literals',
     helpers.clean_buffer(
@@ -209,6 +245,24 @@ describe('indent', function()
     )
   )
 
+  it(
+    'indents again after by at focused stuff',
+    helpers.clean_buffer(
+      [[
+        theorem foo : 37 = 37 := by
+          · have : 37 = 37 := by
+      ]],
+      function()
+        helpers.feed 'Gosorry'
+        assert.contents.are [[
+          theorem foo : 37 = 37 := by
+            · have : 37 = 37 := by
+                sorry
+      ]]
+      end
+    )
+  )
+
   for each in fixtures.indent() do
     it(each.description, function()
       vim.cmd.edit { each.unindented, bang = true }