mirror of
https://github.com/Myriad-Dreamin/tinymist.git
synced 2025-11-22 12:34:39 +00:00
c03898cd3d
Some checks failed
tinymist::ci / Duplicate Actions Detection (push) Has been cancelled
tinymist::ci / Check Clippy, Formatting, Completion, Documentation, and Tests (Linux) (push) Has been cancelled
tinymist::ci / Check Minimum Rust version and Tests (Windows) (push) Has been cancelled
tinymist::ci / prepare-build (push) Has been cancelled
tinymist::gh_pages / build-gh-pages (push) Has been cancelled
tinymist::ci / build-vsc-assets (push) Has been cancelled
tinymist::ci / build-vscode (push) Has been cancelled
tinymist::ci / build-vscode-others (push) Has been cancelled
tinymist::ci / publish-vscode (push) Has been cancelled
tinymist::ci / build-binary (push) Has been cancelled
tinymist::ci / E2E Tests (darwin-arm64 on macos-latest) (push) Has been cancelled
tinymist::ci / E2E Tests (linux-x64 on ubuntu-22.04) (push) Has been cancelled
tinymist::ci / E2E Tests (linux-x64 on ubuntu-latest) (push) Has been cancelled
tinymist::ci / E2E Tests (win32-x64 on windows-2019) (push) Has been cancelled
tinymist::ci / E2E Tests (win32-x64 on windows-latest) (push) Has been cancelled
* fix: bad link * feat(neovim): init lsp * feat(neovim): add bootstrap script * build: add notice
68 lines
2.3 KiB
Lua
68 lines
2.3 KiB
Lua
local this_file = debug.getinfo(1).source:match '@(.*)$'
|
|
|
|
local root = vim.fs.joinpath(vim.fs.dirname(this_file), '../workspaces')
|
|
local book_root = vim.fs.joinpath(root, 'book')
|
|
local ind = vim.fs.joinpath(root, 'individuals')
|
|
-- local indent = vim.fs.joinpath(root, 'indent')
|
|
-- local widgets = vim.fs.joinpath(root, 'widgets')
|
|
-- local project_root = vim.fs.normalize(vim.fs.joinpath(root, 'example-project'))
|
|
|
|
local function child(name)
|
|
return vim.fs.joinpath(book_root, name)
|
|
end
|
|
|
|
local fixtures = {
|
|
-- indent = function()
|
|
-- return vim.iter(vim.fs.dir(indent)):map(function(each)
|
|
-- local name, replaced = each:gsub('.in.lean$', '')
|
|
-- if replaced == 0 then
|
|
-- return
|
|
-- end
|
|
|
|
-- ---@class IndentFixture
|
|
-- ---@field description string the name of the fixture
|
|
-- ---@field unindented string the path to the unindented version
|
|
-- ---@field expected string[] the expected indented lines
|
|
|
|
-- ---@type IndentFixture
|
|
-- return {
|
|
-- description = name:gsub('_', ' '),
|
|
-- unindented = vim.fs.joinpath(indent, each),
|
|
-- expected = vim.fn.readfile(vim.fs.joinpath(indent, name .. '.lean')),
|
|
-- }
|
|
-- end)
|
|
-- end,
|
|
-- widgets = widgets,
|
|
|
|
project = {
|
|
root = book_root,
|
|
child = child,
|
|
|
|
some_existing_file = child 'main.typ',
|
|
some_nonexisting_file = child 'bad.typ',
|
|
some_nested_existing_file = child 'chapters/chapter1.typ',
|
|
some_nested_nonexisting_file = child 'chapters/chapter3.typ',
|
|
|
|
-- some_dependency_file = child '.lake/packages/importGraph/ImportGraph/Imports.lean',
|
|
},
|
|
}
|
|
|
|
function fixtures.project:files()
|
|
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
|
|
|
|
assert.is.truthy(vim.uv.fs_stat(fixtures.project.some_existing_file))
|
|
assert.is.falsy(vim.uv.fs_stat(fixtures.project.some_nonexisting_file))
|
|
assert.is.truthy(vim.uv.fs_stat(fixtures.project.some_nested_existing_file))
|
|
assert.is.falsy(vim.uv.fs_stat(fixtures.project.some_nested_nonexisting_file))
|
|
-- assert.is.truthy(vim.uv.fs_stat(fixtures.project.some_dependency_file))
|
|
|
|
-- assert.is.truthy(vim.uv.fs_stat(indent))
|
|
-- assert.is.truthy(vim.uv.fs_stat(widgets))
|
|
|
|
return fixtures
|