426 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	a2aa38ac25	Update version (nightly)	2022-10-12 23:53:20 +09:00
Shunsuke Shibayama	14d1eefed2	Add Context::init_builtin_consts	2022-10-12 23:52:15 +09:00
Shunsuke Shibayama	bfcdee8134	Update version (nightly)	2022-10-12 23:36:52 +09:00
Shunsuke Shibayama	e8a0038a31	Update instantiate.rs	2022-10-12 23:32:59 +09:00
Shunsuke Shibayama	5af40aafc9	Fix Array.concat	2022-10-12 23:30:11 +09:00
Shunsuke Shibayama	67c7153f1a	Add Writable!	2022-10-12 21:19:31 +09:00
Shunsuke Shibayama	313862d82c	Add glob, re	2022-10-12 21:10:00 +09:00
Shunsuke Shibayama	08e501f103	Fix sub_unify with class&trait	2022-10-12 18:32:24 +09:00
Shunsuke Shibayama	57da071ba8	Fixed a bug with nested dict	2022-10-12 18:00:25 +09:00
Shunsuke Shibayama	ac841216e3	Stricter type checking for Array access	2022-10-12 16:42:40 +09:00
Shunsuke Shibayama	378dc1e6fc	Delete ArrayType, etc.	2022-10-12 16:14:06 +09:00
Shunsuke Shibayama	e647c9545f	Merge branch 'main' into dict	2022-10-12 13:20:05 +09:00
Shunsuke Shibayama	b6753b1d66	Impl FloorDiv for Int, Nat	2022-10-12 10:59:45 +09:00
Shunsuke Shibayama	f07878af48	Update inquire.rs	2022-10-12 10:41:54 +09:00
GreasySlug	81e88b4809	Clean: I fixed the order from Div to FloorDiv	2022-10-12 07:59:26 +09:00
GreasySlug	e453649898	Add: BINARY_FLOOR_DIVIDE	2022-10-12 07:47:41 +09:00
Shunsuke Shibayama	fcb13f5239	Add FloorDiv trait definition	2022-10-12 02:41:43 +09:00
Shunsuke Shibayama	6c4e1dca35	Downgrade erg_type from crate to module ... This is to allow `ConstSubr` to have a `Context`	2022-10-12 02:28:25 +09:00
Shunsuke Shibayama	9c3acc8e19	Implement ProjMethod	2022-10-11 16:08:49 +09:00
GreasySlug	d9d78c5ec3	Fix: use filter_map instead of map() and unwrap()	2022-10-11 15:06:15 +09:00
GreasySlug	33a33d7577	Add: builtin floordiv for float and ratio	2022-10-11 15:06:15 +09:00
GreasySlug	ea61870a33	Add: register floordiv	2022-10-11 15:06:15 +09:00
GreasySlug	900a5bb38e	Add: floordiv	2022-10-11 15:06:15 +09:00
Shunsuke Shibayama	decb0fd077	Implement Dict	2022-10-10 19:29:11 +09:00
Shunsuke Shibayama	56779ab06e	WIP	2022-10-10 18:39:17 +09:00
Shunsuke Shibayama	c784ba261e	Merge branch 'main' into dict	2022-10-10 13:57:08 +09:00
Shunsuke Shibayama	ff1ead75ff	Implement Range	2022-10-10 13:51:07 +09:00
Shunsuke Shibayama	627f64e081	Fix: handling of literal parsing failures	2022-10-10 11:51:26 +09:00
Shunsuke Shibayama	701c1f2e40	Update _erg_std_prelude.py	2022-10-10 00:18:04 +09:00
Shunsuke Shibayama	e02def52ab	Implement Array/SetWithLength	2022-10-10 00:05:55 +09:00
Shunsuke Shibayama	87bfe836ec	Fix: recognize [Nat; 3] and others as types.	2022-10-09 23:40:37 +09:00
Shunsuke Shibayama	ea4c4d87b4	Update mod.rs	2022-10-09 21:47:56 +09:00
Shunsuke Shibayama	5c0b149d0a	Update mod.rs	2022-10-09 21:40:18 +09:00
Shunsuke Shibayama	aa7ae368dc	Fix assert casting	2022-10-09 20:29:30 +09:00
Shunsuke Shibayama	f94ab31256	Update documentation option	2022-10-09 20:07:36 +09:00
Shunsuke Shibayama	cb2e04600f	Update version (nightly)	2022-10-09 20:03:39 +09:00
Shunsuke Shibayama	22167c8aa1	Update register.rs	2022-10-09 20:02:30 +09:00
Shunsuke Shibayama	befe2cf835	WIP	2022-10-09 18:07:52 +09:00
Shunsuke Shibayama	b997c685dd	Add std	2022-10-09 17:56:17 +09:00
Shunsuke Shibayama	5d99aba66b	Merge pull request #197 from GreasySlug/main ... Several useful features added	2022-10-09 11:17:43 +09:00
Shunsuke Shibayama	e74c9fa707	Fix an inferring bug	2022-10-09 10:41:03 +09:00
GreasySlug	81435d2fcf	Update: use package table	2022-10-09 09:45:13 +09:00
Shunsuke Shibayama	0ac63d8362	Merge branch 'main' into assert-casting	2022-10-09 09:37:45 +09:00
Shunsuke Shibayama	1cafedef81	Update version (v0.5.8)	2022-10-09 00:50:06 +09:00
Shunsuke Shibayama	de1180387c	Implement assert casting	2022-10-09 00:14:50 +09:00
Shunsuke Shibayama	2bc861cbde	More names to put out with get_similar_name	2022-10-08 22:21:53 +09:00
Shunsuke Shibayama	3237212aa0	WIP	2022-10-08 13:32:26 +09:00
Shunsuke Shibayama	ea75a3d5df	Update SubstContext	2022-10-08 11:07:01 +09:00
Shunsuke Shibayama	11164c3634	Update mod.rs	2022-10-08 10:39:03 +09:00
Shunsuke Shibayama	b8b6acdf3a	Rename: Type::Class -> Type::ClassType	2022-10-08 10:38:46 +09:00