Commit graph

1530 commits

Author SHA1 Message Date
Shunsuke Shibayama
4622a0b6be Update eval.rs 2024-08-24 13:46:54 +09:00
Shunsuke Shibayama
a7f9a4ecb7 fix: import resolution bug 2024-08-24 09:40:14 +09:00
Shunsuke Shibayama
7a960f2cbb chore: add Predicate::{map_t, map_tp} 2024-08-23 14:53:40 +09:00
Shunsuke Shibayama
837414929c fix: sub-unification bug 2024-08-23 12:10:10 +09:00
Shunsuke Shibayama
7f16461767 WIP 2024-08-23 00:17:18 +09:00
Shunsuke Shibayama
c5279d71fb build: update version (v0.6.42) 2024-08-22 21:44:30 +09:00
Shunsuke Shibayama
6ca396cec7 fix: infinite recursion of type variables 2024-08-22 21:27:28 +09:00
Shunsuke Shibayama
5814943fd5 Merge branch 'fix_inf_rec' 2024-08-22 14:45:44 +09:00
Shunsuke Shibayama
82551ad537 feat: impl some traits for frozenset 2024-08-22 14:31:39 +09:00
Shunsuke Shibayama
a3879ba174 WIP 2024-08-22 13:27:18 +09:00
Shunsuke Shibayama
6a45f25228 Update unify.rs 2024-08-22 00:53:15 +09:00
Shunsuke Shibayama
0868e5fb23 feat: error-tolerant lowering 2024-08-22 00:43:56 +09:00
Shunsuke Shibayama
fc976d38c5 Update error.rs 2024-08-21 11:40:37 +09:00
Shunsuke Shibayama
bc50ceeb6a fix: method subtyping 2024-08-21 11:28:17 +09:00
Shunsuke Shibayama
af360a52cc fix: constructor typing 2024-08-20 22:26:02 +09:00
Shunsuke Shibayama
78bca49755 build: update version (nightly.5) 2024-08-20 02:14:23 +09:00
Shunsuke Shibayama
a97ef9b8a6 Update typing.d.er 2024-08-20 01:54:35 +09:00
Shunsuke Shibayama
abd0201277 build: update version (nightly.4) 2024-08-20 01:26:12 +09:00
Shunsuke Shibayama
d433bcbcce feat: args expansion 2024-08-20 01:20:42 +09:00
Shunsuke Shibayama
33b0212002 feat: set type variable 2024-08-19 22:45:15 +09:00
Shunsuke Shibayama
8eb8cd7c4a chore: union method type 2024-08-19 12:30:23 +09:00
Shunsuke Shibayama
8c65bff3f9 build: update version (nightly.3) 2024-08-18 13:20:11 +09:00
Shunsuke Shibayama
4da45eb842 chore: error report delay with variable defs 2024-08-18 13:18:20 +09:00
Shunsuke Shibayama
9682c0ddaf Update classes.rs 2024-08-17 10:41:46 +09:00
Shunsuke Shibayama
06ec103b2e feat: glob import (WIP) 2024-08-17 10:25:17 +09:00
Shunsuke Shibayama
b5d68e5f1c build: update version (nightly.2) 2024-08-16 15:04:38 +09:00
Shunsuke Shibayama
e1ffa2d739 fix: borrow error 2024-08-16 15:00:12 +09:00
Shunsuke Shibayama
2ff3194d69 feat: const classof func 2024-08-15 11:15:22 +09:00
Shunsuke Shibayama
0a040f1afd feat: add typing APIs 2024-08-13 17:35:09 +09:00
Shunsuke Shibayama
b75325dbdb Update classes.rs 2024-08-13 13:28:38 +09:00
Shunsuke Shibayama
b21d018adf fix: __call__ overload bug 2024-08-13 13:02:14 +09:00
Shunsuke Shibayama
b87f3da3c6 build: update version (nightly.1) 2024-08-13 08:43:05 +09:00
Shunsuke Shibayama
0f6546df78 fix: location calculation bug 2024-08-11 20:54:15 +09:00
Shunsuke Shibayama
1523515204 fix: type coercion bug 2024-08-11 17:37:11 +09:00
Shunsuke Shibayama
79b1c1394d feat: add ReDef.t_spec 2024-08-11 14:18:15 +09:00
Shunsuke Shibayama
cd9973e800 fix: infinite recursion bug 2024-08-11 14:17:04 +09:00
Shunsuke Shibayama
50cfc43081 build: update version (nightly.0) 2024-08-10 20:01:47 +09:00
Shunsuke Shibayama
cb2089135f Update lower.rs 2024-08-10 19:59:22 +09:00
Shunsuke Shibayama
5161fae713 Update unicodedata.d.er 2024-08-10 18:54:18 +09:00
Shunsuke Shibayama
ea8f1ea91f feat: add Bytes methods 2024-08-10 18:40:46 +09:00
Shunsuke Shibayama
11cb46f4a4 Update python_util.rs 2024-08-10 14:35:57 +09:00
Shunsuke Shibayama
0875c7e5c9 fix: structural type check 2024-08-09 13:38:04 +09:00
Shunsuke Shibayama
f337aefdda Update python_util.rs 2024-08-09 12:23:58 +09:00
Shunsuke Shibayama
dcbd328b78 feat: add List.index 2024-08-08 19:59:09 +09:00
Shunsuke Shibayama
5db5f8bd85 build: update version (v0.6.41) 2024-08-08 14:43:37 +09:00
Shunsuke Shibayama
fef6711218 fix: default param type mismatch errors don't report 2024-08-08 14:39:40 +09:00
Shunsuke Shibayama
a302235c54 chore: fix clippy warns 2024-08-06 19:03:32 +09:00
Shunsuke Shibayama
9e0327a814 fix: inherited class constructor 2024-07-24 16:10:52 +09:00
Shunsuke Shibayama
380511a65b build: update version (v0.6.40) 2024-07-24 14:35:18 +09:00
Shunsuke Shibayama
ceb6121a67 fix: inherited class constructor 2024-07-24 14:33:03 +09:00