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
d9df64bca7
feat: make compile-based symbol resolver ( #269 )
...
* feat: use new symbol resolver
* feat: render emojis in symbol view
2024-05-09 12:33:19 +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
d05c5012ff
feat: implicitly focus entry on no focus request sent ( #262 )
...
* feat: implicitly focus entry on no focus command sent
* dev: garden
2024-05-08 22:16:56 +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
ca5b87efba
dev: restore lparen and comma trigger characters ( #253 )
...
* dev: restore lparen and comma trigger characters
* QAQ
2024-05-07 19:18:23 +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
Myriad-Dreamin
b8143e7090
feat: provide code action to rewrite headings ( #240 )
...
* feat: provide code action to rewrite headings
* dev: update snapshot
2024-05-05 23:25:03 +08:00
Myriad-Dreamin
6ad9258740
feat: handle/add link in the hover documentation ( #239 )
...
* feat: handle/add link in the hover documentation
* dev: update snapshot
* dev: update snapshot
* dev: update snapshot
2024-05-05 21:32:09 +08:00
Myriad-Dreamin
68bcc2b571
feat: provide label details by type, symbol, and labels ( #237 )
...
* feat: label details by type
* fix: symbol's details and label details
* dev: update snapshot
* fix: make signature stable
2024-05-05 20:19:29 +08:00
Myriad-Dreamin
bf8a505135
feat: check surrounding syntax for elements/selectors ( #236 )
...
* feat: check surrounding syntax for elements/selectors
* dev: update snapshot
* dev: update snapshot
2024-05-05 19:36:30 +08:00
Myriad-Dreamin
d774304574
feat: find definition of label references ( #235 )
...
* feat: find definition of label references
* dev: move dependencies declaration
* dev: remove serde_spanned
2024-05-05 18:53:18 +08:00
Myriad-Dreamin
c133d81d36
dev: correctly handle module import completion ( #234 )
2024-05-05 17:59:26 +08:00
Myriad-Dreamin
abb89ed3e8
feat: dynamic analysis on import from dynamic expressions ( #233 )
...
* feat: dynamic analysis on import from dynamic expressions
* dev: adds more fixture
2024-05-05 17:39:56 +08:00
Myriad-Dreamin
46f524de57
feat: type check across modules ( #232 )
2024-05-05 17:19:56 +08:00
Myriad-Dreamin
0b566f83de
feat: improve and prefer to use post type check ( #231 )
...
* dev: rename literal_type_check to post_type_check
* feat: post check signature
* feat: post check array/dict elements
* feat: post check positional arguments
* fix: signature of func with/where
* fix: kind of items
* dev: remove cross-module fixture
* fix: kind of completions
2024-05-04 20:56:40 +08:00
Myriad-Dreamin
10fad2ecde
dev: run completion snapshots with filtering ( #230 )
2024-05-04 14:17:13 +08:00
Myriad-Dreamin
97043b9789
feat: lsp label descriptions for labels ( #228 )
2024-05-04 13:59:07 +08:00
Myriad-Dreamin
0a76b4b18a
feat: graphic label descriptions for symbols ( #227 )
2024-05-04 13:58:59 +08:00
Myriad-Dreamin
f87659f2e3
dev: improve doc about slice_at ( #226 )
2024-05-04 13:58:51 +08:00
Myriad-Dreamin
bbc6e3e4e9
feat: complete symbol view ( #218 )
...
* dev: make detypify work
* dev: add symbol view
* fix: some bugs in symbol picker
* dev: make names correct
* dev: add help panel in symbol picker
* feat: paste the sym directly into the source position
* dev: tuning the detail
* dev: remove debug logging
* dev: recover mock
* docs: improve accessibility
* dev: change symbol picker to symbol view
* dev: download detypify assets
* dev: fix download script
2024-04-27 09:58:58 +08:00
Myriad-Dreamin
5ad5294fca
feat: support code context queries ( #217 )
...
* feat: support code context queries
* dev: improve switch
* dev: update snapshot
2024-04-27 09:29:20 +08:00
Myriad-Dreamin
65cbd3d658
dev: add position_encoding todo ( #216 )
2024-04-27 09:19:53 +08:00
Myriad-Dreamin
8293f9e2cc
fix: remove debugging ( #215 )
2024-04-27 09:19:24 +08:00
QuarticCat
b5164d844e
refactor: clean code of actors ( #213 )
...
* dev: simplify cluster.rs
* dev: simplify render.rs
* dev: simplify EditorActor::publish
* dev: simplify typ_client.rs
* dev: simplify typ_server.rs
* dev: remove handle param from steal_async as callers can get it by themselves
2024-04-25 17:03:14 +08:00
Myriad-Dreamin
73c64470fd
dev: make the main thread (lsp) out of tokio runtime ( #211 )
2024-04-24 10:25:09 +08:00
Myriad-Dreamin
4227f864a2
feat: add more auto closing pairs, surrounding pairs, and characters that could make auto closing before ( #209 )
...
* dev: add more characters that could make auto closing before
* dev: add more auto closing pairs and surrounding pairs
* dev: remove a debugging log
* dev: add a comment
2024-04-21 10:53:55 +08:00
Myriad-Dreamin
e54d74812e
feat: append rest code completion result after param completed ( #208 )
...
* feat: append rest code completion result after param completed
* dev: update snapshot
2024-04-20 16:04:18 +08:00
Wenzhuo Liu
f79a83e616
chore: bump to typstyle v0.11.14 ( #200 )
2024-04-20 15:28:20 +08:00
Myriad-Dreamin
9c9e4977b1
feat: complete functions with where/with snippets ( #206 )
...
* dev: complete function with where/with snippets
* dev: update snapshot
2024-04-20 15:27:57 +08:00
Myriad-Dreamin
c33f14e761
fix: wrong check of param completion position at comma ( #205 )
2024-04-20 15:26:31 +08:00
