73 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	81bea3bcee	Remove AtomicStr	2022-11-20 01:42:55 +09:00
Shunsuke Shibayama	d8e2ece224	impl Display for ComileErrors	2022-11-17 20:48:42 +09:00
Shunsuke Shibayama	fe0153d98a	Add Obj! type definition	2022-11-15 18:48:55 +09:00
GreasySlug	b2c75b1c38	Clean: StringSpan to StyledString	2022-11-14 07:49:34 +09:00
GreasySlug	35841d0647	Clean: add doc comments	2022-11-12 18:08:43 +09:00
GreasySlug	a16d46423f	Update: use Span and const Theme in style.rs	2022-11-12 18:03:10 +09:00
GreasySlug	e29eb0b6ed	Change: color.rs to style.rs	2022-11-12 14:17:29 +09:00
Shunsuke Shibayama	a9f65d73c1	Remove linter warnings	2022-11-05 03:17:05 +09:00
Shunsuke Shibayama	61037c998c	print the number if the argument type is wrong	2022-10-28 00:23:47 +09:00
Shunsuke Shibayama	dcd4163c0f	Update error.rs	2022-10-24 12:53:31 +09:00
Shunsuke Shibayama	87170f9bb3	Implement module compatibility checking	2022-10-19 17:21:37 +09:00
Cai Bingjun	198117413f	trifle	2022-10-14 21:01:52 +08:00
Shunsuke Shibayama	40247a0891	Merge pull request #208 from C-BJ/main ... compiler: Improve error messages	2022-10-14 14:47:43 +09:00
Shunsuke Shibayama	0db5e85cc8	Update error.rs	2022-10-14 14:42:31 +09:00
Shunsuke Shibayama	1b16f80b76	Update error.rs	2022-10-14 01:03:23 +09:00
Cai Bingjun	856052ddb9	compiler: Improve error messages	2022-10-13 20:39:39 +08:00
Shunsuke Shibayama	e647c9545f	Merge branch 'main' into dict	2022-10-12 13:20:05 +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
GreasySlug	900a5bb38e	Add: floordiv	2022-10-11 15:06:15 +09:00
Shunsuke Shibayama	627f64e081	Fix: handling of literal parsing failures	2022-10-10 11:51:26 +09:00
Shunsuke Shibayama	aa7ae368dc	Fix assert casting	2022-10-09 20:29:30 +09:00
Shunsuke Shibayama	4d7181f2f0	Add trait implementation check	2022-10-05 02:10:27 +09:00
Shunsuke Shibayama	6d903d2575	Add procedure assignment check	2022-10-03 23:09:07 +09:00
Shunsuke Shibayama	2f33c9b15d	Add Del	2022-10-03 21:44:59 +09:00
Shunsuke Shibayama	4f6fbb50d0	Delete useless parameters	2022-10-03 00:46:39 +09:00
Shunsuke Shibayama	622e1fa350	Fix lowerer crash bugs	2022-09-30 15:46:27 +09:00
Shunsuke Shibayama	12664a0e1c	Update error.rs	2022-09-30 14:41:36 +09:00
Shunsuke Shibayama	348a37a746	Fix to continue compilation even if module compilation fails	2022-09-27 23:18:15 +09:00
Shunsuke Shibayama	4d6c7f7590	Add d.er syntax	2022-09-26 21:49:33 +09:00
Shunsuke Shibayama	5aae4a69a5	Split cache between Python and Erg modules	2022-09-26 14:03:06 +09:00
Shunsuke Shibayama	792c0ca3b4	impl Error for CompileError	2022-09-25 23:43:31 +09:00
Shunsuke Shibayama	6cfb0d1544	Prohibit inner scope type definition	2022-09-25 18:43:45 +09:00
Shunsuke Shibayama	f6e1a7b117	Remove unwraps	2022-09-24 19:15:55 +09:00
Shunsuke Shibayama	a5a0324883	Handle import errors	2022-09-22 22:02:59 +09:00
Shunsuke Shibayama	8ce843a8df	WIP: fix REPL	2022-09-22 15:46:09 +09:00
Shunsuke Shibayama	671fbee518	merge from trait	2022-09-21 01:17:11 +09:00
Shunsuke Shibayama	d8799f0895	Refactor ... Add `ASTBuilder`, `Checker`	2022-09-20 14:42:37 +09:00
Shunsuke Shibayama	3b7eebe041	WIP: Implement explicit type variable declarations	2022-09-17 17:25:07 +09:00
Shunsuke Shibayama	8f47e1e2dc	Merge branch 'main' into trait	2022-09-16 10:56:31 +09:00
Shunsuke Shibayama	d7ffb211a8	let errors more readable	2022-09-16 00:35:58 +09:00
Shunsuke Shibayama	12f22f8bed	Fix Context::lower_class_def	2022-09-15 11:36:34 +09:00
Shunsuke Shibayama	615d7937d9	Readable error messages	2022-09-14 21:46:12 +09:00
Shunsuke Shibayama	ad363bed6a	Fix Context::eval_t_params	2022-09-14 20:20:11 +09:00
Shunsuke Shibayama	fe1b0fab70	Add AtomicStr	2022-09-14 12:11:06 +09:00
Shunsuke Shibayama	bc6eb37e39	Improve: show candidates for unification of projection-types	2022-09-13 15:34:27 +09:00
Shunsuke Shibayama	605c2fc07e	WIP: Fix type inferring bugs	2022-09-13 02:38:14 +09:00
Shunsuke Shibayama	c0742005ee	Fix #72	2022-09-11 23:19:48 +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	d986750a66	Fix error handling bugs	2022-09-10 15:10:55 +09:00