408 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	f8e3a04336	Update hints	2022-09-16 00:20:06 +09:00
Shunsuke Shibayama	7455c4ac0f	Delete resolve_trait	2022-09-16 00:19:51 +09:00
Shunsuke Shibayama	72748b639e	Update compare.rs	2022-09-16 00:17:47 +09:00
Shunsuke Shibayama	4615c774f0	Fix __pow__, __mod__ types	2022-09-16 00:15:13 +09:00
Shunsuke Shibayama	19428a417f	Update version (v0.4.7)	2022-09-15 19:20:53 +09:00
Shunsuke Shibayama	042ea70ec6	Update tokenize_test.rs	2022-09-15 15:26:39 +09:00
Shunsuke Shibayama	1b37976701	Update test2_advanced_syntax.er	2022-09-15 15:21:01 +09:00
Shunsuke Shibayama	90149c0c9c	Update parse_test.rs	2022-09-15 15:20:50 +09:00
Shunsuke Shibayama	c84418107f	Update test1_basic_syntax.er	2022-09-15 15:09:12 +09:00
Shunsuke Shibayama	61105b9435	Update simple_if.er	2022-09-15 15:08:24 +09:00
Shunsuke Shibayama	1951865e05	Update lower.rs	2022-09-15 15:00:24 +09:00
Shunsuke Shibayama	bc67677ad6	Add Trait, Subsume	2022-09-15 11:37:12 +09:00
Shunsuke Shibayama	12f22f8bed	Fix Context::lower_class_def	2022-09-15 11:36:34 +09:00
Shunsuke Shibayama	53fac3e96d	Update eval.rs	2022-09-15 10:33:10 +09:00
GreasySlug	4304ae1325	Test: add not implemented test	2022-09-15 08:27:18 +09:00
Slug	02d43dd7af	Merge branch 'erg-lang:main' into fix/test	2022-09-15 08:25:12 +09:00
Shunsuke Shibayama	615d7937d9	Readable error messages	2022-09-14 21:46:12 +09:00
Shunsuke Shibayama	6593bf9e2e	Readable refinement types	2022-09-14 20:20:56 +09:00
Shunsuke Shibayama	ad363bed6a	Fix Context::eval_t_params	2022-09-14 20:20:11 +09:00
Shunsuke Shibayama	0262e6de69	Impl some effect checks	2022-09-14 19:49:57 +09:00
Shunsuke Shibayama	b306e05f39	Update compare.rs	2022-09-14 19:36:30 +09:00
Shunsuke Shibayama	581d2c84aa	Update version (v0.4.6)	2022-09-14 16:23:29 +09:00
Shunsuke Shibayama	988a9e2322	Add quiet-startup mode	2022-09-14 16:09:27 +09:00
Shunsuke Shibayama	1711ac3714	Add ErrorDisplay::show	2022-09-14 13:38:50 +09:00
Shunsuke Shibayama	e1be2d2b51	Merge branch 'main' of https://github.com/erg-lang/erg	2022-09-14 12:47:46 +09:00
Shunsuke Shibayama	651ffc8e7c	Update version (v0.4.5)	2022-09-14 12:47:37 +09:00
Shunsuke Shibayama	14df5ce94c	Update Runnable API types ... This change allows Erg to pass information in a thread-safe manner.	2022-09-14 12:45:04 +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	424f82cf9e	Update Parser	2022-09-14 11:17:19 +09:00
GreasySlug	d3fef97272	Test: add literal test	2022-09-14 10:58:18 +09:00
GreasySlug	14ad70ed30	Clean: file name was ambiguous so made it explicit	2022-09-14 10:58:00 +09:00
Shunsuke Shibayama	aa2aa79de9	Update parse.rs	2022-09-14 02:28:11 +09:00
Shunsuke Shibayama	8cb7dee425	Update parse.rs	2022-09-14 02:26:25 +09:00
Shunsuke Shibayama	fbb3f4892d	Update parse.rs	2022-09-14 02:23:29 +09:00
Shunsuke Shibayama	2c9765857c	Merge pull request #154 from GreasySlug/fix/invalid-block ... Repel invalid blocks with equals and whitespace in REPL	2022-09-13 20:04:10 +09:00
Shunsuke Shibayama	28ebd73c23	Update traits.rs	2022-09-13 20:01:14 +09:00
GreasySlug	58c51f620c	Test: update Mod value	2022-09-13 17:26:43 +09:00
GreasySlug	4ea00a54cd	Test: add advanced syntax tokenize test	2022-09-13 17:26:43 +09:00
GreasySlug	bb67477e0c	Test: update basic syntax tokenize test	2022-09-13 17:26:43 +09:00
Shunsuke Shibayama	870f88e14d	Merge pull request #155 from erg-lang/fix-#112 ... Fix #112	2022-09-13 15:50:56 +09:00
Shunsuke Shibayama	3d75aa60cc	Fix ownership checker bugs	2022-09-13 15:46:01 +09:00
Shunsuke Shibayama	66a6d60d4a	Update ownercheck.rs	2022-09-13 15:34:35 +09:00
Shunsuke Shibayama	bc6eb37e39	Improve: show candidates for unification of projection-types	2022-09-13 15:34:27 +09:00
Shunsuke Shibayama	e04b5bfb8b	Fix Context::eval_t_params	2022-09-13 13:13:52 +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	f8c2e4226e	Fix Array!.map! type	2022-09-13 12:54:18 +09:00
Shunsuke Shibayama	9079f15d21	Fix use-checking	2022-09-13 12:24:38 +09:00
GreasySlug	52b21ac1a0	Fix #58 ... Repel invalid blocks with equals and whitespace	2022-09-13 10:52:17 +09:00