are_equal -> are.equal

Julian · Nov 12, 2023 · cd58a1f · cd58a1f
1 parent c11974b
commit cd58a1f
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/lua/tests/diagnostics_spec.lua b/lua/tests/diagnostics_spec.lua
@@ -9,8 +9,8 @@ describe('diagnostics', function()
     helpers.clean_buffer('example : False := by trivial', function()
       helpers.wait_for_line_diagnostics()
       local diags = lean_lsp_diagnostics()
-      assert.are_equal(1, #diags)
-      assert.are_equal(vim.diagnostic.severity.ERROR, diags[1].severity)
+      assert.are.equal(1, #diags)
+      assert.are.equal(vim.diagnostic.severity.ERROR, diags[1].severity)
       assert(diags[1].message:match 'tactic .*failed')
     end)
   )

diff --git a/lua/tests/lean3/current_search_paths_spec.lua b/lua/tests/lean3/current_search_paths_spec.lua
@@ -10,7 +10,7 @@ helpers.if_has_lean3('lean.current_search_paths', function()
       helpers.wait_for_ready_lsp()
 
       local paths = require('lean').current_search_paths()
-      assert.are_equal(3, #paths)
+      assert.are.equal(3, #paths)
       -- via its leanpkg.path:
       assert.has_all(table.concat(paths, '\n') .. '\n', {
         '/lib/lean/library\n', -- Lean 3 standard library

diff --git a/lua/tests/lean3/ft_spec.lua b/lua/tests/lean3/ft_spec.lua
@@ -7,7 +7,7 @@ helpers.if_has_lean3('ft.detect', function()
   for kind, path in fixtures.project_files() do
     it('detects ' .. kind .. ' files', function()
       vim.cmd('edit! ' .. path)
-      assert.are_equal('lean3', vim.opt.filetype:get())
+      assert.are.equal('lean3', vim.opt.filetype:get())
     end)
   end
 
@@ -25,7 +25,7 @@ helpers.if_has_lean3('ft.detect', function()
     end))
 
     helpers.wait_for_filetype()
-    assert.are_equal('lean3', vim.opt.filetype:get())
+    assert.are.equal('lean3', vim.opt.filetype:get())
   end)
 
   it('marks standard library files nomodifiable by default', function()