Skip to content

Commit

Permalink
Style.
Browse files Browse the repository at this point in the history
  • Loading branch information
Julian committed Sep 4, 2024
1 parent 02a2db0 commit 45a3a5b
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 11 deletions.
13 changes: 5 additions & 8 deletions spec/current_search_paths_spec.lua
Original file line number Diff line number Diff line change
Expand Up @@ -11,14 +11,11 @@ describe('lean.current_search_paths', function()

local paths = require('lean').current_search_paths()
assert.are.equal(3, #paths)
assert.has_all(
table.concat(paths, '\n') .. '\n',
{
'/lib/lean\n', -- standard library
project.path .. '\n', -- the project itself
project.path .. '/foo\n', -- its dependency
}
)
assert.has_all(table.concat(paths, '\n') .. '\n', {
'/lib/lean\n', -- standard library
project.path .. '\n', -- the project itself
project.path .. '/foo\n', -- its dependency
})
end)
end
end)
6 changes: 3 additions & 3 deletions spec/fixtures.lua
Original file line number Diff line number Diff line change
Expand Up @@ -8,16 +8,16 @@ local fixtures = {
some_nonexisting_file = root .. '/example-project/DoesNotExist.lean',
some_nested_existing_file = root .. '/example-project/Test/Squares.lean',
some_nested_nonexisting_file = root .. '/example-project/Test/DoesNotExist.lean',
}
},
}

function fixtures.project:files()
return vim.iter({
return vim.iter {
['existing'] = self.some_existing_file,
['nonexisting'] = self.some_nonexisting_file,
['nested existing'] = self.some_nested_existing_file,
['nested nonexisting'] = self.some_nested_nonexisting_file,
})
}
end

return fixtures

0 comments on commit 45a3a5b

Please sign in to comment.