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
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
8293f9e2cc
fix: remove debugging ( #215 )
2024-04-27 09:19:24 +08:00
