Myriad-Dreamin
6967dc5a22
fix: bad early return in param_completions ( #350 )
...
* fix: bad early return in param_completions
* dev: update snapshot
* dev: filter result
2024-06-27 16:31:50 +08:00
Myriad-Dreamin
0a1c625397
fix: avoid duplicated method completion ( #349 )
2024-06-27 16:00:08 +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
6fcad1c1c7
feat: prepare for parallelizing lsp requests ( #342 )
...
* feat: migrate steal_sync to snapshot_sync
* feat: correctly make world/analysis snapshot
* very rayon
* dev: recover async lsp request
* gg
* dev: pin
* fix: make server stable
* dev: disable concurrent server by default
* dev: very sync
2024-06-26 10:37:57 +08:00
Myriad-Dreamin
5e4e1e9877
refactor: pick state changes ( #338 )
...
* dev: make clippy happy
* refactor: pick state changes
---------
Co-authored-by: QuarticCat <QuarticCat@pm.me>
2024-06-23 12:31:03 +08:00
Myriad-Dreamin
7d65829ed7
refactor: combine typst-preview and tinymist compiler ( #337 )
...
* refactor: combine typst-preview and tinymist compiler
* dev: update link
* fix: bad changes
* dev: sync snapshot compiler
2024-06-22 15:06:42 +08:00
Myriad-Dreamin
a1bd1c6698
dev: accurate warn on out-of-bound conversion ( #329 )
2024-06-17 11:06:10 +08:00
Myriad-Dreamin
95a68d2559
feat: implements experimental/onEnter ( #328 )
...
* feat: implements `experimental/onEnter`
* docs: update readme
* dev: update snapshot
* dev: allow configuration
2024-06-16 17:33:46 +08:00
Myriad-Dreamin
8d753d8c56
fix: handle the conversion of offset at the EOF ( #325 )
...
* fix: handle the conversion of offset at the EOF
* fix: clippy error
* fix: snapshot
2024-06-15 03:37:39 +08:00
Lars Wrenger
257a6bcb86
feat: generate names for destructuring closure params ( #319 )
2024-05-31 12:24:08 +08:00
Myriad-Dreamin
82e75f362a
feat: highlights all break points for that loop context ( #317 )
...
* feat: highlights all break points for that loop or block context
* docs: update readme
* dev: remove a debug logging
* QAQ
2024-05-26 17:44:32 +08:00
Myriad-Dreamin
0e853363dd
feat: complete CSL paths ( #310 )
...
* feat: complete csl paths
* dev: update snapshot
2024-05-23 17:49:26 +08:00
Myriad-Dreamin
247c6d5848
feat: check and move the exactly single punctuation after the math equation to refactor ( #306 )
2024-05-19 16:17:58 +08:00
Myriad-Dreamin
8f5725f51a
feat: complete both open and closed labels ( #302 )
...
* feat: complete both open and closed labels
* QAQ
2024-05-18 12:36:42 +08:00
Myriad-Dreamin
071d9072e1
build: bump typst to 0.11.1 ( #301 )
2024-05-18 12:17:24 +08:00
Myriad-Dreamin
71591b1f08
dev: remove some debug logging ( #300 )
2024-05-18 12:12:40 +08:00
Myriad-Dreamin
937f6f042f
fix: search newline character in utf-8 bytes sequence ( #299 )
2024-05-18 12:12:06 +08:00
Myriad-Dreamin
7336c61453
dev: simplify a bit ( #296 )
2024-05-16 11:59:23 +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
c182c5fadc
chore: move typst-specific types ( #294 )
...
* chore: move typst-specific types
* QAQ
2024-05-16 00:30:32 +08:00
Myriad-Dreamin
d995ded9b2
feat: implement naive substitution (β-reduction) ( #292 )
...
* feat: implement naive substitution (β-reduction)
* fix: order
* dev: harder tests
2024-05-15 18:42:06 +08:00
Myriad-Dreamin
c8977f0052
dev: don't complete literal themselves ( #291 )
2024-05-15 14:54:56 +08:00
Myriad-Dreamin
cfd94b9416
dev: get check target without skip trivia node in non-code context ( #289 )
...
* x
* dev: get check target without skip trivia node in non-code context
* dev: add matcher testing
* dev: narrow down target matching
* dev: update snapshot
2024-05-14 21:26:29 +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
3cd86a06a7
fix: correctly determine is_set for checking targets ( #286 )
2024-05-14 19:29:22 +08:00
Myriad-Dreamin
8cbd32c724
fix: make snapshot stable ( #283 )
...
* fix: make snapshot stable
* >_<
2024-05-14 18:38:02 +08:00
Myriad-Dreamin
04dd06313a
fix: completion path with ctx.leaf ( #282 )
2024-05-13 21:41:12 +08:00
Myriad-Dreamin
c90a766fdc
fix: wrong order of def-and-use names ( #281 )
2024-05-13 21:30:13 +08:00
Myriad-Dreamin
66e6aff2b4
dev: don't use bug prone ever_be ( #280 )
2024-05-13 21:29:59 +08:00
Myriad-Dreamin
f66d50c51f
dev: remove some interned uses ( #279 )
2024-05-13 21:04:10 +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
e2b7bc4b56
refactor: introduce uri_for_id and deref_syntax_at ( #267 )
...
* dev: add documentation
* refactor: introduce uri_for_id and deref_syntax_at
2024-05-09 12:32:20 +08:00
Myriad-Dreamin
6d669461f9
dev: slice a syntax string prefix ( #266 )
2024-05-09 12:32:11 +08:00
Myriad-Dreamin
01f72c3d75
dev: simplify a bit ( #265 )
...
* fix: clippy
* dev: simplify a bit
2024-05-09 12:12:49 +08:00
Myriad-Dreamin
869960a89c
dev: {re,}move conversions of completion structs ( #264 )
...
* dev: {re,}move conversions
* dev: update dependencies
2024-05-09 12:04:42 +08:00
QuarticCat
94a0a1b23a
refactor: clean code & fix suffix computation & combine export actors ( #263 )
...
* dev: use bail! macro
* dev: remove redundant arg structures as we have inlay hints
* dev: unify actor namings
* dev: unify actor namings (cont)
* fix: suffix computation
* dev: add EditorActor::new
* dev: unify index file flavors
* dev: combine export actors
* dev: small tweaks
* dev: mimic try blocks
* dev: accumulate export requests
* dev: remove unnecessary Option
* dev: unify serde renames
* dev: remove unnecessary Option
* dev: small tweaks
2024-05-09 08:57:44 +08:00
Myriad-Dreamin
ca5d8f61cc
build: upgrade rust and set MSRV to 1.75 ( #261 )
2024-05-08 20:48:35 +08:00
Myriad-Dreamin
398f2afb04
feat: simple code actions to manipulate equations ( #258 )
2024-05-07 20:21:01 +08:00
Myriad-Dreamin
7e59b9dbcb
dev: identify let context completely ( #255 )
2024-05-07 19:26:31 +08:00
Myriad-Dreamin
806fb9bdfc
dev: improve open document tooltip ( #254 )
2024-05-07 19:26:21 +08:00
Myriad-Dreamin
1f9719a420
dev: weaken inference from outer use ( #250 )
...
* dev: weaken inference from outer use
* >_<
2024-05-07 19:21:13 +08:00
Myriad-Dreamin
5c83fb56ab
dev: improve literal completion matching ( #252 )
2024-05-07 19:13:29 +08:00
Myriad-Dreamin
bbded48a1b
dev: insert commas in arg context for completing before identifiers ( #251 )
2024-05-07 19:03:25 +08:00
Myriad-Dreamin
c640d53396
dev: improve join type ( #249 )
...
* dev: improve join type
* dev: update snapshot
2024-05-07 18:30:14 +08:00
Myriad-Dreamin
4fae99d767
fix: simplify all substructure ( #248 )
2024-05-07 15:27:05 +08:00
Myriad-Dreamin
73a5742c09
fix: instantiate variable before applying variable function ( #247 )
2024-05-07 13:44:50 +08:00
Myriad-Dreamin
b0c71a0961
fix: infinite loop in simplifying recursive functions ( #246 )
...
* fix: infinite loop in simplifying recursive functions
* dev: update snapshot
2024-05-07 13:39:04 +08:00
Myriad-Dreamin
d8c3a97f24
feat: trigger parameter hints instead of suggest on pos args ( #243 )
...
* dev: disable aggressive positional arguments completion
* feat: trigger parameter hints instead of suggest on pos args
* dev: update snapshot
2024-05-05 23:40:29 +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
