Commit graph

44 commits

Author SHA1 Message Date
Shunsuke Shibayama
f612340e80 fix: range type definition bug 2024-02-26 01:35:41 +09:00
Shunsuke Shibayama
14bf431c57 chore: resolve decl package path 2024-02-10 13:01:42 +09:00
Shunsuke Shibayama
e5c8f177ba feat: add HasScalarType 2024-02-09 18:37:33 +09:00
Shunsuke Shibayama
66352ddd3a feat: add const Array::{insert, remove_at, remove_all} 2024-02-09 12:47:17 +09:00
Shunsuke Shibayama
b58a542f8e feat: add const Str::{isalpha, isascii, isdecimal} 2024-01-31 00:47:28 +09:00
Shunsuke Shibayama
bedf3e2f4b fix: const Dict::{keys, values, items} 2024-01-30 15:01:19 +09:00
Shunsuke Shibayama
d6e6914662 feat: add const Str::{endswith, find, join, startswith} 2024-01-30 12:37:07 +09:00
Shunsuke Shibayama
276583d8ef feat: add const reversed/sum/Str::replace 2024-01-30 11:01:45 +09:00
Shunsuke Shibayama
d748333a0f feat: add const filter/max/min/not/str/zip 2024-01-29 20:54:30 +09:00
Shunsuke Shibayama
d59a4e82d3 feat: const abs/all/any/len/map 2024-01-29 13:29:39 +09:00
Shunsuke Shibayama
06a4a6e5fc feat: add Predicate::General{Less, Greater, Not}Equal 2024-01-28 20:24:14 +09:00
Shunsuke Shibayama
4393649ffc feat: add Predicate::{Call, GeneralEqual} 2024-01-28 18:33:00 +09:00
Shunsuke Shibayama
ab659ccb35 feat: import external packages 2024-01-22 11:43:38 +09:00
Shunsuke Shibayama
edfabd97e7 refactor: fix warns 2023-12-29 12:30:41 +09:00
Shunsuke Shibayama
a2d1809cee fix: cyclic reference modules bugs 2023-12-28 14:59:14 +09:00
Shunsuke Shibayama
4f02d6ce2d fix: dict type inference bug 2023-12-12 13:28:35 +09:00
Shunsuke Shibayama
01ffde469a feat: Dict.as_record 2023-10-25 19:46:32 +09:00
Shunsuke Shibayama
0a24c0cb77 fix: dict update! bug 2023-10-14 21:38:12 +09:00
Shunsuke Shibayama
a8c1113df7 fix: minor bugs 2023-10-14 19:39:07 +09:00
Shunsuke Shibayama
13a346e488 feat: add Dict.concat/diff, Dict!.merge!/remove! 2023-10-05 00:57:08 +09:00
Shunsuke Shibayama
9db9348dc5 feat: support decorator 2023-09-16 16:29:14 +09:00
Shunsuke Shibayama
7729b73809 fix: dict iterators bug 2023-09-06 00:56:07 +09:00
Shunsuke Shibayama
f3b188e095 feat: support recursive class definition 2023-08-25 21:02:47 +09:00
Shunsuke Shibayama
3724a74649 fix: undo leak bug & sub-unification bugs 2023-08-22 21:45:25 +09:00
Shunsuke Shibayama
a0ce142f7b chore: add record examples 2023-08-20 10:58:33 +09:00
Shunsuke Shibayama
5e71bd7fd0 feat: add Record.as_dict() 2023-08-20 02:02:53 +09:00
Shunsuke Shibayama
9454896d5a WIP 2023-08-17 16:43:26 +09:00
Shunsuke Shibayama
df7dbcda4b chore: let const funcs return TyParam instead of ValueObj 2023-07-30 15:02:32 +09:00
Shunsuke Shibayama
1ea2c74aaa chore: add TyParam::proj_call 2023-07-30 13:05:39 +09:00
Shunsuke Shibayama
0152e368ab feat: support Array, Str, Bytes slice 2023-07-15 12:29:07 +09:00
Shunsuke Shibayama
95af482e22 fix: path resolution bug & subtyping bug 2023-06-05 13:07:06 +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
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
325d237f09 feat: add Dict.items/copy 2023-04-20 10:44:57 +09:00
Shunsuke Shibayama
e0d8306b3e feat: add Dict.keys/values/get 2023-04-20 02:19:31 +09:00
Shunsuke Shibayama
0329b1a2e3 chore: add Dereferencer 2023-04-01 18:08:15 +09:00
Shunsuke Shibayama
0d8e574414 fix: add a field meta_t to TypeObj::Builtin 2023-03-13 13:07:35 +09:00
Shunsuke Shibayama
5c6ea316f5 chore: remove unnecessary params 2023-03-03 10:01:05 +09:00
Shunsuke Shibayama
c9dda183ab feat: implement Structural types 2023-02-23 01:37:54 +09:00
Shunsuke Shibayama
4dcca2b06d fix(typechecker): type generalization & dereference bugs
* `Context::subtype_of` now has `allow_cast` param. If this is `false`, cast-aware comparisons are not performed.
2023-02-21 17:04:52 +09:00
Shunsuke Shibayama
44781cb030 Fix warns 2023-01-27 11:23:42 +09:00
Shunsuke Shibayama
a127564b31 Rename dir: compiler -> crates 2023-01-15 12:03:19 +09:00
Renamed from compiler/erg_compiler/context/initialize/const_func.rs (Browse further)