Commit graph

102 commits

Author SHA1 Message Date
Shunsuke Shibayama
14d1eefed2 Add Context::init_builtin_consts 2022-10-12 23:52:15 +09:00
Shunsuke Shibayama
5af40aafc9 Fix Array.concat 2022-10-12 23:30:11 +09:00
Shunsuke Shibayama
67c7153f1a Add Writable! 2022-10-12 21:19:31 +09:00
Shunsuke Shibayama
313862d82c Add glob, re 2022-10-12 21:10:00 +09:00
Shunsuke Shibayama
ac841216e3 Stricter type checking for Array access 2022-10-12 16:42:40 +09:00
Shunsuke Shibayama
378dc1e6fc Delete ArrayType, etc. 2022-10-12 16:14:06 +09:00
Shunsuke Shibayama
e647c9545f Merge branch 'main' into dict 2022-10-12 13:20:05 +09:00
Shunsuke Shibayama
b6753b1d66 Impl FloorDiv for Int, Nat 2022-10-12 10:59:45 +09:00
GreasySlug
81e88b4809 Clean: I fixed the order from Div to FloorDiv 2022-10-12 07:59:26 +09:00
Shunsuke Shibayama
fcb13f5239 Add FloorDiv trait definition 2022-10-12 02:41:43 +09:00
Shunsuke Shibayama
6c4e1dca35 Downgrade erg_type from crate to module
This is to allow `ConstSubr` to have a `Context`
2022-10-12 02:28:25 +09:00
Shunsuke Shibayama
9c3acc8e19 Implement ProjMethod 2022-10-11 16:08:49 +09:00
GreasySlug
33a33d7577 Add: builtin floordiv for float and ratio 2022-10-11 15:06:15 +09:00
GreasySlug
ea61870a33 Add: register floordiv 2022-10-11 15:06:15 +09:00
Shunsuke Shibayama
decb0fd077 Implement Dict 2022-10-10 19:29:11 +09:00
Shunsuke Shibayama
56779ab06e WIP 2022-10-10 18:39:17 +09:00
Shunsuke Shibayama
ff1ead75ff Implement Range 2022-10-10 13:51:07 +09:00
Shunsuke Shibayama
87bfe836ec Fix: recognize [Nat; 3] and others as types. 2022-10-09 23:40:37 +09:00
Shunsuke Shibayama
ea4c4d87b4 Update mod.rs 2022-10-09 21:47:56 +09:00
Shunsuke Shibayama
5c0b149d0a Update mod.rs 2022-10-09 21:40:18 +09:00
Shunsuke Shibayama
befe2cf835 WIP 2022-10-09 18:07:52 +09:00
Shunsuke Shibayama
e74c9fa707 Fix an inferring bug 2022-10-09 10:41:03 +09:00
Shunsuke Shibayama
de1180387c Implement assert casting 2022-10-09 00:14:50 +09:00
Shunsuke Shibayama
b8b6acdf3a Rename: Type::Class -> Type::ClassType 2022-10-08 10:38:46 +09:00
Shunsuke Shibayama
420841cf4f Update mod.rs 2022-10-07 21:55:29 +09:00
Shunsuke Shibayama
4968076541 bug fixes 2022-10-07 20:15:53 +09:00
Shunsuke Shibayama
51d55dc2ff Fix: trait existence checking bug 2022-10-07 19:30:12 +09:00
Shunsuke Shibayama
8d50e65400 Merge branch 'feature/implement-set' of https://github.com/GreasySlug/erg into pr/191 2022-10-07 18:26:24 +09:00
GreasySlug
ecb7ffb7f1 Clean: add and change to block comment 2022-10-07 16:53:48 +09:00
Shunsuke Shibayama
4fd5f30037 WIP 2022-10-07 16:47:33 +09:00
Shunsuke Shibayama
2cf4b5aba8 Add SetTypeSpec 2022-10-07 10:59:58 +09:00
GreasySlug
86203cc242 Add: comments 2022-10-06 20:41:15 +09:00
GreasySlug
129f67b925 Add: builtin Set and Set_mut 2022-10-06 20:40:54 +09:00
Shunsuke Shibayama
e89bb869bf Raise the priority of traits in method search 2022-10-06 09:16:14 +09:00
Shunsuke Shibayama
59f6046916 Fix method type inference for type variables 2022-10-06 00:27:43 +09:00
Shunsuke Shibayama
6ea4dae122 Impl Show for some builtin types 2022-10-05 21:12:35 +09:00
Shunsuke Shibayama
29763062af Add ParamTy::KwWithDefault 2022-10-05 00:17:26 +09:00
Shunsuke Shibayama
a3f71120ae Fix type inferring bugs 2022-10-04 12:53:05 +09:00
Shunsuke Shibayama
2f33c9b15d Add Del 2022-10-03 21:44:59 +09:00
Shunsuke Shibayama
6fb4ab2dcb Delete useless superclass declaration operations 2022-10-03 20:31:56 +09:00
Shunsuke Shibayama
e55ab8c027 Add Show trait 2022-10-03 01:02:49 +09:00
Shunsuke Shibayama
60bc94058a Changed type of tmp_tv_ctx from &mut to & 2022-10-02 20:12:25 +09:00
Shunsuke Shibayama
05c434781b Fix a type instantiating bug 2022-10-02 11:37:01 +09:00
Shunsuke Shibayama
f33db307b6 Add urllib, Bytes 2022-10-01 13:42:34 +09:00
Shunsuke Shibayama
d040bb80f2 Fix algebraic types inferring bugs 2022-10-01 00:11:32 +09:00
Shunsuke Shibayama
62ba267b33 Add exit, panic 2022-09-30 19:14:45 +09:00
Shunsuke Shibayama
99ced41c87 Fix Readable type 2022-09-30 14:31:39 +09:00
Shunsuke Shibayama
9dd2da9628 Fix .read type 2022-09-30 14:09:38 +09:00
Shunsuke Shibayama
96c5527134 Improve: inferring the overall type from the method 2022-09-30 01:22:22 +09:00
Shunsuke Shibayama
cd168ef131 Impl with! 2022-09-29 23:56:02 +09:00