Commit graph

23 commits

Author SHA1 Message Date
Shunsuke Shibayama
beee3b8800 fix: recursion bugs of structural types 2024-09-10 23:21:39 +09:00
Shunsuke Shibayama
6ca396cec7 fix: infinite recursion of type variables 2024-08-22 21:27:28 +09:00
Shunsuke Shibayama
a3879ba174 WIP 2024-08-22 13:27:18 +09:00
Shunsuke Shibayama
e1ffa2d739 fix: borrow error 2024-08-16 15:00:12 +09:00
Shunsuke Shibayama
cd9973e800 fix: infinite recursion bug 2024-08-11 14:17:04 +09:00
Shunsuke Shibayama
ea6e3df982 chore: add log-level-error feature 2024-06-16 13:40:36 +09:00
Shunsuke Shibayama
46610a1ae0 fix(els): minor bugs 2024-02-26 12:02:28 +09:00
Shunsuke Shibayama
0bedeb51ab feat: support using attributes in predicate 2024-02-24 13:23:02 +09:00
Shunsuke Shibayama
3cef64816a chore: relax lock timeout duration 2024-02-12 13:10:42 +09:00
Shunsuke Shibayama
cedea5be48 fix: relax timeout 2023-11-25 13:36:21 +09:00
Shunsuke Shibayama
21c53dacc1 refactor: LocalShared -> Forkable 2023-06-18 18:30:09 +09:00
Shunsuke Shibayama
75f4c206f6 feat: parallelize the analysis process 2023-06-18 15:58:32 +09:00
Shunsuke Shibayama
1a4095077f WIP 2023-06-15 10:49:09 +09:00
Shunsuke Shibayama
ca664ca54c Update shared.rs 2023-06-12 00:02:46 +09:00
Shunsuke Shibayama
0d3691f243 Merge branch 'main' into rwlock 2023-06-10 17:45:08 +09:00
Shunsuke Shibayama
8c983c3714 merge from main 2023-05-28 10:39:54 +09:00
Shunsuke Shibayama
6b8e7314f2 merge from main 2023-05-28 10:11:37 +09:00
Shunsuke Shibayama
e881703554 merge from main 2023-05-28 10:10:49 +09:00
Shunsuke Shibayama
0bb8856f19 merge 2023-05-27 23:19:09 +09:00
Shunsuke Shibayama
0e42ab03ca feat: let Shared: Send + Sync 2023-05-27 20:41:28 +09:00
Shunsuke Shibayama
0744c35517 feat(els): add deep completion 2023-03-10 13:26:13 +09:00
Shunsuke Shibayama
4571ced013 feat(els): implement file cache
This change increases the efficiency of file IO and improves the accuracy of completions.
2023-02-08 04:04:20 +09:00
Shunsuke Shibayama
a127564b31 Rename dir: compiler -> crates 2023-01-15 12:03:19 +09:00
Renamed from compiler/erg_common/shared.rs (Browse further)