17 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	be8c0978f0	Add ClassType object	2022-09-06 01:29:56 +09:00
Shunsuke Shibayama	d5f2b5f450	Add register_gen_* ... `register_*` renamed `register_const_*`	2022-09-05 14:24:30 +09:00
Shunsuke Shibayama	e860da2a15	WIP: impl type checker	2022-09-05 01:13:14 +09:00
Shunsuke Shibayama	cf0858ddde	Add TypeObj	2022-09-04 00:46:15 +09:00
Shunsuke Shibayama	22cb113fcd	Unify Type::Class/Trait	2022-09-03 22:22:49 +09:00
Shunsuke Shibayama	263c43d74b	WIP: Impl DataPack type checking	2022-09-03 20:58:28 +09:00
Shunsuke Shibayama	094eb499fb	Fix refinement inference bugs	2022-09-03 15:52:55 +09:00
Shunsuke Shibayama	78c0b60f3f	Fix inference bugs	2022-09-03 15:22:44 +09:00
Shunsuke Shibayama	618f73f0c0	Unify poly_classes and poly_traits of Context	2022-09-03 12:07:27 +09:00
Shunsuke Shibayama	e1eebb252f	Fix constant evaluation methods to return EvalResult	2022-09-03 11:59:18 +09:00
Shunsuke Shibayama	e2bd64ebe5	Move python module definition files	2022-09-03 01:52:23 +09:00
Shunsuke Shibayama	c4bff5d54a	Add some const funcs & Remove Evaluator	2022-09-03 01:45:00 +09:00
Shunsuke Shibayama	f71024e9d2	Fix #110	2022-09-01 19:12:26 +09:00
Shunsuke Shibayama	90f057af94	Update mod.rs	2022-09-01 17:50:30 +09:00
Yuna Tomida	afbea9d83c	add forgotten inheritances in builtin initialization	2022-09-01 15:20:20 +09:00
Shunsuke Shibayama	a8e4658c67	Add importlib, io, socket, sys, time	2022-08-31 14:19:25 +09:00
Shunsuke Shibayama	af08945798	Split initialize.rs	2022-08-31 11:53:32 +09:00