78 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	d4b6e6000e	Update version (v0.5.5)	2022-09-30 01:22:43 +09:00
Shunsuke Shibayama	cd168ef131	Impl with!	2022-09-29 23:56:02 +09:00
Shunsuke Shibayama	23a6f630c9	Fix import to be called from anywhere	2022-09-29 11:48:38 +09:00
Shunsuke Shibayama	8a9b38d083	Update version (nightly)	2022-09-27 23:19:45 +09:00
Shunsuke Shibayama	1c7ec91a02	Update version (nightly)	2022-09-27 10:04:14 +09:00
Shunsuke Shibayama	f983db1506	Update version (nightly)	2022-09-27 09:43:57 +09:00
Shunsuke Shibayama	733e758398	Update version (v0.5.4)	2022-09-26 21:51:15 +09:00
Shunsuke Shibayama	a837022404	Update version (nightly)	2022-09-26 00:31:34 +09:00
Shunsuke Shibayama	7fad8d9eee	Update version (nightly)	2022-09-25 21:43:48 +09:00
Shunsuke Shibayama	d11b05ecff	Fix inferring bugs	2022-09-25 21:32:49 +09:00
Shunsuke Shibayama	93388ddf80	Fix inferring bugs	2022-09-25 21:05:12 +09:00
Shunsuke Shibayama	f6e1a7b117	Remove unwraps	2022-09-24 19:15:55 +09:00
Shunsuke Shibayama	7b820f34ad	Update version (v0.5.3)	2022-09-24 15:43:07 +09:00
Shunsuke Shibayama	50524e4d0b	Update version (v0.5.2)	2022-09-24 03:30:10 +09:00
Shunsuke Shibayama	a79f0652ab	Update version (v0.5.1)	2022-09-23 00:23:38 +09:00
Shunsuke Shibayama	b56236a3b5	Update version (v0.5.0)	2022-09-22 14:54:25 +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	f815a7df7b	Update lib.rs	2022-09-21 23:24:02 +09:00
Shunsuke Shibayama	8c50c6b423	Fix some visibility bugs	2022-09-21 21:28:37 +09:00
Shunsuke Shibayama	9b0d66a63a	Add "check" mode ... Input::File(String) -> Input::file(PathBuf)	2022-09-21 14:01:20 +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	54fa23caab	Update version (v0.5.0-beta.0)	2022-09-19 00:59:50 +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	19428a417f	Update version (v0.4.7)	2022-09-15 19:20:53 +09:00
Shunsuke Shibayama	bc67677ad6	Add Trait, Subsume	2022-09-15 11:37:12 +09:00
Shunsuke Shibayama	6593bf9e2e	Readable refinement types	2022-09-14 20:20:56 +09:00
Shunsuke Shibayama	581d2c84aa	Update version (v0.4.6)	2022-09-14 16:23:29 +09:00
Shunsuke Shibayama	651ffc8e7c	Update version (v0.4.5)	2022-09-14 12:47:37 +09:00
Shunsuke Shibayama	aece619e69	Update version (v0.4.3)	2022-09-14 12:16:49 +09:00
Shunsuke Shibayama	fe1b0fab70	Add AtomicStr	2022-09-14 12:11:06 +09:00
Shunsuke Shibayama	fb36c0d633	Update version (v0.4.2)	2022-09-14 11:21:54 +09:00
Shunsuke Shibayama	bc6eb37e39	Improve: show candidates for unification of projection-types	2022-09-13 15:34:27 +09:00
Shunsuke Shibayama	87a7a3afdf	WIP: Fix unifying algorithm ... Delete `unify` (only use `sub_unify`)	2022-09-13 12:55:16 +09:00
Shunsuke Shibayama	605c2fc07e	WIP: Fix type inferring bugs	2022-09-13 02:38:14 +09:00
Shunsuke Shibayama	fad62f6fa3	Update value.rs	2022-09-11 23:02:58 +09:00
Shunsuke Shibayama	64d57641c9	Update version (v0.4.1)	2022-09-11 10:31:33 +09:00
Shunsuke Shibayama	970b88f00e	Update version (v0.4.0)	2022-09-11 01:13:58 +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	c5f2d816af	Impl const accessing attributes	2022-09-10 16:32:03 +09:00
Shunsuke Shibayama	892ab6df2f	Implement inheritance check	2022-09-09 15:34:34 +09:00
Shunsuke Shibayama	87b55c6c81	Update version (v0.4.0-beta.1)	2022-09-09 14:21:48 +09:00
Shunsuke Shibayama	e6f97dfa77	Update version (v0.4.0-beta.0)	2022-09-08 14:06:14 +09:00
Shunsuke Shibayama	60b7cce52e	Fix bugs related to Ref/RefMut	2022-09-08 13:47:49 +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