29 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	0fb996f289	feat: add Copy trait	2024-03-03 16:22:14 +09:00
Shunsuke Shibayama	e5c8f177ba	feat: add HasScalarType	2024-02-09 18:37:33 +09:00
Shunsuke Shibayama	b7d9598d28	feat: add IrregularEq	2024-02-09 02:43:51 +09:00
Shunsuke Shibayama	58514c5890	chore: add Subroutine & GenericCallable is now a trait	2024-02-07 13:23:09 +09:00
Shunsuke Shibayama	d1fa616aea	feat: eval const call/lambda in refinement types ... rename: `Shape` -> `HasShape`	2024-01-29 18:10:26 +09:00
Shunsuke Shibayama	6de8355a25	refactor: std -> core	2024-01-04 17:26:26 +09:00
Shunsuke Shibayama	4407999c19	feat: add SubrType::kw_var_params	2023-11-12 12:22:48 +09:00
Shunsuke Shibayama	a97b89c056	fix!: rename to_str -> __str__	2023-09-13 16:48:20 +09:00
Shunsuke Shibayama	7729b73809	fix: dict iterators bug	2023-09-06 00:56:07 +09:00
Shunsuke Shibayama	f2ad45878a	feat: add Hash trait	2023-08-20 17:33:42 +09:00
Shunsuke Shibayama	2e9fb48f2e	fix: in operator ... * remove `In` trait, `__in__`, `__notin__` function * desugar to `__contains__` * impl Collection for Array, Set, Tuple	2023-08-13 01:01:06 +09:00
Shunsuke Shibayama	4f93c393c0	fix: trait registering bugs	2023-08-12 23:31:44 +09:00
Shunsuke Shibayama	1ea2c74aaa	chore: add TyParam::proj_call	2023-07-30 13:05:39 +09:00
Shunsuke Shibayama	664f265716	WIP	2023-07-28 00:27:04 +09:00
Shunsuke Shibayama	9308a910ca	fix: #442	2023-07-24 09:32:31 +09:00
Shunsuke Shibayama	30eac6dbcf	feat: add tempfile module	2023-05-25 14:20:22 +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	752640eb02	fix: Context::register_marker_trait	2023-05-04 13:35:40 +09:00
Shunsuke Shibayama	730886021e	feat: add special namespaces module/global	2023-05-03 14:32:09 +09:00
Shunsuke Shibayama	1cdbef671e	fix: py-compat mode bugs	2023-04-29 23:41:56 +09:00
Shunsuke Shibayama	1df51cb12c	feat: add IO! trait	2023-04-29 22:39:12 +09:00
Shunsuke Shibayama	3f66981c5c	refactor: py_compatible -> py_compat	2023-03-30 00:43:30 +09:00
Shunsuke Shibayama	0d8e574414	fix: add a field meta_t to TypeObj::Builtin	2023-03-13 13:07:35 +09:00
Shunsuke Shibayama	d92f5284c8	feat: add restricted visibility syntax	2023-03-05 02:19:18 +09:00
Shunsuke Shibayama	8c8eff76a6	feat: add ContextManager	2023-03-03 16:06:03 +09:00
Shunsuke Shibayama	3d310714f1	feat: support var-args lambda function	2023-03-03 16:01:20 +09:00
Shunsuke Shibayama	f604338d99	feat: add Pos/Neg trait	2023-02-24 15:38:04 +09:00
Shunsuke Shibayama	a127564b31	Rename dir: compiler -> crates	2023-01-15 12:03:19 +09:00

Renamed from compiler/erg_compiler/context/initialize/traits.rs (Browse further)