Commit graph

39 commits

Author SHA1 Message Date
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
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
Myriad-Dreamin
72e33e461d
refactor: remove once_cell use from tinymist (#1632)
* refactor: remove `once_cell` use from tinymist

* feat: remove more
2025-04-08 02:11:44 +08:00
Myriad-Dreamin
497a1e0aea
refactor: simplify and document lsp_typst_boundary crate (#1049) 2024-12-22 11:21:04 +08:00
Myriad-Dreamin
1eb63870fd
refactor: final touch and complete matchers (#1036)
* perf: minor optimize matches to dot access

* refactor: final touch and complete matchers

* dev: change name back
2024-12-20 20:56:45 +08:00
Myriad-Dreamin
39243ba626
feat: classify field accesses for ide functions (#1034)
* feat: classify field accesses for ide functions

* test: update snapshot
2024-12-20 18:47:44 +08:00
Myriad-Dreamin
de8e45a539
refactor: rename local variables (cont.) (#1026) 2024-12-18 19:48:34 +08:00
Myriad-Dreamin
ad0c1e8aca
refactor: improving names of matched structs and documenting matchers (#1022) 2024-12-18 16:35:15 +08:00
Myriad-Dreamin
63b31c6186
feat: convert values in builtin modules to definition (#919) 2024-11-30 23:05:00 +08:00
Myriad-Dreamin
982c430338
test: add tests about signature help (#917) 2024-11-30 22:50:58 +08:00
Myriad-Dreamin
ed79045588
dev: disable all runtime check to log::debug! (#912) 2024-11-29 19:52:42 +08:00
Myriad-Dreamin
57c6c7a4f6
dev: replace FieldTy with ParamTy (#830) 2024-11-16 13:50:50 +08:00
Myriad-Dreamin
f1f77065d7
dev: collect func.with type information for signature help (#759)
* feat: static analysis on `func.with` bindings

* test: update snapshot
2024-11-02 14:52:25 +08:00
Myriad-Dreamin
8f3566366e
refactor: refactor hover, analysis/global, and docs crates (#755)
* dev: refactor hover.rs

* refactor refactor AnalysisContext

* refactor: refactor docs crate
2024-10-31 10:07:31 +08:00
Myriad-Dreamin
1c1bc19caf
dev: more consistent way to get docs of decls (#752)
* dev: more consistent way to get docs of decls

* test: update snapshot
2024-10-30 22:29:07 +08:00
Myriad-Dreamin
81ebc8a635
feat: implement expression checker (#714)
* feat: implements expression checker

* dev: resolve information

* dev: delete def_use

* stage

* stage

* stage

* stage concurrent

* stage concurrent

* dev: better concurrency

* dev: final constant evaluation improvement

* dev: change reference site

* dev: handle comments

* dev: remove indirect import structure

* dev: adjust linked_def impl

* dev: finalize goto definition impl

* dev: replace all old import and def_use analyses with expr analysis

* dev: update expr_of snapshots

* dev: split def/expr, refactor definition

* dev: more consistent definition solver

* dev: rename definition crate

* dev: references work again

* dev: resolve root decl

* dev: resolve root decl

* dev: resolve global definitions

* dev: resolve tokens with world

* feat: render semantic tokens with expression information

* dev: loop detection

* dev: recover type checking

* dev: recover more type checking

* dev: refactor analysis context

* fix: process case of spread left

* dev: label inference

* dev: recover more signature checking

* dev: recover more ident reference checking

* dev: pass all tests

* Revert "dev: dirty changes"

This reverts commit 9ae2dacd0c96851e088feea76c61c184a1cf9722.

* test: update snapshot

* fix: bad cached signatures

* fix: slash problem
2024-10-25 23:52:11 +08:00
Myriad-Dreamin
39f343d536
feat: combine signature solving (#696)
* feat: combine signature solving

* dev: update snapshot

* dev: update snapshot
2024-10-17 18:45:52 +08:00
Myriad-Dreamin
de130dcc2c
refactor: reduce source cache and mutability (#693)
* dev: reduce source cache and mutability

* dev: update common imports
2024-10-16 23:17:52 +08:00
Myriad-Dreamin
02bbdbf8d9
feat: incorporated with static function signature analysis (#688)
* feat: finished function signature analysis

* dev: update snapshot

* dev: broken snapshot
2024-10-16 15:53:43 +08:00
Myriad-Dreamin
a3f100e7cb
refactor: change PrimarySignature structure to merge type checking info (#687)
* dev: support spread left params

* dev: stage merge

* dev: remove ParamSpecShort

* chore: remove useless code

* dev: merge all things back

* fix: testing

* fix: testing

* remove: useless method
2024-10-16 14:35:24 +08:00
Myriad-Dreamin
78f3893185
feat: provide package view and local documentation (#596)
* feat: move featured components

* feat: provide package view and local documentation

* stage

* fix: compile error by merged commits
2024-09-12 21:17:07 +08:00
ParaN3xus
ce107efc7e
refactor: add compatibility for typst_syntax::LinkedNode.leaf_at (#582)
* refactor: add compatibility for `typst_syntax::LinkedNode.leaf_at`

* feat: `LinkedNodeExt` trait with `leaf_at_compat`
2024-09-08 22:10:01 +08:00
Myriad-Dreamin
7cf100ec96
dev: remove threaded_receive uses (#391) 2024-07-09 12:37:33 +08:00
Myriad-Dreamin
a3724bc87f
feat: remove cast completion (#348)
* feat: remove cast completion

* fix: update snapshot
2024-06-27 15:42:40 +08:00
Myriad-Dreamin
9835ffe6ab
docs: add documents to type system (#295)
* docs: simplify a bit

* docs: add documents to type system code

* docs: update

* refactor: rename
2024-05-16 11:52:41 +08:00
Myriad-Dreamin
bf64d3f004
fix: match labels in signature help correctly (#288)
* fix: match labels in signature help correctly

* QAQ
2024-05-14 20:58:54 +08:00
Myriad-Dreamin
235f2e49ae
fix: filter unsettable params when making a set rule (#287) 2024-05-14 20:08:39 +08:00
Myriad-Dreamin
fff227f3ae
dev: interning types (#271)
* refactor: a bit

* fix: named completion

* dev: replace complete_literal by complete_type

* dev: remove unused code

* dev: basic interner

* dev: basic types

* dev: type operations

* dev: migrate all type definitions

* dev: check syntax and builtin types

* dev: make TypeSimplifier simply work

* dev: make TypeDescriber simply work

* dev: make TypeChecker simply work

* dev: recover type check

* fix: context check

* fix: use after free in seen fields

* fix: typed with

* fix: record type on field

* dev: check type of constructors and element containing

* dev: show sig by type

* fix: mixed context checking

* QAQ

* >_<

* dev: fix documents
2024-05-11 21:12:49 +08:00
Myriad-Dreamin
3490a3244c
feat: reimplement signature help (#241)
* feat: reimplement signature help

* dev: export doc tooltip

* dev: update snapshot
2024-05-05 23:30:19 +08:00
Myriad-Dreamin
987a7da867
feat: complete arguments enhanced by type inference (#186)
* auto complete code in param position

* dev: initial path completion in params

* fix: compile error

* remove two todo

* dev: improve get_deref_target

* check string during completion

* feat: complete path arguments

* feat: identify hash before function follows a content parameter

* dev: complete text.size, text.dir, stack.dir, stroke dict

* dev: add record type

* dev: complete stroke dict

* fix: correct kind of langauge of code tooltip

* dev: add colon trigger character

* dev: let type selection complete

* dev: complete inset/outset/margin/radius dictionary types

* dev: complete raw theme/syntaxes, bib path types

* dev: complete all files at the same time

* dev: update snapshot
2024-04-15 00:17:54 +08:00
Myriad-Dreamin
76b4e91046
feat: allow running server with loading font once and on rootless files (#94)
* dev: change system config

* docs: update config doc

* dev: clean up tightly coupled world

* dev: load font once

* docs: add more comments to tinymist-query

* dev: merge compiler layers

* feat: allow run lsp on rootless files

* build: bump ts

* fix: workspace dep

* build: bump preview

* dev: correctly check inactive state

* fix: weird cargo default features
2024-03-26 10:33:56 +08:00
Myriad-Dreamin
2fe992e933
dev: convert all syntax-level request and check main state before requesting (#67) 2024-03-18 17:36:43 +08:00
Myriad-Dreamin
49244fe8df build: bump typst to 0.11.0-rc1 2024-03-10 03:45:13 +08:00
Myriad-Dreamin
7f839e6319 fix: adjust leaf_at usages 2024-03-09 23:44:05 +08:00
Myriad-Dreamin
964def25a9 fix: don't panic on bad node range 2024-03-08 21:13:22 +08:00
Myriad-Dreamin
edd3ad260f chore: remove dead code 2024-03-08 00:48:09 +08:00
Myriad-Dreamin
50ca444915 feat: associate request function 2024-03-07 16:31:16 +08:00
Myriad-Dreamin
0c7e67ed9a feat: forward const config 2024-03-07 16:12:49 +08:00
Myriad-Dreamin
9af8eb4b52 feat: create query crate 2024-03-07 13:35:45 +08:00