335 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	043ee544e6	Change CompleteArtifact to be able to hold non-HIR structs	2022-11-28 21:52:46 +09:00
Shunsuke Shibayama	fde5a33d54	Improve error message for referring to a variable before its definition	2022-11-28 10:38:01 +09:00
Shunsuke Shibayama	111a9f5615	Fix #247	2022-11-27 20:24:11 +09:00
Shunsuke Shibayama	54686b0c59	Fix #244	2022-11-26 11:39:18 +09:00
Shunsuke Shibayama	d26909c317	Improve type mismatch messages	2022-11-25 17:20:39 +09:00
Shunsuke Shibayama	b769f65f4d	Fix a subroutine type relation check bug	2022-11-24 22:55:50 +09:00
Shunsuke Shibayama	b6499473d1	Change built-in APIs' parameter names	2022-11-24 20:40:24 +09:00
Shunsuke Shibayama	7bcc766500	Add Runnable::initialize	2022-11-23 19:43:56 +09:00
GreasySlug	f3a9ea728e	Update: use ErrorCore loc instead of SubMessage's	2022-11-23 17:22:57 +09:00
Shunsuke Shibayama	2caa6b6ec9	Merge pull request #232 from erg-lang/split-err-msg ... Split error messages	2022-11-23 15:55:19 +09:00
Shunsuke Shibayama	ab391620d4	Implement features for embedding	2022-11-22 09:14:25 +09:00
Shunsuke Shibayama	ce9c4250e0	Update inquire.rs	2022-11-22 02:15:39 +09:00
Yuna Tomida	743b0d97e2	enable shortened/normal mixed record definition	2022-11-21 12:14:25 +09:00
GreasySlug	ff24c62de1	Merge branch 'main' of https://github.com/GreasySlug/erg into split-err-msg	2022-11-20 10:41:10 +09:00
GreasySlug	d64712c7a7	Change: Option to Vec	2022-11-20 09:34:26 +09:00
Shunsuke Shibayama	81bea3bcee	Remove AtomicStr	2022-11-20 01:42:55 +09:00
Shunsuke Shibayama	ba84026eb6	Update mod.rs	2022-11-19 11:42:10 +09:00
GreasySlug	4ae81aa05e	Add: Location moved to ErrorCore	2022-11-18 12:31:44 +09:00
GreasySlug	000124fea8	Update: changed in support of SubMessage	2022-11-17 23:27:31 +09:00
Shunsuke Shibayama	781ceb84e9	Fix tests	2022-11-16 20:03:25 +09:00
Shunsuke Shibayama	771be313a9	Fix match codegen	2022-11-16 18:59:38 +09:00
Shunsuke Shibayama	7b53015b04	Add not & Fix while, for codegen bugs	2022-11-16 00:06:00 +09:00
Shunsuke Shibayama	89c3ada048	Implement coercion to search for attributes	2022-11-15 21:50:42 +09:00
Shunsuke Shibayama	fe0153d98a	Add Obj! type definition	2022-11-15 18:48:55 +09:00
Shunsuke Shibayama	62f4622135	Fix: discard patterns were ignored in types	2022-11-15 13:56:45 +09:00
Shunsuke Shibayama	d1821b88c4	Update inquire.rs	2022-11-15 13:44:05 +09:00
Shunsuke Shibayama	4ea0e356f7	Update tyvar.rs	2022-11-15 13:09:36 +09:00
Shunsuke Shibayama	51c5f4ae0a	Update mod.rs	2022-11-14 11:35:49 +09:00
Shunsuke Shibayama	a4d5b09df9	Merge branch 'main' into pr/212	2022-11-13 19:57:20 +09:00
Shunsuke Shibayama	a7c96b6971	Improve Context::union	2022-11-12 20:05:15 +09:00
Shunsuke Shibayama	4c171db645	Remove SubrSignature::t	2022-11-12 19:43:19 +09:00
GreasySlug	e29eb0b6ed	Change: color.rs to style.rs	2022-11-12 14:17:29 +09:00
Shunsuke Shibayama	a4c6009ec6	Implement record pattern for parameters	2022-11-09 18:14:02 +09:00
Shunsuke Shibayama	7663d3cd62	Add comments & refactoring	2022-11-08 02:26:06 +09:00
Shunsuke Shibayama	6580f98a4c	Update tyvar.rs	2022-11-05 14:14:34 +09:00
Shunsuke Shibayama	a9f65d73c1	Remove linter warnings	2022-11-05 03:17:05 +09:00
Shunsuke Shibayama	d9e8a1af93	Add "dis" module	2022-11-05 00:04:00 +09:00
Shunsuke Shibayama	8ca4b7bd6e	Add artifact.rs	2022-10-29 17:27:21 +09:00
Shunsuke Shibayama	7f674da751	Update inquire.rs	2022-10-29 10:54:02 +09:00
Shunsuke Shibayama	2c8190f68c	Merge branch 'main' into optimize-inference	2022-10-28 18:04:10 +09:00
Shunsuke Shibayama	968d3b5d2c	Fix trait implementation check	2022-10-28 18:03:35 +09:00
Shunsuke Shibayama	61037c998c	print the number if the argument type is wrong	2022-10-28 00:23:47 +09:00
Shunsuke Shibayama	4ff6c40fa5	Update mod.rs	2022-10-28 00:07:15 +09:00
Shunsuke Shibayama	3d35db4e3b	Add initialization check	2022-10-27 23:11:00 +09:00
Shunsuke Shibayama	c1318352f7	Fix some bugs	2022-10-27 18:41:15 +09:00
Shunsuke Shibayama	3757a7d935	Delete comment out	2022-10-27 10:23:58 +09:00
Shunsuke Shibayama	9d022ba4e1	Optimize type inferer	2022-10-27 10:12:08 +09:00
Shunsuke Shibayama	308f6a77dd	Optimize type inferer	2022-10-27 10:10:51 +09:00
Shunsuke Shibayama	d56549f528	Change Eq(R) to Eq	2022-10-25 01:53:52 +09:00
Shunsuke Shibayama	9f85c88e7e	WIP	2022-10-24 14:32:34 +09:00