Commit graph

83 commits

Author SHA1 Message Date
Shunsuke Shibayama
8886364da7 fix: sub-unification bugs 2023-05-10 22:47:49 +09:00
Shunsuke Shibayama
d573d07f20 chore: enhance the compile-time evaluator 2023-05-04 22:12:58 +09:00
Shunsuke Shibayama
0603998bfc chore: add Context::convert_value_into_type 2023-05-03 15:03:28 +09:00
Shunsuke Shibayama
c84294fc11 chore(els): let FileCache: Send + Sync 2023-05-01 23:27:53 +09:00
Shunsuke Shibayama
882d619dcc fix: type-parameter instantiation bugs 2023-04-29 23:14:39 +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
a96b0102cd fix: dict subtyping bugs 2023-04-29 11:38:25 +09:00
Shunsuke Shibayama
245d9eee84 fix: dict typing bugs 2023-04-27 15:51:56 +09:00
Shunsuke Shibayama
630d4d64db Update mod.rs 2023-04-27 14:08:23 +09:00
Shunsuke Shibayama
1e72cf20f1 fix: casting bugs 2023-04-27 13:58:15 +09:00
Shunsuke Shibayama
66cac2ccc2 fix: bugs & remove TypeCmpCache 2023-04-27 13:10:33 +09:00
Shunsuke Shibayama
a74309cbb3 fix: type-variable union bugs 2023-04-24 21:48:05 +09:00
Shunsuke Shibayama
0e8dee3cbf feat: implement And type overloading 2023-04-24 21:43:46 +09:00
Shunsuke Shibayama
1767df5de2 chore: add error msg for debug_assert! 2023-04-23 11:17:10 +09:00
Shunsuke Shibayama
3c40fc35e9 fix: #193
and many bugs
2023-04-22 23:43:03 +09:00
Shunsuke Shibayama
daf01f3cf2 feat: add as operator 2023-04-19 15:20:46 +09:00
Shunsuke Shibayama
ffd33015d5 fix: external type resolving 2023-04-18 10:49:02 +09:00
Shunsuke Shibayama
da300b0f02 feat(els): jump to parameter type definitions 2023-04-18 01:01:13 +09:00
Shunsuke Shibayama
839133863f feat: enhance assert casting 2023-04-16 23:32:52 +09:00
Shunsuke Shibayama
5eb680cb21 fix: #415 2023-04-16 21:13:48 +09:00
Shunsuke Shibayama
9f110aeef4 fix: infinite recursion bug 2023-04-12 12:48:22 +09:00
Shunsuke Shibayama
fc85265d9f fix: union types bug & multi-pattern def bug 2023-04-10 22:26:46 +09:00
Shunsuke Shibayama
3ed863cef6 fix: infinite recursion 2023-04-10 00:38:41 +09:00
Shunsuke Shibayama
a484f0ff9a fix: misuse forced_undoable_link 2023-04-07 23:45:10 +09:00
Shunsuke Shibayama
018080be41 fix: nested array bugs 2023-04-05 11:47:15 +09:00
Shunsuke Shibayama
b7fb670adf fix: minor bugs 2023-04-02 01:43:05 +09:00
Shunsuke Shibayama
c8ecb9903e refactor: Type::Fluctuation -> Type::Bounded 2023-04-01 22:52:02 +09:00
Shunsuke Shibayama
0329b1a2e3 chore: add Dereferencer 2023-04-01 18:08:15 +09:00
Shunsuke Shibayama
ccf02405d8 feat: add ==/!= narrowing 2023-03-29 01:32:29 +09:00
Shunsuke Shibayama
fc3fe5de0c feat: implement type-narrowing
* `in` narrowing
2023-03-28 02:00:42 +09:00
Shunsuke Shibayama
caa171342f fix: eliminate panics 2023-03-25 23:17:30 +09:00
Shunsuke Shibayama
9710b8c0cc feat(els): impl module/alias definition jump 2023-03-24 22:46:02 +09:00
Shunsuke Shibayama
99d72ab4ef fix: type-instantiation bug 2023-03-24 19:02:32 +09:00
Shunsuke Shibayama
9b3843b7a4 feat: add Complex, GenericArray, GenericSet 2023-03-24 11:47:46 +09:00
Shunsuke Shibayama
3940f7f36c fix: add __call__ for builtin classes 2023-03-24 10:34:44 +09:00
Shunsuke Shibayama
4ff0b64fc3 fix: type-instantiating bugs 2023-03-23 21:17:37 +09:00
Shunsuke Shibayama
0079aed860 fix: sub-unification bugs 2023-03-22 15:38:47 +09:00
Shunsuke Shibayama
b318395a32 fix: avoid infinite recursion bugs 2023-03-22 01:28:22 +09:00
Shunsuke Shibayama
40762bf8cf fix: union/intersection types bugs 2023-03-20 14:48:34 +09:00
Shunsuke Shibayama
98a1a0292e fix: structural types bugs 2023-03-20 13:43:25 +09:00
Shunsuke Shibayama
a5ce33f2c4 refactor: inst (instance) -> imp (impl) 2023-03-19 23:24:00 +09:00
Shunsuke Shibayama
332337efca Update free.rs 2023-03-18 17:02:23 +09:00
Shunsuke Shibayama
fd99524bbe fix: union/intersection types bugs 2023-03-17 10:18:23 +09:00
Shunsuke Shibayama
2afd47a24a fix: change ParamTy structure 2023-03-17 00:11:30 +09:00
Shunsuke Shibayama
5838eea7ec fix: NotImplementedType 2023-03-16 12:03:47 +09:00
Shunsuke Shibayama
0d8e574414 fix: add a field meta_t to TypeObj::Builtin 2023-03-13 13:07:35 +09:00
Shunsuke Shibayama
ee0366cfb4 fix: constant attribute searching bugs 2023-03-11 14:21:15 +09:00
Shunsuke Shibayama
a998ec1b7b fix: warnings 2023-03-10 19:25:11 +09:00
Shunsuke Shibayama
814748a6be fix: constraints instantiation bug 2023-03-08 11:06:08 +09:00
Shunsuke Shibayama
77e3f498ef fix: file name collision problem of Input 2023-03-05 20:02:36 +09:00