Commit graph

246 commits

Author SHA1 Message Date
Shunsuke Shibayama
9cb98b8af0 fix: polymorphic subtyping bug 2023-05-18 22:48:31 +09:00
Shunsuke Shibayama
f39836abb0 fix: bugs generating unintended circular references 2023-05-18 18:38:44 +09:00
Shunsuke Shibayama
0b0badfef4 chore: fix minor bugs 2023-05-17 19:56:28 +09:00
Shunsuke Shibayama
c8f71d78f9 refactor: resolve_* (Context -> Input) 2023-05-17 15:46:50 +09:00
Shunsuke Shibayama
7c47794dbe fix: a crash when importing a module itself 2023-05-17 12:53:14 +09:00
Shunsuke Shibayama
4d7eeeb889 fix: add PylyzerStatus::hash
Currently, this hash is a dummy and is actually the size of the file
2023-05-16 01:24:54 +09:00
Shunsuke Shibayama
bb17537178 feat: search site-packages with pyimport 2023-05-16 00:14:59 +09:00
Shunsuke Shibayama
658ed24482 Update generalize.rs 2023-05-14 10:57:28 +09:00
Shunsuke Shibayama
28a6dd72eb Merge branch 'main' into ast-diff 2023-05-13 18:44:53 +09:00
Shunsuke Shibayama
e9ba860dc7 fix: path resolution order of importing 2023-05-13 13:10:53 +09:00
Shunsuke Shibayama
33e1b776cb feat: add ASTDiff and impl lazy compilation 2023-05-13 11:33:48 +09:00
Shunsuke Shibayama
0425dd8ddd refactor: MethodInfo -> MethodPair 2023-05-11 13:58:34 +09:00
Shunsuke Shibayama
8886364da7 fix: sub-unification bugs 2023-05-10 22:47:49 +09:00
Shunsuke Shibayama
470c06675f fix: subtyping bugs 2023-05-10 17:21:05 +09:00
Shunsuke Shibayama
2c5c3d6b6b feat: support *attr funcs with py_compat mode 2023-05-10 16:05:01 +09:00
Shunsuke Shibayama
299db8aebe Update register.rs 2023-05-10 15:46:35 +09:00
Shunsuke Shibayama
8adf6bd50b Update compare.rs 2023-05-10 15:34:39 +09:00
Shunsuke Shibayama
e892277a9c Update generalize.rs 2023-05-10 13:27:15 +09:00
Shunsuke Shibayama
70510f6ae1 fix: a subtyping bug 2023-05-09 23:55:23 +09:00
Shunsuke Shibayama
a8f9fa2edb feat: add Sequence!/Mapping! 2023-05-09 22:19:19 +09:00
Shunsuke Shibayama
293f301a4b feat: add traits
* Sized
* Iterator
* Container
* Collection
* Indexable
* Mapping
2023-05-08 12:11:01 +09:00
Shunsuke Shibayama
fca904d3ef Update unify.rs 2023-05-08 11:51:19 +09:00
Shunsuke Shibayama
c3da319e9f feat: add zlib/hashlib 2023-05-07 22:15:24 +09:00
Hanaasagi
ffb5f0e688 chore: fix all typo 2023-05-07 03:43:53 +09:00
Shunsuke Shibayama
5c5c46d960 fix: __call__ resolution bug 2023-05-06 21:37:54 +09:00
Shunsuke Shibayama
e8117f83f9 fix: Inherit param bug 2023-05-06 19:22:23 +09:00
Shunsuke Shibayama
44930f1c25 fix: type declaration bugs 2023-05-06 00:09:56 +09:00
Shunsuke Shibayama
ffb7e4bbba fix: import bugs 2023-05-05 17:32:51 +09:00
Shunsuke Shibayama
192b583678 fix: no-panic Context::register_marker_trait 2023-05-05 15:47:40 +09:00
Shunsuke Shibayama
cf7c75dca8 fix: crash by inc_ref 2023-05-05 12:10:45 +09:00
Shunsuke Shibayama
36885e34c3 fix: boundary checking bugs 2023-05-05 00:52:31 +09:00
Shunsuke Shibayama
d573d07f20 chore: enhance the compile-time evaluator 2023-05-04 22:12:58 +09:00
Shunsuke Shibayama
752640eb02 fix: Context::register_marker_trait 2023-05-04 13:35:40 +09:00
Shunsuke Shibayama
d1dc1e60e7 Update inquire.rs 2023-05-04 00:14:07 +09:00
Shunsuke Shibayama
30d2dc52a3 feat: add SetIterator/TupleIterator 2023-05-04 00:00:09 +09:00
Shunsuke Shibayama
0603998bfc chore: add Context::convert_value_into_type 2023-05-03 15:03:28 +09:00
Shunsuke Shibayama
730886021e feat: add special namespaces module/global 2023-05-03 14:32:09 +09:00
Shunsuke Shibayama
3436b5eb02 Update inquire.rs 2023-05-02 23:40:27 +09:00
Shunsuke Shibayama
3f2793f915 chore: remove TokenKind::NoImplLit 2023-05-02 23:11:51 +09:00
Shunsuke Shibayama
c84294fc11 chore(els): let FileCache: Send + Sync 2023-05-01 23:27:53 +09:00
Shunsuke Shibayama
a55653d07c Update inquire.rs 2023-04-30 20:07:06 +09:00
Shunsuke Shibayama
bd95ab8221 fix: PreDeclTypeSpec bugs
SimpleTypeSpec -> Identifier/PolyTypeSpec
2023-04-30 19:29:47 +09:00
Shunsuke Shibayama
1cdbef671e fix: py-compat mode bugs 2023-04-29 23:41:56 +09:00
Shunsuke Shibayama
882d619dcc fix: type-parameter instantiation bugs 2023-04-29 23:14:39 +09:00
Shunsuke Shibayama
1df51cb12c feat: add IO! trait 2023-04-29 22:39:12 +09:00
Shunsuke Shibayama
68a233e6c3 fix: type-parameter instantiation bugs
add `itertools` module type definition
2023-04-29 22:38:36 +09:00
Shunsuke Shibayama
f6dc7074b4 Update register.rs 2023-04-29 14:28:13 +09:00
Shunsuke Shibayama
0b0c663792 fix: a type casting bug 2023-04-29 14:20:10 +09:00
Shunsuke Shibayama
a96b0102cd fix: dict subtyping bugs 2023-04-29 11:38:25 +09:00
Shunsuke Shibayama
1ef11fc2b9 feat(els): improve doc-comment display 2023-04-28 23:48:45 +09:00