58 commits

Author	SHA1	Message	Date
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
Shunsuke Shibayama	db84321ff8	Add type definitions for open! and with!	2022-09-29 21:50:28 +09:00
Shunsuke Shibayama	23a6f630c9	Fix import to be called from anywhere	2022-09-29 11:48:38 +09:00
Shunsuke Shibayama	348a37a746	Fix to continue compilation even if module compilation fails	2022-09-27 23:18:15 +09:00
Shunsuke Shibayama	5aae4a69a5	Split cache between Python and Erg modules	2022-09-26 14:03:06 +09:00
Shunsuke Shibayama	f6e1a7b117	Remove unwraps	2022-09-24 19:15:55 +09:00
Shunsuke Shibayama	c6de914f3f	Fix #177	2022-09-23 12:02:53 +09:00
Shunsuke Shibayama	9a4a702ebe	Fixed to allow types to be uniquely determined between modules	2022-09-22 13:23:43 +09:00
Shunsuke Shibayama	6f3f00a369	Fixed to register <builtins> to mod_cache	2022-09-22 10:37:39 +09:00
Shunsuke Shibayama	201b313cd2	Add builder & linker	2022-09-21 01:21:17 +09:00
Shunsuke Shibayama	671fbee518	merge from trait	2022-09-21 01:17:11 +09:00
Shunsuke Shibayama	f12c2ba723	Add SharedModuleCache ... Rename: RcCell -> Shared	2022-09-20 11:51:18 +09:00
Shunsuke Shibayama	a9d4e5982b	Merge branch 'main' into beta	2022-09-19 10:45:09 +09:00
Shunsuke Shibayama	d62e86d238	Update mod.rs	2022-09-19 00:55:54 +09:00
Shunsuke Shibayama	45df0849fb	Rename types ... `Function` -> `Func` `Procedure` -> `Proc`	2022-09-18 17:57:47 +09:00
Shunsuke Shibayama	abb6bcd320	WIP: trait implementation	2022-09-17 20:39:13 +09:00
Shunsuke Shibayama	3b7eebe041	WIP: Implement explicit type variable declarations	2022-09-17 17:25:07 +09:00
Shunsuke Shibayama	aa527dcbc8	WIP: impl Trait	2022-09-17 01:42:49 +09:00
Shunsuke Shibayama	346d00fcd8	Impl UserConstSubr	2022-09-16 23:33:10 +09:00
Shunsuke Shibayama	8f47e1e2dc	Merge branch 'main' into trait	2022-09-16 10:56:31 +09:00
Shunsuke Shibayama	ba13cf25c8	Fix comparison operators types	2022-09-16 00:35:36 +09:00
Shunsuke Shibayama	4615c774f0	Fix __pow__, __mod__ types	2022-09-16 00:15:13 +09:00
Shunsuke Shibayama	bc67677ad6	Add Trait, Subsume	2022-09-15 11:37:12 +09:00
Shunsuke Shibayama	615d7937d9	Readable error messages	2022-09-14 21:46:12 +09:00
Shunsuke Shibayama	bc6eb37e39	Improve: show candidates for unification of projection-types	2022-09-13 15:34:27 +09:00
Shunsuke Shibayama	f8c2e4226e	Fix Array!.map! type	2022-09-13 12:54:18 +09:00
Shunsuke Shibayama	605c2fc07e	WIP: Fix type inferring bugs	2022-09-13 02:38:14 +09:00
Shunsuke Shibayama	2606638253	Update built-in types definitions	2022-09-12 15:50:53 +09:00
Shunsuke Shibayama	c6b8d6a6df	Add ClassDefType	2022-09-12 13:09:54 +09:00
Shunsuke Shibayama	1947f7518a	Follow the latest changes and correct warnings	2022-09-10 21:33:13 +09:00
Yuna Tomida	d956c3f61d	Follow clippy warnings	2022-09-10 17:32:25 +09:00
Shunsuke Shibayama	048e281268	Refactor: method_defs -> methods_list	2022-09-10 17:17:51 +09:00
Shunsuke Shibayama	892ab6df2f	Implement inheritance check	2022-09-09 15:34:34 +09:00
Shunsuke Shibayama	60b7cce52e	Fix bugs related to Ref/RefMut	2022-09-08 13:47:49 +09:00
Shunsuke Shibayama	e3e8a7e63c	Impl Override feature	2022-09-08 09:53:32 +09:00
Shunsuke Shibayama	5029d71cbe	Impl: auto generating of new	2022-09-07 14:48:02 +09:00
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