Myriad-Dreamin
56e20b2590
feat: support vscode tasks for exporting html, md, and txt ( #489 )
...
* feat: support vscode tasks for exporting html, md, and txt
* chore: styling
* docs: update
* test: update snapshot
2024-08-05 01:00:25 +08:00
Myriad-Dreamin
140299f0ce
feat: support vscode tasks for exporting pdf, svg, and png ( #488 )
...
* feat: support vscode tasks for exporting pdf, svg, and png
* fix: parse errors
* dev: update fill, gap arguments
* fix: merged props
2024-08-04 23:41:52 +08:00
Zike Xu
60f3200088
fix: apply label instead of bib title name in at completion ( #485 )
...
* fix: apply label instead of bib title name in `at` completion
* test: snapshot testing for #483
* test: add more label-related snapshot testings
---------
Co-authored-by: Myriad-Dreamin <camiyoru@gmail.com>
2024-08-04 23:33:02 +08:00
Myriad-Dreamin
859fb468e2
dev: a false positive of clippy ( #487 )
2024-08-04 22:24:09 +08:00
Myriad-Dreamin
0c9d6623b4
build: cherry pick concurrent id error ( #472 )
...
* dev: commit reference changes
* build: cherry pick concurrent id error
2024-07-28 18:06:43 +08:00
Zike Xu
7b8b3938a2
feat: support querying label with paper name in bib items ( #365 )
...
* feat: support querying label with paper name in bib items
* dev: distinguish ref and bib title
* dev: distinguish ref and bib title 2
---------
Co-authored-by: Myriad-Dreamin <camiyoru@gmail.com>
2024-07-25 10:14:31 +08:00
Myriad-Dreamin
1bbf800643
test: add rename testing ( #448 )
2024-07-22 14:29:53 +08:00
Myriad-Dreamin
103e0f3b3e
feat: support creation-timestamp configuration for exporting PDF ( #439 )
...
* feat: support creation-timestamp configuration for exporting PDF
* fix: respect config
2024-07-20 06:58:27 +08:00
Myriad-Dreamin
8413c66c51
fix: wrong checked prefix on completing strings ( #422 )
2024-07-17 15:34:33 +08:00
Myriad-Dreamin
6a142dca01
dev: refactor tasks ( #411 )
...
* dev: improve export task
* aba aba
* dev: less indent
* dev: reorder
* dev: reduce some clone
* dev: improve format task
* fix: documentation links
* dev: doesn't rely on hash entry state
2024-07-14 17:40:01 +08:00
Myriad-Dreamin
4acc39b237
build: rearrange dependencies ( #399 )
2024-07-11 11:03:55 +08:00
Myriad-Dreamin
96c8e08b50
feat: render example code in typst docs as typst syntax ( #397 )
...
* feat: render example code in typst docs as typst syntax
* fix: snapshot
2024-07-11 09:03:08 +08:00
Myriad-Dreamin
653789c1e6
fix: cyclic loop detection in cross-module def-use relation checking ( #396 )
2024-07-10 12:01:22 +08:00
Myriad-Dreamin
7cf100ec96
dev: remove threaded_receive uses ( #391 )
2024-07-09 12:37:33 +08:00
Myriad-Dreamin
692b87eeb8
dev: introduce task concept and rewrite export actor as export task ( #383 )
...
* dev: introduce task concept and rewrite export actor as export task
* dev: delete useless code
* fix: export mode
2024-07-08 19:18:52 +08:00
Myriad-Dreamin
db314c2ea9
docs: write some developer guides ( #372 )
2024-07-07 11:26:35 +08:00
Myriad-Dreamin
4c949e8816
feat: fully concurrent lsp ( #363 )
...
* fix: dep hash
* dev: exp concurrent hash
* feat: fully concurrent lsp
* dev: disable concurrent compilation
2024-07-02 14:01:42 +08:00
Myriad-Dreamin
ce8baa80b2
fix: completion in string context a bit ( #351 )
...
* fix: completion in string context a bit
* fix: side effect snapshot
2024-06-27 18:30:34 +08:00
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
