592 commits

Author	SHA1	Message	Date
Luyan Zhou	6876a38c99	fix: re-correct order of scope merging & make test stronger (#2166) ... Sadly the #2154 is still false. This PR fixed it and made test stronger.	2025-10-11 02:58:29 +08:00
Myriad-Dreamin	9ab2ecdc4d	fix: ignore non-typst files to focus implicitly (#2152) ... When a file, for example a rust source file, is sent to the language server by `didOpen`, it is implicitly focused and starts a typst compilation with the file. However, this is not expected. The error is rarely triggered because vscode extension also explicitly send focus events which prevents the implicit focus happens. So in conclusion this bug was triggered stably by following steps: - activate tinymist for some reason, and no typst source file is opened. - open a rust source file and tinymist reports typst syntax error in the file.	2025-10-10 12:04:19 +08:00
Luyan Zhou	a03d715fa7	fix: correct scope merging order (#2154) ... fixed #1960 and added test case.	2025-10-10 10:18:25 +08:00
Myriad-Dreamin	d617b145e2	feat: support offline definition queries (LSIF) (#2032) ... The purpose of the [Language Server Index Format (LSIF)][LSIF] is to define a standard format for language servers or other programming tools to dump their knowledge about a workspace. Use cases: - providing stable json format of package docs: - The unstable export was supported in #1809 - cache analyze results in such format. - if we export typst docs to LSIF, some tools can help read typst code, such as [lsif-node](https://github.com/Microsoft/lsif-node) - if we have a typst package helping render typst docs according to LSIF, it can also be used to render docs for other programming languages, for example [OCaml](https://github.com/rvantonder/lsif-ocaml) and [TypeScript](https://github.com/sourcegraph/lsif-node) LSIF is not the only index format, so we may reconsider to use other one in future, such as [SCIP](https://sourcegraph.com/blog/announcing-scip) [LSIF]: https://microsoft.github.io/language-server-protocol/specifications/lsif/0.6.0/specification/	2025-09-29 23:19:49 +08:00
Myriad-Dreamin	53488dad22	fix: remove Clone trait bounds from diagnostics iterators (#2136) ... This requires new release of world crates, while we didn't plan it.	2025-09-27 17:02:06 +08:00
Joseph Liu	6b52aa70ba	feat: new lint warning for unknown math vars (#2065) ... Add a lint warning for unknown math variables[^1], powered by Tinymist's existing reference analysis. This allows users to see all such undefined variables at once if they have the linter enabled, instead of just the first error from the compiler. The autofix from #2062 is also applicable to these warnings. Example:  (The first error is pre-existing and emitted by the Typst compiler; the second warning is new from this PR and emitted by us.) Implementation notes: - The generated diagnostic tries to closely match the corresponding Typst compiler error, with one deliberate change: to differentiate the Tinymist warning and the compiler error, we use the message `potentially unknown variable: ...` instead of `unknown variable: ...`. I am not the biggest fan of this choice, but I think it is very important that users don't blame the Typst compiler for warnings that we generate; changing the message so that it isn't an exact clone is the best way I thought of for now. - We avoid duplicating a warning if the compiler has already generated an error for a given identifier by computing a set of `KnownLintIssues` from the compiler diagnostics and threading this information through the lint routines. [^1]: If users like this warning, we can extend it later to apply to undefined variables outside of math as well. --------- Co-authored-by: Myriad-Dreamin <camiyoru@gmail.com>	2025-09-24 01:09:10 +08:00
ParaN3xus	3b6de80a2f	fix: correct parent_last_loc for heading children in folding ranges (#2123) ... This PR fixes #1796 by correcting the parent_last_loc parameter passed to child elements when processing heading folding ranges. This is because heading's `lsp_range` only covers the line it is on, but it has children. This causes the `parent_last_loc` passed when recursively calling the `calc_folding_range` function to be incorrect: it is expected to be the end of the line before the next sibling heading, but actually it is the end of the current heading's line. This further prevents the correction of the heading's `folding_range` from working properly, ultimately causing the returned `folding_range` to retain the original `lsp_range`, which is just the heading line itself. The fix uses the already-calculated `folding_range.end_line` for headings when determining the `parent_last_loc` for child elements, ensuring consistency between the parent's actual folding boundary and the boundary passed to its children.	2025-09-24 00:24:31 +08:00
Luyan Zhou	51f9cdec81	refactor: refine get_ident method by unwrapping unnecessary Option (#2117)	2025-09-14 18:28:33 +08:00
Luyan Zhou	45100d6d16	fix: correct the lexical hierarchy of comment group (#2116) ... Hierarchy of comment group is always wrong previously, causing #2021. This PR fixed it and added a test case. BTW, the changes in the lexical hierarchy module influenced a folding range test case, but it's just changed the order of items, which doesn't affect the correctness (the order is even more correct).	2025-09-14 09:49:13 +08:00
QuadnucYard	ce447185d1	dev: drop if_chain and collapse if statements (#2097)	2025-09-01 16:46:54 +08:00
Joseph Liu	731cd23ec8	dev: fix lint warnings introduced by #2062 (#2096) ... > Hm. Sorry about the lint failures here, they slipped my attention locally since they show up as warnings, not errors, in my editor. I'm happy to put a PR fixing them later unless you get to it first. > > Not too sure how to deal with the unused DiagWorker::check method, since it is used, just in a test-only module. We can certainly mark it as #[cfg(test)] but that feels a little nasty. https://github.com/Myriad-Dreamin/tinymist/pull/2062#issuecomment-3237812684 I ended up inlining the logic of `DiagWorker::check` into the test.	2025-08-30 10:50:23 +08:00
Joseph Liu	4324f8fd70	feat: offer quickfix to add spaces separating letters in unknown math var (#2062) ... Examples: | Input | Suggested fix | | -- | -- | | `$xyz$` | `$x y z$` | | `$a_ij$` | `$a_(i j)$` | | `$a_(ij)$` | `$a_(i j)$` | | `$xy/z$` | `$(x y)/z$` | If the unknown identifier appears as a subscript or as the numerator/denominator of a fraction, we parenthesize the suggested fix. For example, `a_ij` turns into `a_(i j)`, not `a_i j`, because the latter is unlikely to be what the user intended.	2025-08-30 01:47:51 +08:00
Myriad-Dreamin	856a1e4485	revert: "feat: rename labels (#1858)" (#2084) ... This reverts commit 14c7a92944. Didn't pass the test `label_indir.typ.snap`.	2025-08-26 14:07:42 +08:00
Myriad-Dreamin	d85717f81e	feat: init log in web (#2068)	2025-08-24 08:45:51 +08:00
Myriad-Dreamin	532f25abe9	docs: document all public items in rust codebase (#2058)	2025-08-21 12:50:03 +08:00
Copilot	4ce0a59862	docs: Add documentation for pub items in expr.rs (#2051) ... This PR adds comprehensive documentation for all public items in `crates/tinymist-query/src/syntax/expr.rs` following Rust documentation conventions. ## Changes Made The following public items now have proper documentation comments: - **`ExprRoute`** type alias - Documents its purpose as a mapping structure for file identifiers to lexical scopes during expression analysis routing - **`expr_of`** function - Describes its role in analyzing expressions within source files and producing expression information including resolves, imports, docstrings, and lexical scoping data - **`ExprWorker`** struct - Explains its functionality as a worker for processing expressions during source file analysis, handling expression checking, scope management, symbol resolution, and docstring collection ## Documentation Style All documentation follows Rust conventions by: - Using third person singular verbs - Focusing on the purpose and functionality rather than implementation details - Providing clear, concise descriptions of what each item does The code has been formatted with `cargo fmt` and compiles successfully after the changes. Fixes #2048. <!-- START COPILOT CODING AGENT TIPS --> --- 💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more [Copilot coding agent tips](https://gh.io/copilot-coding-agent-tips) in the docs. --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: Myriad-Dreamin <35292584+Myriad-Dreamin@users.noreply.github.com> Co-authored-by: Myriad-Dreamin <camiyoru@gmail.com>	2025-08-20 12:27:43 +08:00
Myriad-Dreamin	05280aec4d	feat: bump edition of most crates to rust 2024 (#2042)	2025-08-18 16:48:41 +08:00
QuadnucYard	3a51577b28	fix: eliminate clippy warnings (#2036) ... using clippy 0.1.91 (898aff704d 2025-08-14), but some warnings already exist in the latest stable version mostly about elided lifetime and if-chain only remaining warnings: ``` warning: struct `HashRepr` is never constructed --> crates\tinymist-query\src\tests.rs:462:12 | 462 | pub struct HashRepr<T>(pub T); | ^^^^^^^^ | = note: `#[warn(dead_code)]` on by default warning: a method with this name may be added to the standard library in the future --> crates\tinymist\src\actor\editor.rs:103:30 | 103 | ... .map_or_default(|fid| unix_slash(fid.vpath().as_rooted_path())); | ^^^^^^^^^^^^^^ | = warning: once this associated item is added to the standard library, the ambiguity may cause an error or change in behavior! = note: for more information, see issue #48919 <https://github.com/rust-lang/rust/issues/48919> = help: call with fully qualified syntax `typst::typst_utils::OptionExt::map_or_default(...)` to keep using the current method = note: `#[warn(unstable_name_collisions)]` on by default help: add `#![feature(result_option_map_or_default)]` to the crate attributes to enable `std::option::Option::<T>::map_or_default` --> crates\tinymist\src\lib.rs:3:1 | 3 + #![feature(result_option_map_or_default)] | ```	2025-08-18 12:42:03 +08:00
Myriad-Dreamin	bf081ec347	feat: export package docs to json format and render to html (#1809) ... It provides a `package-doc.json` and HTML is rendered using a `package-doc` function. ```typ #let package-doc(info, path: none) [ #metadata(( // more sub paths )) <static-paths> #render-page(info, path) // the content of $path/.html ] #package-doc(json("package-doc.json")) ```	2025-08-13 12:12:08 +08:00
Myriad-Dreamin	2c552ce985	feat: make enter feature in list or enum work (#2022) ... Continue work on Myriad-Dreamin/tinymist#1446	2025-08-13 11:15:31 +08:00
Myriad-Dreamin	f7f2760520	feat: use tinymist_std::time for wasm32 targets (#2028) ... `std::time` are not implemented for wasm32 targets, so we should use the time crate made by ourselves.	2025-08-12 04:40:04 +08:00
Myriad-Dreamin	ce5ab81760	feat: move and compile tinymist crate for wasm32 target (#2027)	2025-08-11 13:14:26 +08:00
Myriad-Dreamin	79f68dc94d	feat: compile tinymist-query for wasm32 target (#1947) ... - #2025 - #2026 --------- Co-authored-by: Momijiichigo <ichigomomiji436@gmail.com>	2025-08-11 09:35:07 +08:00
Myriad-Dreamin	b102b42d2c	feat: compile diag crate for wasm32 target (#2026)	2025-08-11 08:49:37 +08:00
Hong Jiarong	7a9e1cfb3c	fix: clean typlite markers from doc strings (#2017) ... When there's HTML comments in list, the markdown syntax won't be parsed as expected. This pr cleans typlite markers from doc string to avoid this behavior. <img width="654" height="223" alt="bfedf840bc92a34c44212006232a7e17" src="https://github.com/user-attachments/assets/9015952b-a5de-4d59-a8ff-61a5e3d09d1b" /> <img width="641" height="257" alt="0267db904824cf09b67234bdcb0919e7" src="https://github.com/user-attachments/assets/938fabaa-d6fe-42d4-adca-6c96b59443e2" />	2025-08-11 07:03:53 +08:00
Myriad-Dreamin	14c7a92944	feat: rename labels (#1858) ... closes #549	2025-08-09 19:54:22 +08:00
Myriad-Dreamin	a732861f67	feat: completes both #f and #f.paren in some cases (#1940) (#2014) ... Reverts Myriad-Dreamin/tinymist#2003	2025-08-08 01:19:16 +08:00
Myriad-Dreamin	46e7eca2b4	revert: "feat: completes both #f and #f.paren in some cases (#1940)" (#2003) ... Reverts Myriad-Dreamin/tinymist#1940. Hasn't released v0.13.22, will be merged again after release.	2025-08-06 13:59:04 +08:00
Myriad-Dreamin	8898a2a45f	feat: completes both #f and #f.paren in some cases (#1940) ... When `f` is a scope with at least one member: - completes `#f` as `#f()` if `f` will never be a type or element (merely a function). - Otherwise, completes `#f` as `#f` and adds a variant `#f.paren` completed as `#f(|)` or `#f()|` This excepts for the following cases: - When the surrounding syntax doesn't like parentheses (for example, function fields) > Complete the field name along with its value. Notes: > No parentheses since function fields cannot currently be called > with method syntax; - When the surrounding syntax requires parentheses, for example set rules, e.g. `#set r|` is completed as `#set raw(|)`.	2025-08-06 13:37:39 +08:00
Myriad-Dreamin	fb1c8b3b35	feat: make configuration items null-safe (#1988) ... When passing configuration items with null values, the default configurations are used. Note: I don't ensure this to be always true, some configuration items may have different non-default behaviors when accepting a null value now or in future. The `deserialize_null_default` is taken from https://github.com/serde-rs/serde/issues/1098. Configuration parsing changes: + some configurations only accepting boolean now coerce null to `false` (default). + some configurations only accepting an object now coerce null to default. + The `tinymist.preview.invertColors` now now coerces null to `"never"` (default).	2025-08-05 10:31:52 +08:00
Myriad-Dreamin	e8e6df319a	test: add tests about workspace/symbol requests (#1966)	2025-08-02 21:45:42 +08:00
Myriad-Dreamin	ab774377f7	feat: make symbol queries infallible (#1964)	2025-08-02 20:50:14 +08:00
Myriad-Dreamin	1359e9975b	feat: resolve definitions with dynamic analysis (#1904) ... * feat: dyn resolve targets * fix: test cases * feat: static analysis again based on dyn analysis result	2025-07-15 01:15:33 +08:00
Copilot	b4a53274c2	fix: Cargo.toml default-features warning for typlite workspace dependency (#1895) ... * Initial plan * Fix Cargo.toml default-features warning for typlite workspace dependency Co-authored-by: Myriad-Dreamin <35292584+Myriad-Dreamin@users.noreply.github.com> * feat: better feature assignment --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: Myriad-Dreamin <35292584+Myriad-Dreamin@users.noreply.github.com> Co-authored-by: Myriad-Dreamin <camiyoru@gmail.com>	2025-07-09 21:57:59 +08:00
Myriad-Dreamin	355fac08bd	perf: add cache for docstrings (#1877)	2025-07-07 02:16:11 +08:00
Myriad-Dreamin	4426b31ed7	feat: pretty errors in docstrings (#1876) ... * feat: print doc errors * fix: test errors on windows * fix: tests on windows again * fix: tests on windows again 2 * Revert "fix: tests on windows again 2" This reverts commit 63973dcc1f. * fix: tests on windows again 3	2025-07-06 19:40:02 +08:00
Myriad-Dreamin	c767c37cc1	fix: complete where and with after dots (#1871)	2025-07-05 20:53:39 +08:00
Myriad-Dreamin	483de6f00d	build: generate docs with internal links (#1831) ... * build: generate docs with internal links * build: detect link kind	2025-06-22 15:28:27 +08:00
Hong Jiarong	a24c516148	feat: import_context and contexual convert (#1816) ... * feat: impl import_context * dev: fmt, clippy * fix: update import path handling to use rootless paths and normalize separators * feat: fix errors for fletcher v0.5.8 --------- Co-authored-by: Myriad-Dreamin <camiyoru@gmail.com>	2025-06-16 16:13:40 +08:00
Eric Long	9d9d360db9	fix(test): running test as root (#1817) ... * fix(test): running test as root The dummy root path /root conflicts with root user's home directory on Linux and redacts incorrectly. Our downstream CI environment builds tinymist in docker as root and encounters the problem. Change the path to `/dummy-root` fixes it. To ensure consistency, other similar occurences are also prefixed with `dummy-`. * dev: deduplicate a bit --------- Co-authored-by: Myriad-Dreamin <camiyoru@gmail.com>	2025-06-16 13:01:25 +08:00
Myriad-Dreamin	c85247a85c	fix: example impl is not correct (#1770) ... * fix: example impl is not correct * fix(typlite): example impl (#1800) * fix: readme generation (#1754) * fix: readme generation * feat: markdown-aware export * feat: add ieee example * fix: fix wrong behavior of list parsing and <div> elem parsing * test: update snapshot Co-authored-by: Hong Jiarong <me@jrhim.com> * fix: clippy warnings * fix: handle br tag as hard break in HTML parsing (#1769) * fix: handle br tag as hard break in HTML parsing * Revert "svg gen" This reverts commit 1ff4c0af33c209a9f653c879f2f7d504bad1ff32. --------- Co-authored-by: Myriad-Dreamin <camiyoru@gmail.com> * feat: some md-specific impl * test: bad changes --------- Co-authored-by: Hong Jiarong <me@jrhim.com> * fix(typlite): recover readme (#1759) * fix: recover readme * docs: rewrite readme * fix: compile warnings (#1774) * fix: correct link to Automattic/haper (#1748) * fix: correct link to Automattic/haper * build: generate readme * fix: heading-hash is broken by readme generation (#1779) * feat: bump typstyle to v0.13.4 and add config for hard wrap (#1737) * feat: only scroll when selection is not adjacent (#1787) * fix: quote should work as a blocks container; escape special chars in text (#1771) * feat: add protip component with markdown note block conversion * refactor: remove ProtipNode and update related parsing and tag definitions * fix: escape special characters in markdown output and update cmark-writer dependency * fix: try getting font index again (#1213, #1645) (#1790) * feat: build theme-aware pictures (equations) (#1772) * revert: "test: bad changes" * feat: m1source * fix: example impl * fix(typlite): highlight in docx export (#1798) * fix: highlight in docx export * fmt * fix: correct hover docs generated by typlite (#1761) * fix: annotate fn * fix(typlite): duplicate docs description (#1799) * fix: avoid duplicate docs description * fix: clippy error * test: flat repr of hover snapshots * g * test: update snapshots --------- Co-authored-by: Myriad-Dreamin <camiyoru@gmail.com> * test: update snapshot --------- Co-authored-by: Hong Jiarong <me@jrhim.com> * feat: `expr_tooltip` should not return docs (#1801) * fix: render example * fix: clean code --------- Co-authored-by: Myriad-Dreamin <35292584+Myriad-Dreamin@users.noreply.github.com> Co-authored-by: Wenzhuo Liu <mgt@oi-wiki.org> Co-authored-by: Myriad-Dreamin <camiyoru@gmail.com> * test: update snapshot --------- Co-authored-by: Hong Jiarong <me@jrhim.com> Co-authored-by: Wenzhuo Liu <mgt@oi-wiki.org>	2025-06-08 13:44:59 +08:00
Myriad-Dreamin	7a30cbdc73	feat: expr_tooltip should not return docs (#1801)	2025-06-07 12:31:14 +08:00
Myriad-Dreamin	3d24320674	fix: correct hover docs generated by typlite (#1761) ... * fix: annotate fn * fix(typlite): duplicate docs description (#1799) * fix: avoid duplicate docs description * fix: clippy error * test: flat repr of hover snapshots * g * test: update snapshots --------- Co-authored-by: Myriad-Dreamin <camiyoru@gmail.com> * test: update snapshot --------- Co-authored-by: Hong Jiarong <me@jrhim.com>	2025-06-07 09:14:20 +08:00
Myriad-Dreamin	7de64aefe5	fix: compile warnings (#1774)	2025-05-22 11:37:44 +08:00
Myriad-Dreamin	223a337736	fix: readme generation (#1754) ... * fix: readme generation * feat: markdown-aware export * feat: add ieee example * fix: fix wrong behavior of list parsing and <div> elem parsing * test: update snapshot Co-authored-by: Hong Jiarong <me@jrhim.com> * fix: clippy warnings * fix: handle br tag as hard break in HTML parsing (#1769) * fix: handle br tag as hard break in HTML parsing * Revert "svg gen" This reverts commit 1ff4c0af33c209a9f653c879f2f7d504bad1ff32. --------- Co-authored-by: Myriad-Dreamin <camiyoru@gmail.com> * feat: some md-specific impl * test: bad changes --------- Co-authored-by: Hong Jiarong <me@jrhim.com>	2025-05-21 17:45:37 +08:00
Myriad-Dreamin	a33ab6a79b	fix: block math align center (#1762) ... * fix: block math align center * fix: block math align center (#1764) * fix: process block children * test: update snapshot --------- Co-authored-by: Hong Jiarong <me@jrhim.com>	2025-05-18 03:08:35 +08:00
Hong Jiarong	58b5df97e1	feat(typlite): add plain text output support (#1731) ... * feat: add plain text output support * fix: correct task chaining in Typlite implementation * feat: add process-math-eq function for improved math equation handling * fix: simplify ordered and unordered list output formatting * tests: update insta * 更新 media.rs * 更新 media.rs * fix: expose a bit and remove unused deps --------- Co-authored-by: Myriad-Dreamin <camiyoru@gmail.com>	2025-05-13 11:58:26 +08:00
Myriad-Dreamin	38974a3b5e	feat: autofix unknown variable: a and file not found (searched at a.typ) by code action (#1743) ... * feat: check context * feat: implement it * fix: warnings * test: update snapshot	2025-05-09 23:44:12 +08:00
Myriad-Dreamin	d6d3766b6f	feat: add command to profile the entire server (#1438) ... * feat: declare and bind tinymist.profileServer command * feat: editor bridge with the frontend * feat: start and stop server profiling * feat: add profile-server prototype (#1440) * Add profile-server prototype * fix: use branch --------- Co-authored-by: Myriad-Dreamin <camiyoru@gmail.com> * feat: make it good * build: update cargo.lock * dev: ls profile impl and hook * test: update snapshot --------- Co-authored-by: Derived Cat <hooyuser@outlook.com>	2025-05-09 15:29:24 +08:00
Myriad-Dreamin	4ded5a624a	feat: forbid signature help in some cases (#1742) ... * feat: forbid signature help in some cases * test: update snapshot	2025-05-06 14:55:24 +08:00